Skip to content

Releases: fblanqui/color

1.8.6

11 Nov 17:56
@fblanqui fblanqui
1.8.6
2583d62

Choose a tag to compare

View all tags
1.8.6 Latest
Latest

for rocq-prover

Assets 2
Loading

1.8.5

16 Apr 21:43
@fblanqui fblanqui
1.8.5
b063daf

Choose a tag to compare

View all tags
1.8.5

For Coq 8.19.

Loading

1.8.4

28 Jun 12:43
@fblanqui fblanqui
1.8.4
5edcc64
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.

Choose a tag to compare

View all tags
1.8.4

For Coq 8.17.

Loading

1.8.3

16 Sep 17:57
@fblanqui fblanqui
1.8.3
4ebc8c5

Choose a tag to compare

View all tags
1.8.3

For Coq 8.16.

Loading

1.8.2

27 Jan 14:26
@fblanqui fblanqui
1.8.2
70f8d37

Choose a tag to compare

View all tags
1.8.2

For Coq 8.15.

Loading

1.8.1

18 Mar 13:40
@fblanqui fblanqui
1.8.1
1e7b265

Choose a tag to compare

View all tags
1.8.1 
update CHANGES
Loading

1.8.0

24 Sep 09:26
@fblanqui fblanqui
1.8.0
d98d43f

Choose a tag to compare

View all tags
1.8.0

For Coq 8.12.

Loading