Pierre Roux 363e06dfb5 rocq-core: ocaml 5.4 -> 5.5

2026-07-23 14:30:58 +02:00

..

coq

rocq-core: ocaml 5.4 -> 5.5

2026-07-23 14:30:58 +02:00

easycrypt

easycrypt: 2026.05 -> 2026.06

2026-06-12 21:22:30 +00:00

ekrhyper

…

leo2

…

rocq-core

rocq-core: ocaml 5.4 -> 5.5

2026-07-23 14:30:58 +02:00

tlaplus

isabelle: don't use /tmp as a temp directory

2026-02-14 13:28:51 +11:00

why3

…