Tags · verimag / synchrone / lutin · GitLab

Tags give the ability to mark specific points in history as being important

2.70.0 Release 2.70.0

62b3fe18 · New: remove all stuff that was here for sentimental reasons (old lurette toplevel) · Aug 21, 2019

Release 2.70.0

Download source code

zip tar.gz tar.bz2 tar
2.70.1 Release 2.70.1

76174b80 · Update: camlp4 is not needed anymore · Aug 22, 2019

Release 2.70.1

Download source code

zip tar.gz tar.bz2 tar
2.70.2 Release 2.70.2

4e618506 · Build: don't run opam-test before pushing; otherwise the release are not computed correctly · Aug 22, 2019

Release 2.70.2

Download source code

zip tar.gz tar.bz2 tar
2.70.3 Release 2.70.3

bbf942ca · Test: remove the tests in the lurette_old directory · Aug 22, 2019

Release 2.70.3

Download source code

zip tar.gz tar.bz2 tar
2.70.4 Release 2.70.4

e7f01a6d · Build: fix a rule in the opam file (the remove script is in etc/lutin, not etc/Lutin) · Aug 22, 2019

Release 2.70.4

Download source code

zip tar.gz tar.bz2 tar
2.70.5 Release 2.70.5

abd625df · Update: use dune instead of oasis · Sep 03, 2019

Release 2.70.5

Download source code

zip tar.gz tar.bz2 tar
2.70.6 Release 2.70.6

3218622f · Build: make a smaller tgz for opam · Sep 03, 2019

Release 2.70.6

Download source code

zip tar.gz tar.bz2 tar
2.70.7 Release 2.70.7

ced75b3b · Fix: remove a useless module open (List) that breaks the build/ocaml4.07.0 · Sep 04, 2019

Release 2.70.7

Download source code

zip tar.gz tar.bz2 tar
2.70.8 Release 2.70.8

67548aad · Build: move to dune 2.0 · Dec 03, 2019

Release 2.70.8

Download source code

zip tar.gz tar.bz2 tar
2.71.0 Release 2.71.0

7addffd8 · Update: handle the Data.Str that was added to lutils in 8619aa285ca8322ab9 · Mar 13, 2020

Release 2.71.0

Download source code

zip tar.gz tar.bz2 tar
2.71.1 Release 2.71.1

8671d38c · Upgrade: the rdbg package renamed Event into RdbgEvent · Mar 17, 2020

Release 2.71.1

Download source code

zip tar.gz tar.bz2 tar
2.71.2 Release 2.71.2

271d002c · Update: propage the API change done in rdbg 1.189.3 · Jul 24, 2020

Release 2.71.2

Download source code

zip tar.gz tar.bz2 tar