Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
affeldt-aist committed Dec 10, 2023
1 parent faf3cd3 commit 62db8fa
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion coq-monae.opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ build: [make "-j%{jobs}%"]
install: [make "install_full"]
depends: [
"coq" { (>= "8.16" & < "8.19~") | (= "dev") }
"coq-mathcomp-ssreflect" { (>= "1.16.0" & < "1.19~") | (= "dev") }
"coq-mathcomp-ssreflect" { (>= "1.17.0" & < "1.19~") | (= "dev") }
"coq-mathcomp-fingroup" { (>= "1.16.0" & < "1.19~") | (= "dev") }
"coq-mathcomp-algebra" { (>= "1.16.0" & < "1.19~") | (= "dev") }
"coq-mathcomp-solvable" { (>= "1.16.0" & < "1.19~") | (= "dev") }
Expand Down
2 changes: 1 addition & 1 deletion meta.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ tested_coq_opam_versions:
dependencies:
- opam:
name: coq-mathcomp-ssreflect
version: '{ (>= "1.16.0" & < "1.19~") | (= "dev") }'
version: '{ (>= "1.17.0" & < "1.19~") | (= "dev") }'
description: |-
[MathComp ssreflect](https://math-comp.github.io)
- opam:
Expand Down

0 comments on commit 62db8fa

Please sign in to comment.