Revision e45a54c433f974412042dfa075a29de639ed8d3c authored by Adrien Koutsos on 20 May 2022, 13:26:31 UTC, committed by Pierre-Yves Strub on 20 May 2022, 14:00:39 UTC
1 parent 90826b1
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
Computing file changes ...