Versions Packages Information History Related Badges Report

Versions for alt-ergo

67 package(s) known

Repository Package name Version Category Maintainer(s)
Debian 8
jessie/main
alt-ergo 0.95.2 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian 9
stretch/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian 10
buster/main
alt-ergo 2.0.0 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian 11
bullseye/main
alt-ergo 2.0.0 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian 12
bookworm/main
alt-ergo 2.0.0 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian Unstable
sid/main
alt-ergo 2.4.1 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Debian Unstable
sid/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 - debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan 1.0
jessie/main
alt-ergo 0.95.2 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan 2.0
ascii/main
alt-ergo 1.30 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan 3.0
beowulf/main
alt-ergo 2.0.0 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Devuan 4.0
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.4.1 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
updates
alt-ergo 2.2.0 Unspecified -
Fedora 33
release
alt-ergo 2.2.0 Unspecified -
Fedora 34
release
alt-ergo 2.2.0 Unspecified -
Fedora 35
release
alt-ergo 2.2.0 Unspecified -
Fedora 36
development
alt-ergo 2.3.0 Unspecified -
Fedora Rawhide
development
alt-ergo 2.3.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.4.1_p20220407 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
Gentoo sci-mathematics/alt-ergo 2.4.1 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
Gentoo sci-mathematics/alt-ergo 2.3.0 sci-mathematics ml@gentoo.org, sci-mathematics@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.4.1_p20220407 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/alt-ergo 2.4.1 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/alt-ergo 2.3.0 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/alt-ergo 2.4.1_p20220407 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/alt-ergo 2.4.1 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/alt-ergo 2.3.0 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
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
Pardus 21
main
alt-ergo 2.0.0 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Parrot
parrot-updates/main
alt-ergo 2.0.0 math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Parrot
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 2.0.0 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
Trisquel 10.0
nabia/main
alt-ergo 2.0.0 universe/math ubuntu-devel-discuss@lists.ubuntu.com, mehdi@debian.org, treinen@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 21.04
hirsute/universe
alt-ergo 2.0.0 universe/math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Ubuntu 21.10
impish/universe
alt-ergo 2.0.0 universe/math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Ubuntu 22.04
jammy/universe
alt-ergo 2.0.0 universe/math debian-ocaml-maint@lists.debian.org, mehdi@debian.org, treinen@debian.org
Wikidata Alt-Ergo 2.4.1 - -