summaryrefslogtreecommitdiff
path: root/tests/coq/demo/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-05-24 15:03:37 +0200
committerSon Ho2024-05-24 15:57:17 +0200
commit755936c1d14ccba5600259d15eb2747f686dc4ff (patch)
treea68cea8e2a9fcc502a77173828f9e83de96c8f51 /tests/coq/demo/Makefile
parenta580459241ac9d259134addc597ca4b1b4f005ae (diff)
Downgrade the version of dune
Diffstat (limited to 'tests/coq/demo/Makefile')
0 files changed, 0 insertions, 0 deletions