Codebase list coq / 403aecc5-fd3c-423a-a067-4f8d8c4ac7a3/main engine / dune
403aecc5-fd3c-423a-a067-4f8d8c4ac7a3/main

Tree @403aecc5-fd3c-423a-a067-4f8d8c4ac7a3/main (Download .tar.gz)

dune @403aecc5-fd3c-423a-a067-4f8d8c4ac7a3/main — raw · history · blame 

1
2
3
4
5
6
7
8
(library
 (name engine)
 (synopsis "Coq's Tactic Engine")
 (public_name coq-core.engine)
 (wrapped false)
 ; until ocaml/dune#4892 fixed
 ; (private_modules univSubst)
 (libraries library))