Skip to content

Commit 6cc023d

Browse files
authored
Merge pull request #505 from proux01/tag181
preparing changelog for 1.8.1
2 parents 3641101 + 8327323 commit 6cc023d

File tree

2 files changed

+12
-1
lines changed

2 files changed

+12
-1
lines changed

Changelog.md

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,13 @@
11
# Changelog
22

3+
## [1.8.1] - 2025-01-25
4+
5+
Compatible with
6+
- Coq 8.18 with Coq-Elpi 2.0.0
7+
- Coq 8.19 with Coq-Elpi 2.0.1
8+
- Coq 8.20 with Coq-Elpi 2.4.x
9+
- Rocq 9.0 with Coq-Elpi 2.4.x
10+
311
## [1.8.0] - 2024-12-14
412

513
Compatible with

coq-hierarchy-builder.opam

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,10 @@ build: [ [ make "build"]
1212
[ make "test-suite" ] {with-test}
1313
]
1414
install: [ make "install" ]
15-
depends: [ "coq-elpi" { (>= "2.0") | = "dev" } ]
15+
depends: [
16+
("coq" {>= "8.18" & < "8.20~"} & "coq-elpi" {>= "2.0"}
17+
| "coq" {>= "8.20" | = "dev"} & "coq-elpi" {>= "2.4" | = "dev"})
18+
]
1619
conflicts: [ "coq-hierarchy-builder-shim" ]
1720
synopsis: "High level commands to declare and evolve a hierarchy based on packed classes"
1821
description: """

0 commit comments

Comments
 (0)