Mentions légales du service

GitLab upgrade completed. Current version is 17.11.6.

Tags

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

1.2.0

c0f96ee2 · Merge pull request #9494 from zinid/delimcc-version-control · Jun 14, 2017
```
This is where the 1.2.0 repository mirror has been frozen
```
0.3

456bff4b · Revert "Update makefile to opam.0.4" · Jul 26, 2012