Skip to content

Releases: coq-io/opam-website

1.6.1

10 Jul 13:39
@clarus clarus
1.6.1
caaa65b

Choose a tag to compare

View all tags
1.6.1 Latest
Latest

Fix quoting / unquoting of opam fields

Assets 3
Loading

1.6.0

10 Jul 11:29
@clarus clarus
1.6.0
9341915

Choose a tag to compare

View all tags
1.6.0

Upgrade to opam 2

Loading

1.5.0

06 Sep 21:03
@clarus clarus
1.5.0
b07be39

Choose a tag to compare

View all tags
1.5.0 
Add a disclaimer
Loading

1.4.0

25 Nov 16:19
@clarus clarus
1.4.0
184c452

Choose a tag to compare

View all tags
1.4.0 
Updated footer
Loading

1.3.2

02 Nov 10:57
@clarus clarus
1.3.2
76344ce

Choose a tag to compare

View all tags
1.3.2 
-j4 option removed
Loading

1.3.1

22 Jul 12:03
@clarus clarus
1.3.1
cdf7a3b

Choose a tag to compare

View all tags
1.3.1 
Cosmetic
Loading

1.3.0

21 Jul 18:52
@clarus clarus
1.3.0
06166a6

Choose a tag to compare

View all tags
1.3.0 
Icon on the homepage + lighter index table
Loading

1.2.1

19 Jul 18:56
@clarus clarus
1.2.1
00349ed

Choose a tag to compare

View all tags
1.2.1 
Cosmetic
Loading

1.2.0

19 Jul 15:48
@clarus clarus
1.2.0
1352d82

Choose a tag to compare

View all tags
1.2.0 
Just the first line of the description for the index table
Loading

1.1.0

15 Jun 16:39
@clarus clarus
1.1.0
ac75ab9

Choose a tag to compare

View all tags
1.1.0 
Update README.md
Loading