summaryrefslogtreecommitdiff
path: root/compiler/aeneas.opam (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use dune 3.7 and update the flake.lockSon Ho2023-06-041-1/+1
|
* Update aeneas.opamSon Ho2022-10-281-2/+2
|
* Reorganize a bit the projectSon Ho2022-10-271-0/+29