Mentions légales du service

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

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