8000 Tags · rocq-community/tarjan · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: rocq-community/tarjan

Tags

1.0.3

Toggle 1.0.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #33 from proux01/opam

Update opam file following removal of Stdlib dep

1.0.2

Toggle 1.0.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #26 from coq-community/fix-boilerplate

update repo location in metadata, record Hierarchy Builder as dep

1.0.1

Toggle 1.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #25 from coq-community/mc-1-community-update

meta update for coq-community, test up to MathComp 1.17 and Coq 8.17

1.0.0

Toggle 1.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #15 from palmskog/fingroup-dep

add missing fingroup dependency to README and opam
0