Merge pull request #90 from coq-community/compatibility-8.12

update metadata and templates for 8.12 support

Author: spitters

.gitignore

@@ -22,3 +22,5 @@ coqdoc
 *.native
 *.aux
 result
+.lia.cache
+.nia.cache

.travis.yml

@@ -36,13 +36,20 @@ language: shell
 
 .nix: &NIX
   language: nix
+  install:
+  # for cachix we need travis to be a trusted nix user
+  - echo "trusted-users = $USER" | sudo tee -a /etc/nix/nix.conf
+  - sudo systemctl restart nix-daemon
   script:
   - nix-build --argstr coq-version-or-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="
 
 jobs:
   include:
 
   # Test supported versions of Coq via Nix
+  - env:
+    - COQ=8.12
+    <<: *NIX
   - env:
     - COQ=8.11
     <<: *NIX

coq-math-classes.opam

@@ -30,7 +30,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.6" & < "8.12~") | (= "dev")}
+  "coq" {(>= "8.6" & < "8.13~") | (= "dev")}
   "coq-bignums" 
 ]
 

meta.yml

@@ -4,6 +4,7 @@ shortname: math-classes
 organization: coq-community
 community: true
 travis: true
+ci_extra_dev: true
 doi: 10.1017/S0960129511000119
 
 synopsis: >-
@@ -49,9 +50,10 @@ license:
 
 supported_coq_versions:
   text: Coq 8.6 or later (use releases for other Coq versions)
-  opam: '{(>= "8.6" & < "8.12~") | (= "dev")}'
+  opam: '{(>= "8.6" & < "8.13~") | (= "dev")}'
 
 tested_coq_nix_versions:
+- version_or_url: "8.12"
 - version_or_url: "8.11"
 - version_or_url: "8.10"
 - version_or_url: "8.9"