Mentions légales du service

Tags

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

8.17.0

5b291966 · Fix Int63 -> Uint63 · Aug 17, 2022
```
V8.17.0
```
8.16.0

2f88542c · Fix bugs in Nelson-Oppen · May 20, 2022
8.15.0

4e807bd8 · opam coq -> 8.15 · Jan 31, 2022
8.14.0

0a279daf · Fix coq 8.14 · Nov 03, 2021
8.13+no

8f7b8280 · Official Nelson-Oppen support · Jun 01, 2021
8.13

b4e16d42 · fix makefile · Apr 21, 2021