search

OCamlPro / alt-ergo

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

Package Debian #1215

Closed Halbaroth closed 3 weeks ago

Halbaroth commented 3 weeks ago

In our documentation we suggest to install Alt-Ergo with apt-get but the latest version available on Debian is 2.0.0: https://packages.debian.org/search?keywords=alt-ergo

I suggest to remove this mention in our documentation.

bclement-ocp commented 3 weeks ago

Yes let's drop it. Alt-Ergo has been removed from the Debian repositories in the latest stable version.