Skip to main content

Browse the archive

Revision b72702b1ccc6566f7d09910c9aaf642b5a69f1df authored by Christian Doczkal on 10 June 2021, 15:06:24 UTC, committed by Christian Doczkal on 03 December 2021, 13:59:52 UTC 
second half of CCA_1n
1 parent ebae1d2
Raw File
dune 
(dirs src theories examples scripts)

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