Jerry James
|
3e6c851dee
|
New upstream release.
Build with alcotest support.
Build documentation with odoc, and ship it in a new doc subpackage.
|
2020-02-19 15:27:17 -07:00 |
|
Andy Li
|
0776c737b1
|
New upstream release. Remove unneeded BuildRequires on opam-installer.
|
2019-12-18 22:11:23 +08:00 |
|
Andy Li
|
39f1d11a30
|
- New upstream release.
- Update build system and commands from jbuilder to dune.
|
2019-07-27 18:18:02 +08:00 |
|
Andy Li
|
e5ad8c0dce
|
New upstream release. (RHBZ#1541681)
Also, enable debug package.
|
2018-02-05 11:54:44 +08:00 |
|
Andy Li
|
cfa48cd31c
|
initial import (#1515080)
|
2017-11-21 14:29:12 +08:00 |
|