Revision 762988db48fb47550b154571f616a27897396e33 authored by François Dupressoir on 16 May 2022, 09:27:43 UTC, committed by François Dupressoir on 16 May 2022, 09:27:43 UTC
We have suffered long enough
1 parent b44bcba
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
Computing file changes ...