Skip to main content

Browse the archive

Revision 3d0f508388f74586f56557c1ef98f4e14bd377a2 authored by Sofía Celi on 10 October 2022, 11:27:22 UTC, committed by Pierre-Yves Strub on 10 October 2022, 12:07:27 UTC 
Fix new link
1 parent 8e046e1
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top