templates

imdea-software · Sep 30, 2024 · 965f06b · 965f06b
1 parent 9068807
commit 965f06b
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -1,4 +1,5 @@
-# This file was generated from `meta.yml`, please do not edit manually.
+; This file was generated from `meta.yml`, please do not edit manually.
+
 name: Docker CI
 
 on:

diff --git a/README.md b/README.md
@@ -43,6 +43,7 @@ that HTT implements Separation logic as a shallow embedding in Coq.
 - Additional dependencies:
  - [MathComp ssreflect 2.2](https://math-comp.github.io)
  - [MathComp algebra](https://math-comp.github.io)
+ - [MathComp fingroup](https://math-comp.github.io)
  - [FCSL-PCM 2.0](https://github.com/imdea-software/fcsl-pcm)
  - [Dune](https://dune.build) 2.5 or later
 - Coq namespace: `htt`

diff --git a/coq-htt-core.opam b/coq-htt-core.opam
@@ -37,6 +37,7 @@ depends: [
  "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") }
  "coq-mathcomp-algebra" 
+ "coq-mathcomp-fingroup" 
  "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") }
 ]
 

diff --git a/coq-htt.opam b/coq-htt.opam
@@ -1,4 +1,5 @@
 # This file was generated from `meta.yml`, please do not edit manually.
+
 opam-version: "2.0"
 maintainer: "[email protected]"
 version: "dev"
@@ -35,6 +36,7 @@ depends: [
  "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") }
  "coq-mathcomp-algebra" 
+ "coq-mathcomp-fingroup" 
  "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") }
 ]
 

diff --git a/meta.yml b/meta.yml
@@ -101,6 +101,10 @@ dependencies:
  name: coq-mathcomp-algebra
  description: |-
  [MathComp algebra](https://math-comp.github.io)
+- opam:
+ name: coq-mathcomp-fingroup
+ description: |-
+ [MathComp fingroup](https://math-comp.github.io)
 - opam:
  name: coq-fcsl-pcm
  version: '{ (>= "2.0.0" & < "2.1~") | (= "dev") }'

diff --git a/templates-extra/coq-htt.opam.mustache b/templates-extra/coq-htt.opam.mustache
@@ -1,4 +1,4 @@
-; This file was generated from `meta.yml`, please do not edit manually.
+# This file was generated from `meta.yml`, please do not edit manually.
 
 opam-version: "2.0"
 maintainer: "{{& opam-file-maintainer }}{{^ opam-file-maintainer }}[email protected]{{/ opam-file-maintainer }}"

diff --git a/templates-extra/docker-action.yml.mustache b/templates-extra/docker-action.yml.mustache
@@ -1,4 +1,4 @@
-; This file was generated from `meta.yml`, please do not edit manually.
+# This file was generated from `meta.yml`, please do not edit manually.
 
 name: Docker CI