Versions Packages Information History Related Badges Report

Packages for alt-ergo

70 package(s) known

Devuan 1.0
jessie/main

alt-ergo

0.95.2 (0.95.2-3)
Devuan 2.0
ascii/main

alt-ergo

1.30 (1.30-1)
Devuan 3.0
beowulf/main

alt-ergo

2.0.0 (2.0.0-3)
Devuan 4.0
chimaera/main

alt-ergo

2.0.0 (2.0.0-7)
Devuan Unstable
unstable/main

alt-ergo

2.4.2 (2.4.2-2)

math/alt-ergo

0.95.2 (0.95.2_3)
Fedora 26
release

alt-ergo

1.30 (1.30-2.fc26)
Fedora 27
release

alt-ergo

1.30 (1.30-9.fc27)
Fedora 28
release

alt-ergo

1.30 (1.30-12.fc28)
Fedora 29
release

alt-ergo

1.30 (1.30-15.fc29)
Fedora 30
release

alt-ergo

1.30 (1.30-16.fc30)
Fedora 31
release

alt-ergo

2.0.0 (2.0.0-5.fc31)
Fedora 32
updates

alt-ergo

2.2.0 (2.2.0-1.fc32)
Fedora 32
release

alt-ergo

2.0.0 (2.0.0-10.fc32)
Fedora 33
release

alt-ergo

2.2.0 (2.2.0-5.fc33)
Fedora 33
updates

alt-ergo

2.2.0 (2.2.0-6.fc33)
Fedora 34
release

alt-ergo

2.2.0 (2.2.0-9.fc34)
Fedora 35
release

alt-ergo

2.2.0 (2.2.0-13.fc35)
Fedora 36
updates

alt-ergo

2.3.3 (2.3.3-1.fc36)
Fedora 36
release

alt-ergo

2.3.0 (2.3.0-4.fc36)
Fedora 37
development

alt-ergo

2.3.3 (2.3.3-3.fc37)
Fedora Rawhide
development

alt-ergo

2.3.3 (2.3.3-3.fc37)

math/alt-ergo

0.95.2 (0.95.2_3)
Funtoo 1.4
science-kit

sci-mathematics/alt-ergo

1.30

sci-mathematics/alt-ergo

2.4.2 (2.4.2-r1)

sci-mathematics/alt-ergo

2.4.1_p20220407 (2.4.1_p20220407-r1)

sci-mathematics/alt-ergo

2.4.1 (2.4.1-r2)

sci-mathematics/alt-ergo

2.3.0 (2.3.0-r1)

alt-ergo

2.4.2 (2.4.2-2)

sci-mathematics/alt-ergo

2.4.2

sci-mathematics/alt-ergo

2.4.1_p20220407 (2.4.1_p20220407-r1)

sci-mathematics/alt-ergo

2.4.1 (2.4.1-r2)

sci-mathematics/alt-ergo

2.3.0 (2.3.0-r1)

sci-mathematics/alt-ergo

2.4.2 (2.4.2-r1)

sci-mathematics/alt-ergo

2.4.1_p20220407 (2.4.1_p20220407-r1)

sci-mathematics/alt-ergo

2.4.1 (2.4.1-r2)

sci-mathematics/alt-ergo

2.3.0 (2.3.0-r1)
Mageia 7
core/release

alt-ergo

2.2.0 (2.2.0-5.mga7)
  • Summary:
    Automated theorem prover including linear arithmetic
  • Category:
    • Sciences/Computer science
  • License:
    • CeCILL-C and LGPL
  • Links(s):
Mageia 8
core/release

alt-ergo

2.2.0 (2.2.0-10.mga8)
  • Summary:
    Automated theorem prover including linear arithmetic
  • Category:
    • Sciences/Computer science
  • License:
    • ASL 2.0
  • Links(s):
Mageia Cauldron
core/release

alt-ergo

2.2.0 (2.2.0-17.mga9)

alt-ergo

1.30 (1.30-1)

alt-ergo

2.0.0 (2.0.0-3)

alt-ergo

2.0.0 (2.0.0-7)
Parrot
parrot-updates/main

alt-ergo

2.0.0 (2.0.0-7)
Parrot
parrot/main

alt-ergo

2.0.0 (2.0.0-7)

alt-ergo

2.0.0 (2.0.0-3)

alt-ergo

2.0.0 (2.0.0-7)

alt-ergo

2.0.0 (2.0.0-3)

alt-ergo

2.0.0 (2.0.0-7)

alt-ergo

2.4.2 (2.4.2-2)
Trisquel 6.0
toutatis/main

alt-ergo

0.94 (0.94-1)
Trisquel 7.0
belenos/main

alt-ergo

0.95.2 (0.95.2-1build1)
Trisquel 8.0
flidas/main

alt-ergo

0.99.1 (0.99.1+dfsg1-4build3)
Trisquel 9.0
etiona/main

alt-ergo

1.30 (1.30+dfsg1-1)
Trisquel 10.0
nabia/main

alt-ergo

2.0.0 (2.0.0-5build1)
Ubuntu 16.04
xenial/universe

alt-ergo

0.99.1 (0.99.1+dfsg1-4build3)

Alt-Ergo

2.4.1