alt-ergo packages

51 package(s) known

Debian 10
^buster/main

alt-ergo

2.0.0 (2.0.0-3)

Debian 11
^{bullseye/main}

alt-ergo

2.0.0 (2.0.0-7)

Deepin
^main

alt-ergo

2.0.0 (2.0.0-3)

Maintainers:
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 3.0
^beowulf/main

alt-ergo

2.0.0 (2.0.0-3)

Maintainers:
Category:
- math
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 4.0
^{chimaera/main}

alt-ergo

2.0.0 (2.0.0-7)

Maintainers:
Category:
- math
Link(s):
- Upstream homepage^{redir, no IPv6}

Fedora 26
^release

alt-ergo

1.30 (1.30-2.fc26)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- CeCILL-C
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 27
^release

alt-ergo

1.30 (1.30-9.fc27)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- CeCILL-C
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 28
^release

alt-ergo

1.30 (1.30-12.fc28)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- CeCILL-C
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 29
^release

alt-ergo

1.30 (1.30-15.fc29)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- CeCILL-C
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 30
^release

alt-ergo

1.30 (1.30-16.fc30)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- CeCILL-C
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 31
^release

alt-ergo

2.0.0 (2.0.0-5.fc31)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 32
^updates

alt-ergo

2.2.0 (2.2.0-1.fc32)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 32
^release

alt-ergo

2.0.0 (2.0.0-10.fc32)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 33
^release

alt-ergo

2.2.0 (2.2.0-5.fc33)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 33
^updates

alt-ergo

2.2.0 (2.2.0-6.fc33)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 34
^release

alt-ergo

2.2.0 (2.2.0-9.fc34)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 35
^release

alt-ergo

2.2.0 (2.2.0-13.fc35)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 36
^updates

alt-ergo

2.3.3 (2.3.3-1.fc36)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 36
^release

alt-ergo

2.3.0 (2.3.0-4.fc36)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 37
^release

alt-ergo

2.3.3 (2.3.3-3.fc37)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- ASL 2.0
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 38
^release

alt-ergo

2.3.3 (2.3.3-6.fc38)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 39
^development

alt-ergo

2.3.3 (2.3.3-10.fc39)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora Rawhide
^development

alt-ergo

2.3.3 (2.3.3-11.fc40)

Summary:
Automated theorem prover including linear arithmetic
Category:
- Unspecified
License:
- Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}