Skip to content

Releases: coq-community/coqeal

CoqEAL release 2.0.2

05 Feb 09:32
@proux01 proux01
2.0.2
fb2ecaf
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
CoqEAL release 2.0.2 Latest
Latest

Compatible with Coq 8.16 to 8.19, mathcomp 2.0.0 to 2.2.0, multinomials 2.2.0 and mathcomp-real-closed 2.0.0.
This is just removing a few spurious universe constraints from previous release 2.0.1.

Assets 2
Loading

CoqEAL release 2.0.1

18 Jan 15:09
@proux01 proux01
2.0.1
aa50f63
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
CoqEAL release 2.0.1

Compatible with Coq 8.16 to 8.19, mathcomp 2.0.0 to 2.2.0, multinomials 2.2.0 and mathcomp-real-closed 2.0.0.

Assets 2
Loading

CoqEAL release 2.0.0

02 Sep 09:06
@proux01 proux01
2.0.0
27e918b
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
CoqEAL release 2.0.0

Compatible with Coq 8.16 to 8.18, mathcomp 2.0.0, multinomials 2.0.0 and mathcomp-real-closed 2.0.0.

Assets 2
Loading

CoqEAL release 1.1.3

17 May 13:07
@proux01 proux01
1.1.3
84e6af9
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
CoqEAL release 1.1.3

Compatible with Coq 8.15 to 8.17, mathcomp 1.15.0 to 1.17.0 and multinomials 1.6.0

Assets 2
Loading

CoqEAL release 1.1.2

13 Mar 10:36
@proux01 proux01
1.1.2
e3806b2
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
CoqEAL release 1.1.2

Compatible with Coq 8.15 to 8.17 and mathcomp 1.13.0 to 1.16.0

All #[global] typeclass instances have been made #[export] so you may have to add a few missing module Import.

Assets 2
Loading

CoqEAL release 1.1.1

08 Jul 06:45
@proux01 proux01
1.1.1
f9b7d75
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
CoqEAL release 1.1.1

Compatible with Coq 8.13 to 8.16 and mathcomp 1.13.0 to 1.15.0

Assets 2
Loading

CoqEAL release 1.1.0

05 Nov 09:37
@proux01 proux01
1.1.0
84d1c04
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
CoqEAL release 1.1.0

Compatible with Coq 8.10, 8.11, 8.12, 8.13 and 8.14 and mathcomp 1.12.0 and 1.13.0, requires multinomials 1.5.4

Assets 2
Loading

CoqEAL release 1.0.6

04 Aug 11:16
@proux01 proux01
1.0.6
469a38f
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
CoqEAL release 1.0.6

Compatible with Coq 8.10, 8.11, 8.12 and 8.13 and mathcomp 1.12.0, requires multinomials 1.5.4

Assets 2
Loading

CoqEAL release 1.0.5

19 Jan 15:24
@proux01 proux01
1.0.5
f552e62
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
CoqEAL release 1.0.5

Compatible with Coq 8.10, 8.11, 8.12 and 8.13 and mathcomp 1.11.0 and 1.12.0, requires multinomials 1.5.4

Assets 2
Loading

CoqEAL release 1.0.4

26 Apr 17:41
@CohenCyril CohenCyril
1.0.4
5571db3
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
CoqEAL release 1.0.4

Compatible with Coq 8.9, 8.10 and 8.11 and mathcomp 1.11.0, requires finmap 1.5 and multinomials 1.5.1

Assets 2
Loading