Test

coq · Nov 29, 2024 · 7732818 · 7732818
1 parent 0c8687f
commit 7732818
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 15 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -80,20 +80,6 @@ opam-lint:
     - scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-lint
 
 # Build
-opam-build:4.07.1:
-  extends: .opam-build
-  variables:
-    COMPILER: "4.07.1"
-  except:
-    - web
-
-opam-build:4.11.2:
-  extends: .opam-build
-  variables:
-    COMPILER: "4.11.2"
-  except:
-    - web
-
 opam-build:4.14.2:
   extends: .opam-build
   variables:

diff --git a/released/packages/coq-gappa/coq-gappa.1.5.5/opam b/released/packages/coq-gappa/coq-gappa.1.5.5/opam
@@ -26,7 +26,6 @@ tags: [
   "logpath:Gappa"
   "date:2024-02-08"
 ]
-authors: [ "Guillaume Melquiond <[email protected]>" ]
 synopsis: "A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover"
 url {
   src: "https://gappa.gitlabpages.inria.fr/releases/gappalib-coq-1.5.5.tar.gz"