From 8c43e795c772090b336c0f170a6e5dcab196125d Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 22 Jun 2018 13:45:03 +0200
Subject: Remove fourier plugin

As stated in the manual, the fourier tactic is subsumed by lra.
---
 META.coq | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'META.coq')

diff --git a/META.coq b/META.coq
index a7c8da163..b2924e324 100644
--- a/META.coq
+++ b/META.coq
@@ -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"
-- 
cgit v1.2.3