Tags · verimag / synchrone / lutin · GitLab

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

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

Download source code

zip tar.gz tar.bz2 tar
v2.71.11

eed82765 · fix: for a version to be generated · Sep 22, 2021

Release v2.71.11

Download source code

zip tar.gz tar.bz2 tar
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
```
Download source code

zip tar.gz tar.bz2 tar
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

Download source code

zip tar.gz tar.bz2 tar
2.71.9

81560bb4 · Chore: depend on dune 2.0, as stated by the dune project · Jul 07, 2021

Release 2.71.9
```
Release 2.71.9
```
Download source code

zip tar.gz tar.bz2 tar
2.71.8

1cf9c4c2 · Chore: lib/polka/vector.ml was generated both by lib/polka/ and lutin.opam · Jul 07, 2021

Release 2.71.8
```
Release 2.71.8
```
Download source code

zip tar.gz tar.bz2 tar
2.71.7

9989e565 · Chore: rely more on dune and less on make for the build · Jul 07, 2021

Release 2.71.7
```
Release 2.71.7
```
Download source code

zip tar.gz tar.bz2 tar
2.71.6

43aa7c0e · Chore: fix an opam dep · Jul 05, 2021

Release 2.71.6
```
Release 2.71.6
```
Download source code

zip tar.gz tar.bz2 tar
2.71.5

6236c73e · Upgrade: redbg/clean_terminate changed · Jul 05, 2021

Release 2.71.5
```
Release 2.71.5
```
Download source code

zip tar.gz tar.bz2 tar
2.71.4

c6dc9b43 · Update: do not exit in error when the last event is reached · Jul 01, 2021

Release 2.71.4
```
Release 2.71.4
```
Download source code

zip tar.gz tar.bz2 tar
2.71.3

72b93ffb · Chore: some fixes in the Lutin tuto · May 26, 2021

Release 2.71.3
```
Release 2.71.3
```
Download source code

zip tar.gz tar.bz2 tar
2.71.2

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

Release 2.71.2
```
Release 2.71.2
```
Download source code

zip tar.gz tar.bz2 tar
2.71.1

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

Release 2.71.1
```
Release 2.71.1
```
Download source code

zip tar.gz tar.bz2 tar
opam-release

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

Download source code

zip tar.gz tar.bz2 tar
2.71.0

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

Release 2.71.0
```
Release 2.71.0
```
Download source code

zip tar.gz tar.bz2 tar
2.70.8

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

Release 2.70.8
```
Release 2.70.8
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Release 2.70.7
```
Download source code

zip tar.gz tar.bz2 tar
2.70.6

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

Release 2.70.6
```
Release 2.70.6
```
Download source code

zip tar.gz tar.bz2 tar
2.70.5

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

Release 2.70.5
```
Release 2.70.5
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Release 2.70.4
```
Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
Next