diff options
Diffstat (limited to 'META.coq.in')
| -rw-r--r-- | META.coq.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/META.coq.in b/META.coq.in index a7c8da163..b2924e324 100644 --- a/META.coq.in +++ b/META.coq.in @@ -349,18 +349,6 @@ package "plugins" ( archive(native) = "newring_plugin.cmx" ) - package "fourier" ( - - description = "Coq fourier plugin" - version = "8.9" - - requires = "coq.plugins.ltac" - directory = "fourier" - - archive(byte) = "fourier_plugin.cmo" - archive(native) = "fourier_plugin.cmx" - ) - package "extraction" ( description = "Coq extraction plugin" |