Tags · BESSON Frederic / itauto · GitLab

Mentions légales du service

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

8.18.0

04b02439 · Merge branch 'depr-versions' into 'master' · Jun 04, 2023

Release: V8.18.0

Download source code

zip tar.gz tar.bz2 tar
8.17.0

5b291966 · Fix Int63 -> Uint63 · Aug 17, 2022

Release: V8.17.0
```
V8.17.0
```
Download source code

zip tar.gz tar.bz2 tar
8.16.0

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

Release: V8.16.0

Download source code

zip tar.gz tar.bz2 tar
8.15.0

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

Release: V8.15.0

Download source code

zip tar.gz tar.bz2 tar
8.14.0

0a279daf · Fix coq 8.14 · Nov 03, 2021

Release: itauto-8.14.0

Download source code

zip tar.gz tar.bz2 tar
8.13+no

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

Release: 8.13+no

Download source code

zip tar.gz tar.bz2 tar
8.13

b4e16d42 · fix makefile · Apr 21, 2021

Release: Itauto.8.13

Download source code

zip tar.gz tar.bz2 tar