Revision 44211a929f32d136eac35b8eabea315905495c94 authored by Pierre Boutry on 03 March 2022, 14:18:59 UTC, committed by Pierre Boutry on 03 March 2022, 14:18:59 UTC
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...