合并请求 共 4
removing 404
#232 · jmikedupont2 · 2024-08-04
Add compatibility with Coq 8.17 and 8.18
#230 · clarus · 2024-01-15
Bump minimist from 1.2.5 to 1.2.8 in /doc/website
#227 · dependabot[bot] · 2023-03-06
Bump json5 from 2.2.0 to 2.2.3 in /doc/website
#226 · dependabot[bot] · 2023-01-07
Ocaml 4.14
#217 · clarus · 2022-06-22
Ocaml 4.13
#216 · clarus · 2022-06-22
Bump minimist from 1.2.5 to 1.2.6 in /doc/website
#212 · dependabot[bot] · 2022-03-29