Test

coq · Nov 29, 2024 · 0b1a815 · 0b1a815
1 parent b91fd91
commit 0b1a815
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 30 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:
@@ -108,18 +94,3 @@ opam-build:4.14.2:minimal:
     EXTRA_OPAM_OPTION: '--criteria="-count(removed),-count(down),-count(changed),+sum(changed,version-lag)"'
   except:
     - web
-
-opam-build:5.2.0:
-  extends: .opam-build
-  variables:
-    COMPILER: "5.2.0"
-  except:
-    - web
-
-opam-build:any:
-  extends: .opam-build
-  variables:
-    COMPILER: "4.11.2"
-    EXTRA_OPAM_OPTION: "--update-invariant"
-  except:
-    - web
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"