Skip to content

Tags: affeldt-aist/infotheo

Tags

0.7.7

Toggle 0.7.7's commit message 
memo

0.7.6

Toggle 0.7.6's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
upd meta (#134)

0.7.5

Toggle 0.7.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
compact with mathcomp-analysis 1.7.0 (#132)

* compact with mathcomp-analysis 1.7.0

0.7.4

Toggle 0.7.4's commit message 
changelog

0.7.3

Toggle 0.7.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
compatibility with Coq 8.20 (#131)

* compatibility with Coq 8.20

0.7.2

Toggle 0.7.2's commit message 
fixes #122

0.7.1

Toggle 0.7.1's commit message 
changelog memo

0.7.0

Toggle 0.7.0's commit message 
changelog

0.6.1

Toggle 0.6.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
test compatibility with Coq 8.19 (#112)

0.6.0

Toggle 0.6.0's commit message 
fix changelog