Merge pull request #1585 from Alizter/update-to-8.14

Update to Coq V8.14
HoTT · Oct 18, 2021 · d2a4c7d · d2a4c7d
2 parents 88c4a2b + 71adb11
commit d2a4c7d
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,7 +4,7 @@ on: [ push , pull_request ]
 
 # We set the supported coq-version from here. In order to use this environment variable correctly, look at how they are used in the following jobs.
 env:
-  coq-version-supported: '8.13'
+  coq-version-supported: '8.14'
   ocaml-version: '4.11-flambda'
   deployment-branch: 'gh-pages'
 

diff --git a/.gitmodules b/.gitmodules
@@ -7,8 +7,7 @@
 	url = https://github.com/JasonGross/coq-scripts.git
 [submodule "etc/coq-dpdgraph"]
 	path = etc/coq-dpdgraph
-	url = https://github.com/andreaslyn/coq-dpdgraph.git
-	branch = hott
+	url = https://github.com/coq-community/coq-dpdgraph.git
 [submodule "etc/alectryon"]
 	path = etc/alectryon
 	url = https://github.com/JasonGross/alectryon.git
diff --git a/coq-HoTT b/coq-HoTT
diff --git a/etc/coq-dpdgraph b/etc/coq-dpdgraph
diff --git a/hott.opam b/hott.opam
@@ -8,7 +8,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.13~"}
+  "coq" {>= "8.14~"}
 ]
 authors: ["The HoTT Library Development Team"]
 dev-repo: "git+https://github.com/HoTT/HoTT.git"
+31 −0		.github/workflows/docker-action.yml
+6 −0		.gitignore
+0 −29		.travis.yml
+65 −40		README.md
+1 −1		configure.ac
+42 −0		coq-dpdgraph.opam
+2 −2		dpd_compute.ml
+5 −5		graphdepend.mlg
+335 −0		meta.yml
+4 −4		searchdepend.mlg
+8 −14		tests/Morph_rw.dpd.oracle
+1 −1		tests/Polymorph.dpd.oracle
+91 −91		tests/graph.dpd.oracle
+6 −6		tests/graph2.dpd.oracle