Skip to content

Releases: coq-io/opam-website

1.6.1

10 Jul 13:39
@clarus clarus
1.6.1
caaa65b
Compare
Choose a tag to compare
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
Compare
Choose a tag to compare
1.6.0

Upgrade to opam 2

Assets 3
Loading

1.5.0

06 Sep 21:03
@clarus clarus
1.5.0
b07be39
Compare
Choose a tag to compare
1.5.0 
Add a disclaimer
Assets 3
Loading

1.4.0

25 Nov 16:19
@clarus clarus
1.4.0
184c452
Compare
Choose a tag to compare
1.4.0 
Updated footer
Assets 3
Loading

1.3.2

02 Nov 10:57
@clarus clarus
1.3.2
76344ce
Compare
Choose a tag to compare
1.3.2 
-j4 option removed
Assets 3
Loading

1.3.1

22 Jul 12:03
@clarus clarus
1.3.1
cdf7a3b
Compare
Choose a tag to compare
1.3.1 
Cosmetic
Assets 3
Loading

1.3.0

21 Jul 18:52
@clarus clarus
1.3.0
06166a6
Compare
Choose a tag to compare
1.3.0 
Icon on the homepage + lighter index table
Assets 3
Loading

1.2.1

19 Jul 18:56
@clarus clarus
1.2.1
00349ed
Compare
Choose a tag to compare
1.2.1 
Cosmetic
Assets 3
Loading

1.2.0

19 Jul 15:48
@clarus clarus
1.2.0
1352d82
Compare
Choose a tag to compare
1.2.0 
Just the first line of the description for the index table
Assets 3
Loading

1.1.0

15 Jun 16:39
@clarus clarus
1.1.0
ac75ab9
Compare
Choose a tag to compare
1.1.0 
Update README.md
Assets 2
Loading