Repository |
Package name |
Version |
Category |
Maintainer(s) |
AUR |
alt-ergo |
2.3.0 |
- |
fallback-mnt-aur@repology |
Debian Oldstable oldstable/main |
alt-ergo |
1.30 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Debian Stable stable/main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Debian Testing testing/main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Debian Unstable main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Deepin main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Devuan 1.0 (Jessie) jessie/main |
alt-ergo |
0.95.2 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Devuan 2.0 (ASCII) ascii/main |
alt-ergo |
1.30 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Devuan 3.0 (Beowulf) beowulf/main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Devuan 4.0 (Chimaera) chimaera/main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Devuan Unstable unstable/main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
DPorts |
math/alt-ergo |
0.95.2 |
math |
ports@freebsd.org |
Fedora 26 release |
alt-ergo |
1.30 |
Unspecified |
- |
Fedora 27 release |
alt-ergo |
1.30 |
Unspecified |
- |
Fedora 28 release |
alt-ergo |
1.30 |
Unspecified |
- |
Fedora 29 release |
alt-ergo |
1.30 |
Unspecified |
- |
Fedora 30 release |
alt-ergo |
1.30 |
Unspecified |
- |
Fedora 31 release |
alt-ergo |
2.0.0 |
Unspecified |
- |
Fedora 32 updates |
alt-ergo |
2.2.0 |
Unspecified |
- |
Fedora 32 release |
alt-ergo |
2.0.0 |
Unspecified |
- |
Fedora 33 release |
alt-ergo |
2.2.0 |
Unspecified |
- |
Fedora 33 updates |
alt-ergo |
2.2.0 |
Unspecified |
- |
Fedora Rawhide |
alt-ergo |
2.2.0 |
Unspecified |
- |
FreeBSD Ports |
math/alt-ergo |
0.95.2 |
math |
ports@freebsd.org |
Funtoo 1.4 science-kit |
sci-mathematics/alt-ergo |
1.30 |
sci-mathematics |
tupone@gentoo.org |
Gentoo |
sci-mathematics/alt-ergo |
2.3.0 |
sci-mathematics |
tupone@gentoo.org |
Kali Linux Rolling main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
LiGurOS stable |
sci-mathematics/alt-ergo |
2.3.0 |
sci-mathematics |
tupone@gentoo.org |
LiGurOS develop |
sci-mathematics/alt-ergo |
2.3.0 |
sci-mathematics |
tupone@gentoo.org |
Mageia 6 core/release |
alt-ergo |
1.30 |
Sciences/Computer science |
- |
Mageia 7 core/release |
alt-ergo |
2.2.0 |
Sciences/Computer science |
- |
Mageia 8 core/release |
alt-ergo |
2.2.0 |
Sciences/Computer science |
- |
Mageia Cauldron core/release |
alt-ergo |
2.2.0 |
Sciences/Computer science |
- |
Pardus 17 main |
alt-ergo |
1.30 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Pardus 19 main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Parrot main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
PLD Linux |
alt-ergo |
0.95.2 |
- |
- |
PureOS Amber |
alt-ergo |
2.0.0 |
misc |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
PureOS landing |
alt-ergo |
2.0.0 |
misc |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Raspbian Oldstable main |
alt-ergo |
1.30 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Raspbian Stable main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Raspbian Testing main |
alt-ergo |
2.0.0 |
math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Trisquel 6.0 toutatis/main |
alt-ergo |
0.94 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org |
Trisquel 7.0 belenos/main |
alt-ergo |
0.95.2 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Trisquel 8.0 flidas/main |
alt-ergo |
0.99.1 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Trisquel 9.0 etiona/main |
alt-ergo |
1.30 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Ubuntu 12.04 precise/universe |
alt-ergo |
0.94 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org |
Ubuntu 14.04 trusty/universe |
alt-ergo |
0.95.2 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Ubuntu 16.04 xenial/universe |
alt-ergo |
0.99.1 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Ubuntu 18.04 bionic/universe |
alt-ergo |
1.30 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |
Ubuntu 20.04 focal/universe |
alt-ergo |
2.0.0 |
universe/math |
ubuntu-devel-discuss@lists.ubuntu.com, mehdi@debian.org, treinen@debian.org |
Ubuntu 20.10 groovy/universe |
alt-ergo |
2.0.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org |