Skip to content

Releases: codinuum/cca

v0.7: Merge pull request #32 from codinuum/develop

24 Mar 00:22
@codinuum codinuum
v0.7
89c7862
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
v0.7: Merge pull request #32 from codinuum/develop Latest
Latest 
Develop
Assets 2
Loading

v0.6.2.1

11 Sep 05:28
@codinuum codinuum
v0.6.2.1
1429959
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
v0.6.2.1

What's Changed

Full Changelog: v0.5...v0.6.2.1

Contributors

codinuum
Assets 2
Loading

v0.5: Merge pull request #16 from codinuum/develop

21 Feb 06:32
@codinuum codinuum
v0.5
e35a575
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
v0.5: Merge pull request #16 from codinuum/develop 
Develop
Assets 2
Loading

v0.4

15 Oct 00:02
@codinuum codinuum
v0.4
232477d
Compare
Choose a tag to compare
v0.4 
modified to use newer opam
Assets 2
Loading

v0.3: Merge pull request #10 from codinuum/develop

16 Jun 12:31
@codinuum codinuum
v0.3
8f86e3c
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
v0.3: Merge pull request #10 from codinuum/develop 
Develop
Assets 2
Loading

v0.2: Merge pull request #8 from codinuum/develop

23 Apr 01:32
@codinuum codinuum
v0.2
88ea07f
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
v0.2: Merge pull request #8 from codinuum/develop

second release

Assets 2
Loading

v0.1

14 Feb 04:27
@codinuum codinuum
v0.1
ce2e04c
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
v0.1

initial release

Assets 2
Loading