search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Remove instructions to install AE on Debian #1217

Closed Halbaroth closed 3 weeks ago

Halbaroth commented 3 weeks ago

We do not support this package for a long time.