Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Tags
Tags give the ability to mark specific points in history as being important
v2.71.10
e994f2cc
·
Chore: add the local dune dep in the opam file to try to fix the test_opam_test job
·
Jul 07, 2021
2.71.10
e994f2cc
·
Chore: add the local dune dep in the opam file to try to fix the test_opam_test job
·
Jul 07, 2021
Release:
2.71.10
Release 2.71.10
v2.71.11
eed82765
·
fix: for a version to be generated
·
Sep 22, 2021
Release:
v2.71.11
v2.71.12
7df41ccf
·
fix: the previous change was a fix that should have generated a new version number
·
Apr 28, 2022
Release:
v2.71.12
v2.71.13
a9dd21ce
·
fix: the --version output in the opam distribution
·
Oct 13, 2022
Release:
v2.71.13
v2.71.14
e9d8090a
·
fix: the --version output in the opam distribution again
·
Oct 13, 2022
Release:
v2.71.14
v2.71.15
a3670cb8
·
test: some fixes
·
Oct 26, 2022
Release:
v2.71.15
Prev
1
2
3
Next