Skip to content

Releases: coq-community/paramcoq

v1.1.3+coq8.13

24 Sep 09:11
@proux01 proux01
v1.1.3+coq8.13
e57fbdc
Compare
Choose a tag to compare
v1.1.3+coq8.13

Coq 8.13

Assets 2
Loading

v1.1.2+coq8.13

28 Dec 11:42
@proux01 proux01
v1.1.2+coq8.13
b2e0fd7
Compare
Choose a tag to compare
v1.1.2+coq8.13 
Coq 8.13
Assets 2
Loading

v1.1.2+coq8.12

10 Aug 18:50
@proux01 proux01
v1.1.2+coq8.12
b8f2c3e
Compare
Choose a tag to compare
v1.1.2+coq8.12 
Coq 8.12
Assets 2
Loading

v1.1.2+coq8.11

31 Jan 09:13
@proux01 proux01
v1.1.2+coq8.11
7174d29
Compare
Choose a tag to compare
v1.1.2+coq8.11 
Reuse docker in CI

Now that there is a docker image for 8.11
Assets 2
Loading

v1.1.2+coq8.9

13 Nov 16:47
@proux01 proux01
v1.1.2+coq8.9
3e4c79f
Compare
Choose a tag to compare
v1.1.2+coq8.9 
Nice error message when an inductive has no registered translation
Assets 2
Loading

v1.1.2+coq8.8

13 Nov 16:47
@proux01 proux01
v1.1.2+coq8.8
1446d39
Compare
Choose a tag to compare
v1.1.2+coq8.8 
Nice error message when an inductive has no registered translation
Assets 2
Loading

v1.1.2+coq8.7

13 Nov 16:46
@proux01 proux01
v1.1.2+coq8.7
b077e32
Compare
Choose a tag to compare
v1.1.2+coq8.7 
Nice error message when an inductive has no registered translation
Assets 2
Loading

v1.1.2+coq8.10

13 Nov 16:48
@proux01 proux01
v1.1.2+coq8.10
fb53fdb
Compare
Choose a tag to compare
v1.1.2+coq8.10 
Use 8.10 docker image
Assets 2
Loading

v1.1.1+coq8.9

01 Feb 14:39
@proux01 proux01
v1.1.1+coq8.9
3cfbb3a
Compare
Choose a tag to compare
v1.1.1+coq8.9 
Typo
Assets 2
Loading

v1.1.1+coq8.7

07 Dec 10:38
@proux01 proux01
v1.1.1+coq8.7
31d96fc
Compare
Choose a tag to compare
v1.1.1+coq8.7 
Add opam file.
Assets 3
Loading