Skip to content

Releases: coq-community/coqoban

Coqoban 8.13.0 for Coq 8.10+

21 Aug 14:55
@erikmd erikmd
v8.13.0
2e0e8e6
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Coqoban 8.13.0 for Coq 8.10+ Latest
Latest

coq-coqoban for coq.{8.10, 8.11, 8.12, 8.13, dev}
(see included README.md or .opam file for more details)

Assets 2
Loading

Release for Coq 8.11.0

12 Mar 17:26
@erikmd erikmd
v8.11.0
f88486c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release for Coq 8.11.0

coq-coqoban for coq.{8.10, 8.11, dev}
(see included README.md or .opam file for more details)

Assets 2
Loading