Dans le cadre d'une mise à jour, gricad-gitlab sera indisponible la matinée du jeudi 10 Octobre.

Tags

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

v2.71.16

867a735b · docs: a small enhancement · Aug 27, 2024

Release: v2.71.16
v2.71.15

a3670cb8 · test: some fixes · Oct 26, 2022

Release: v2.71.15
v2.71.14

e9d8090a · fix: the --version output in the opam distribution again · Oct 13, 2022

Release: v2.71.14
v2.71.13

a9dd21ce · fix: the --version output in the opam distribution · Oct 13, 2022

Release: v2.71.13
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.11

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

Release: v2.71.11
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.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.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
```
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
```
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
```
2.71.6

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

Release: 2.71.6
```
Release 2.71.6
```
2.71.5

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

Release: 2.71.5
```
Release 2.71.5
```
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
```
2.71.3

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

Release: 2.71.3
```
Release 2.71.3
```
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
```
2.71.1

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

Release: 2.71.1
```
Release 2.71.1
```
opam-release

8671d38c · Upgrade: the rdbg package renamed Event into RdbgEvent · Mar 17, 2020
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
```
2.70.8

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

Release: 2.70.8
```
Release 2.70.8
```

Prev
1
2
3
Next