From 2fddb8de38f39fadd09601361a621ff4dc6b7a2f Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 29 Nov 2024 11:33:12 +0100
Subject: [PATCH] Test

---
 .gitlab-ci.yml                                | 29 -------------------
 .../packages/coq-gappa/coq-gappa.1.5.5/opam   |  1 -
 2 files changed, 30 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c2045302f..6dfe98ab9 100644
--- 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
index ed2d98e33..c7444e397 100644
--- 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 <guillaume.melquiond@inria.fr>" ]
 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"