Mentions légales du service

GitLab upgrade completed. Current version is 18.1.6 - https://about.gitlab.com/releases/2025/06/19/gitlab-18-1-released/

Tags

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

20250919

f80b9fb3 · .gitignore · Sep 19, 2025
```
Release 20250919.
```
20250428

aaa0e00b · Makefile. · Apr 28, 2025
```
Release 20250428.
```
20230505

acdb6e13 · Update CHANGES with the release date. · May 05, 2023
```
Release 20230505.
```
20220121

a288f05d · CHANGES. · Jan 21, 2022
```
Release 20220121.
```
20211231

c886d65e · Shorten the duration of the test in demos/brz/TestGen.ml. · Dec 31, 2021
```
Release 20211231.
```
20211125

2a26e3db · README. · Nov 25, 2021
```
Release 20211125.
```
20201120

17c5c3de · DataFlow: change the bag of pending nodes from LIFO to FIFO. This is about 15x... · Nov 21, 2020
```
Release 20201120.
```
20200131

fe749bda · Rename the internal module [Graph] to [CoreDependencyGraph]. · Jan 31, 2020
```
Release 20200131.
```
20181206

6962ad5e · A second attempt at fixing the opam package. · Dec 06, 2018
```
Release 20181206.
```