Mentions légales du service

Tags

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

8.19.0

a527a27d · [fix Makefile] · Nov 21, 2023
8.18.0

04b02439 · Merge branch 'depr-versions' into 'master' · Jun 04, 2023
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