Jerry James
|
469ca918b2
|
Version 0.16.
|
2020-11-05 10:42:03 -07:00 |
|
Jerry James
|
378216a8e2
|
Version 0.15.
|
2020-09-25 15:05:07 -06:00 |
|
Jerry James
|
2539ee9071
|
Version 0.14.
|
2020-08-05 14:47:44 -06:00 |
|
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 |
|