Versions Packages Information History Related Badges Report

Versions for alt-ergo

Repository Package name Version Category Maintainer(s)
AUR alt-ergo 1.01 - kaptoxic@aur
Debian Oldstable
oldstable/main
alt-ergo 0.95.2 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian Stable
stable/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian Testing
testing/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian Unstable
main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Deepin
main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan Oldstable
oldstable/main
alt-ergo 0.95.2 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan Stable
stable/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan Testing
testing/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan Unstable
unstable/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
DPorts alt-ergo 0.95.2 math ports@freebsd.org
Fedora 26
release
alt-ergo 1.30 Unspecified fallback-mnt-fedora_26@repology
Fedora 27
release
alt-ergo 1.30 Unspecified fallback-mnt-fedora_27@repology
Fedora 28
release
alt-ergo 1.30 Unspecified fallback-mnt-fedora_28@repology
Fedora Rawhide alt-ergo 1.30 Unspecified fallback-mnt-fedora_rawhide@repology
FreeBSD Ports alt-ergo 0.95.2 math ports@freebsd.org
Funtoo
science-kit
alt-ergo 1.30 sci-mathematics tupone@gentoo.org
Gentoo alt-ergo 1.30 sci-mathematics tupone@gentoo.org
Kali Linux Rolling
main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Mageia 6
core/release
alt-ergo 1.30 Sciences/Computer science fallback-mnt-mageia_6@repology
Mageia Cauldron
core/release
alt-ergo 2.2.0 Sciences/Computer science fallback-mnt-mageia_cauldron@repology
nixpkgs stable alt-ergo 1.30 - aseipp@pobox.com
nixpkgs unstable alt-ergo 1.30 - aseipp@pobox.com
Pardus
main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Parrot
main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
PLD Linux alt-ergo 0.95.2 - fallback-mnt-pld@repology
PureOS green alt-ergo 1.30 misc debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
PureOS landing alt-ergo 1.30 misc debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Raspbian Oldstable
main
alt-ergo 0.95.2 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Raspbian Stable
main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Raspbian Testing
main
alt-ergo 1.30 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
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 17.10
artful/universe
alt-ergo 1.30 universe/math mehdi@debian.org, treinen@debian.org, ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 18.04
bionic/universe
alt-ergo 1.30 universe/math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Ubuntu 18.10
cosmic/universe
alt-ergo 1.30 universe/math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org

Absent in repositories