Skip to content

Releases: gmalecha/coq-ltac-iter

v1.1.2

22 Apr 13:06
@gmalecha gmalecha
v1.1.2
67f2d32
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
v1.1.2 Latest
Latest

Release for Coq 8.11

Assets 2
Loading

v1.1.1

15 Oct 16:08
@gmalecha gmalecha
v1.1.1
63f26ea
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
v1.1.1

Removes triggering anomolies

Assets 2
Loading

Release for Coq 8.9

19 Apr 20:43
@gmalecha gmalecha
1.1.0
e5cb571
Compare
Choose a tag to compare
Release for Coq 8.9 
1.1.0

fixing the failure behavior.
Assets 2
Loading

v1.0.0 for Coq 8.5

31 Jan 20:22
@gmalecha gmalecha
v1.0.0-8.5
60abd21
Compare
Choose a tag to compare
v1.0.0 for Coq 8.5

Stable 1.0.0 release for Coq 8.5

Assets 2
Loading