Skip to content

Releases: coq-community/atbr

ATBR release for Coq 8.20

30 Jun 08:26
@palmskog palmskog
v8.20.0
1da8062
Compare
Choose a tag to compare
ATBR release for Coq 8.20 Latest
Latest

Release with Coq 8.20 compatibility.

Assets 3
Loading

ATBR release for Coq 8.19

28 Dec 17:52
@palmskog palmskog
v8.19.0
6da3acc
Compare
Choose a tag to compare
ATBR release for Coq 8.19

Release with Coq 8.19 compatibility.

Assets 3
Loading

ATBR release for Coq 8.18

08 Aug 19:24
@palmskog palmskog
v8.18.0
92d2a5f
Compare
Choose a tag to compare
ATBR release for Coq 8.18

Release with Coq 8.18 compatibility.

Assets 2
Loading

ATBR release for Coq 8.16

09 Jul 18:50
@palmskog palmskog
v8.16.0
0fefbe5
Compare
Choose a tag to compare
ATBR release for Coq 8.16

Release with Coq 8.16 compatibility.

Assets 2
Loading

ATBR release for Coq 8.15

09 Jul 18:13
@palmskog palmskog
v8.15.0
5275c93
Compare
Choose a tag to compare
ATBR release for Coq 8.15

Release with Coq 8.15 compatibility.

Assets 2
Loading

ATBR release for Coq 8.14

09 Jul 18:13
@palmskog palmskog
v8.14.0
5ba1fdd
Compare
Choose a tag to compare
ATBR release for Coq 8.14

Release with Coq 8.14 compatibility.

Assets 2
Loading

ATBR release for Coq 8.13

09 Jul 18:12
@palmskog palmskog
v8.13.0
419d6f0
Compare
Choose a tag to compare
ATBR release for Coq 8.13

Release with Coq 8.13 compatibility.

Assets 2
Loading

ATBR release for Coq 8.17

01 Jul 00:23
@palmskog palmskog
v8.17.0
f36e821
Compare
Choose a tag to compare
ATBR release for Coq 8.17

Release with Coq 8.17 compatibility.

Assets 2
Loading

ATBR release for Coq 8.11

07 Feb 20:32
@palmskog palmskog
v8.11.0
943dfe5
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
ATBR release for Coq 8.11

Release with Coq 8.11 compatibility, featuring the following changes:

  • fix compilation on Coq 8.11
  • update documentation and metadata
Assets 2
Loading

ATBR release for Coq 8.10

08 Dec 01:47
@palmskog palmskog
v8.10.0
f72c9cf
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
ATBR release for Coq 8.10

Release with Coq 8.10 compatibility, featuring the following changes:

  • fix compilation on Coq 8.10, adapt to SProp
  • update documentation
  • unify license information to the LICENSE file
Assets 2
Loading