Skip to main content

Browse the archive

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 
prepare gluing
2 parent s 1305ee1 + 26f2dba
Raw File
dune 
(dirs src theories examples scripts)

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