summaryrefslogtreecommitdiff
path: root/compiler/dune-project (follow)
Commit message (Expand)AuthorAgeFilesLines
* Use dune 3.7 and update the flake.lockSon Ho2023-06-041-1/+1
* Move some files to the Charon projectSon Ho2022-10-281-2/+0
* Reorganize a bit the projectSon Ho2022-10-271-0/+24