Drop support for 8.18 (#1316)

Drop support for Coq 8.18
math-comp · Sep 13, 2024 · 75ce5eb · 75ce5eb
1 parent f718317
commit 75ce5eb
Show file tree

Hide file tree

Showing 6 changed files with 7 additions and 368 deletions.
diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -37,11 +37,6 @@
   ## alternative configuration
   ## When generating GitHub Action CI, one workflow file
   ## will be created per bundle
-  bundles."8.18".coqPackages = {
-    coq.override.version = "8.18";
-    mathcomp.override.version = "2.1.0";
-  };
-
   bundles."8.19".coqPackages = {
     coq.override.version = "8.19";
     mathcomp.override.version = "2.2.0";

diff --git a/INSTALL.md b/INSTALL.md
@@ -2,7 +2,7 @@
 
 ## Requirements
 
-- [The Coq Proof Assistant version ≥ 8.18](https://coq.inria.fr)
+- [The Coq Proof Assistant version ≥ 8.19](https://coq.inria.fr)
 - [Mathematical Components version ≥ 2.1.0](https://github.com/math-comp/math-comp)
 - [Finmap library version ≥ 2.0.0](https://github.com/math-comp/finmap)
 - [Hierarchy builder version >= 1.4.0](https://github.com/math-comp/hierarchy-builder)
@@ -71,12 +71,12 @@ using [proof general for emacs](https://github.com/ProofGeneral/PG)
 
 ## Break-down of phase 3 of the installation procedure step by step
 
-With the example of Coq 8.18.0 and MathComp 2.1.0. For other versions, update the
+With the example of Coq 8.19.0 and MathComp 2.1.0. For other versions, update the
 version numbers accordingly.
 
-1. Install Coq 8.18.0
+1. Install Coq 8.19.0
 ```
-$ opam install coq.8.18.0
+$ opam install coq.8.19.0
 ```
 2. Install the Mathematical Components
 ```