| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch
community |
cvc4 |
1.6
|
- |
- |
|
AUR |
cvc4-git |
1.6.r709.g219bc5991
|
- |
spaceships@aur |
Debian Stable
stable/main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Debian Testing
testing/main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Debian Unstable
main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Deepin
main |
cvc4 |
1.5
|
misc |
debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de |
Devuan 3.0 (Beowulf)
beowulf/main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Devuan Unstable
unstable/main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
|
DPorts |
cvc4 |
1.6
|
math |
greg@unrelenting.technology |
Fedora 26
updates |
cvc4 |
1.5
|
Unspecified |
- |
Fedora 26
release |
cvc4 |
1.4
|
Unspecified |
- |
Fedora 27
release |
cvc4 |
1.5
|
Unspecified |
- |
Fedora 28
release |
cvc4 |
1.5
|
Unspecified |
- |
Fedora 29
release |
cvc4 |
1.6
|
Unspecified |
- |
Fedora 30
updates |
cvc4 |
1.7
|
Unspecified |
- |
Fedora 30
release |
cvc4 |
1.6
|
Unspecified |
- |
|
Fedora Rawhide |
cvc4 |
1.7
|
Unspecified |
- |
|
FreeBSD Ports |
cvc4 |
1.7
|
math |
greg@unrelenting.technology |
Funtoo 1.3
science-kit |
cvc4 |
1.6
|
sci-mathematics |
tupone@gentoo.org |
|
Gentoo |
cvc4 |
1.7
|
sci-mathematics |
tupone@gentoo.org |
|
Gentoo |
cvc4 |
1.6
|
sci-mathematics |
tupone@gentoo.org |
Hyperbola
community |
cvc4 |
1.4
|
- |
- |
Kali Linux Rolling
main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
|
MacPorts |
cvc4 |
1.4
|
math |
nomaintainer@macports.org |
Manjaro Stable
community |
cvc4 |
1.6
|
- |
- |
Manjaro Testing
community |
cvc4 |
1.6
|
- |
- |
Manjaro Unstable
community |
cvc4 |
1.6
|
- |
- |
|
nixpkgs stable |
cvc4 |
1.6
|
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
|
nixpkgs unstable |
cvc4 |
1.6
|
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
Parabola
community |
cvc4 |
1.6
|
- |
- |
Parrot
main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
|
PureOS green |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
|
PureOS landing |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Raspbian Stable
main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Raspbian Testing
main |
cvc4 |
1.6
|
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
|
SlackBuilds |
cvc4 |
1.7
|
academic |
nick@smallbone.se |
Ubuntu 18.04
bionic/universe |
cvc4 |
1.5
|
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 18.10
cosmic/universe |
cvc4 |
1.5
|
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 19.04
disco/universe |
cvc4 |
1.6
|
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Ubuntu 19.10
eoan/universe |
cvc4 |
1.6
|
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |