Revision 2b3bbadffa084466fd3450f367b2102e032c1301 authored by Pierre-Yves Strub on 15 December 2023, 19:16:51 UTC, committed by Pierre-Yves Strub on 15 December 2023, 19:16:51 UTC
1 parent 12af606
dune
(dirs src theories examples scripts)
(install
(section (site (easycrypt commands)))
(files (scripts/testing/runtest as runtest)))
(install
(section (bin))
(files (scripts/testing/bin-ec-runtest as ec-runtest)))
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...