Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch community |
cvc4 |
1.8 |
- |
- |
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.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Debian Unstable main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Deepin main |
cvc4 |
1.6 |
misc |
debian-science-maintainers@alioth-lists.debian.net, 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 4.0 (Chimaera) chimaera/main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Devuan Unstable unstable/main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
DPorts |
math/cvc4 |
1.7 |
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 31 release |
cvc4 |
1.7 |
Unspecified |
- |
Fedora 32 release |
cvc4 |
1.7 |
Unspecified |
- |
Fedora 32 updates |
cvc4 |
1.7 |
Unspecified |
- |
Fedora 33 release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 33 updates |
cvc4 |
1.8 |
Unspecified |
- |
Fedora Rawhide |
cvc4 |
1.8 |
Unspecified |
- |
FreeBSD Ports |
math/cvc4 |
1.7 |
math |
greg@unrelenting.technology |
Funtoo 1.4 science-kit |
sci-mathematics/cvc4 |
1.6 |
sci-mathematics |
tupone@gentoo.org |
Gentoo |
sci-mathematics/cvc4 |
1.7 |
sci-mathematics |
tupone@gentoo.org |
Hyperbola community |
cvc4 |
1.4 |
- |
- |
Kali Linux Rolling main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
LiGurOS stable |
sci-mathematics/cvc4 |
1.7 |
sci-mathematics |
tupone@gentoo.org |
LiGurOS develop |
sci-mathematics/cvc4 |
1.7 |
sci-mathematics |
tupone@gentoo.org |
MacPorts |
cvc4 |
1.4 |
math |
nomaintainer@macports.org |
Manjaro Stable community |
cvc4 |
1.8 |
- |
- |
Manjaro Testing community |
cvc4 |
1.8 |
- |
- |
Manjaro Unstable community |
cvc4 |
1.8 |
- |
- |
nixpkgs stable |
cvc4 |
1.8 |
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
nixpkgs unstable |
cvc4 |
1.8 |
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
Parabola community |
cvc4 |
1.8 |
- |
- |
Pardus 19 main |
cvc4 |
1.6 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Parrot main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
PureOS Amber |
cvc4 |
1.6 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
PureOS landing |
cvc4 |
1.8 |
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.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
SlackBuilds |
academic/cvc4 |
1.8 |
academic |
nick@smallbone.se |
Trisquel 9.0 etiona/main |
cvc4 |
1.5 |
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 18.04 bionic/universe |
cvc4 |
1.5 |
universe/misc |
debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 20.04 focal/universe |
cvc4 |
1.6 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com, fabi.wolff@arcor.de |
Ubuntu 20.10 groovy/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |