Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags give the ability to mark specific points in history as being important
5.0.5
0130a3fc
·
Disables some tests for OPAM release
·
Dec 09, 2023
5.0.4
49265541
·
typo fix
·
Oct 19, 2020
5.0.3
c07b82e2
·
updated Changes.txt
·
Jun 17, 2020
5.0.2
36334b0f
·
build fix in ocaml 4.09
·
May 26, 2020
5.0.1
8ce0728e
·
Added tag 5.0.1 for changeset fc75238237a7
·
Apr 02, 2018