Activity
From 07/10/2020 to 08/08/2020
07/30/2020
- 04:54 PM Revision bd4cb9d6 (lustrec): Opam not generated by dune
- 04:52 PM Revision b6a913e1 (lustrec): Explanation about the Makefile
- 04:50 PM Revision 491aa732 (lustrec): Add explanation for mlmpfr and mpfr version pinning
- 04:35 PM Revision 9c4cc944 (lustrec): Transition to dune build system
- Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md
07/27/2020
- 02:08 PM Revision 91b83eb8 (lustrec): ...
- 01:44 PM Revision fc36d0a0 (lustrec): added some cleaning about hash-tables used for typing, clocking, etc.
07/23/2020
- 03:34 PM Revision f7c73c82 (lustrec): Correctif
- 03:12 PM Revision 3769b712 (lustrec): Passage à dune v2
- 03:05 PM Revision 589ccf9f (lustrec): Passage à dune
07/16/2020
Also available in: Atom