Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
8.20.0
90a359a6
·
Revert "[PATCH] Remove --root on dune calls - does not work on Windows MinGW"
·
Jun 17, 2024
Release:
V8.20.0
8.20.0
8.19.0
a527a27d
·
[fix Makefile]
·
Nov 21, 2023
Release:
V8.19.0
8.18.0
04b02439
·
Merge branch 'depr-versions' into 'master'
·
Jun 04, 2023
Release:
V8.18.0
8.17.0
5b291966
·
Fix Int63 -> Uint63
·
Aug 17, 2022
Release:
V8.17.0
V8.17.0
8.16.0
2f88542c
·
Fix bugs in Nelson-Oppen
·
May 20, 2022
Release:
V8.16.0
8.15.0
4e807bd8
·
opam coq -> 8.15
·
Jan 31, 2022
Release:
V8.15.0
8.14.0
0a279daf
·
Fix coq 8.14
·
Nov 03, 2021
Release:
itauto-8.14.0
8.13+no
8f7b8280
·
Official Nelson-Oppen support
·
Jun 01, 2021
Release:
8.13+no
8.13
b4e16d42
·
fix makefile
·
Apr 21, 2021
Release:
Itauto.8.13