blob: 0ae0e6855d9421be689e3fa04e45e729b22b035f (
plain)
1
2
3
4
5
6
7
|
(library
(name micromega_plugin)
(public_name coq.plugins.micromega)
; be careful not to link the executable to the plugin!
(modules (:standard \ csdpcert))
(synopsis "Coq's micromega plugin")
(libraries num coq.plugins.ltac))
|
