]> matita.cs.unibo.it Git - helm.git/history - matita/matita.opam
Makefiles removed in favour of dune-only solution
[helm.git] / matita / matita.opam
2023-01-03 Claudio Sacerdoti... Dune sites used to locate the standard library
2023-01-02 Claudio Sacerdoti... Use source and licence accepted by opam
2023-01-02 Claudio Sacerdoti... Install what is needed by Matita (but not used yet!)
2023-01-02 Claudio Sacerdoti... Enable "dune build -p matita" + version bumped to 0...
2023-01-02 Claudio Sacerdoti... Preliminary support for dune