diff options
Diffstat (limited to 'META.coq')
-rw-r--r-- | META.coq | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -43,8 +43,8 @@ package "lib" ( requires = "coq.clib, coq.config" - archive(byte) += "lib.cma" - archive(native) += "lib.cmxa" + archive(byte) = "lib.cma" + archive(native) = "lib.cmxa" ) |