Merge pull request #125 from math-comp/bump-elpi

Elpi 1.12 + Coq-Elpi 1.8.0

Author: gares

.github/workflows/main.yml

@@ -11,13 +11,13 @@ on:
     branches: [ master ]
 
 jobs:
-  nix:
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v2
-    - uses: cachix/install-nix-action@v10
-    - run: nix-build
+#  nix:
+#    runs-on: ubuntu-latest
+#
+#    steps:
+#    - uses: actions/checkout@v2
+#    - uses: cachix/install-nix-action@v10
+#    - run: nix-build
 
   opam:
     runs-on: ubuntu-latest
@@ -26,6 +26,7 @@ jobs:
         coq_version:
           - '8.11'
           - '8.12'
+          - '8.13'
         ocaml_version:
           - 'minimal'
     steps:

coq-hierarchy-builder.opam

@@ -10,7 +10,7 @@ dev-repo: "git+https://github.com/math-comp/hierarchy-builder"
 
 build: [ make ]
 install: [ make "install" "VFILES=structures.v" ]
-depends: [ "coq-elpi" {> "1.5.99" & < "1.7.0~"} ]
+depends: [ "coq-elpi" {>= "1.6" & < "1.9~"} ]
 synopsis: "Hierarchy Builder"
 description: """
 High level commands to declare and evolve a hierarchy based on packed classes.