| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch
community |
cvc4 |
1.8 |
- |
- |
Arch Linux 32 i486
community |
cvc4 |
1.6 |
- |
- |
Arch Linux 32 i686
community |
cvc4 |
1.8 |
- |
- |
Arch Linux 32 pentium4
community |
cvc4 |
1.8 |
- |
- |
Arch Linux ARM aarch64
community |
cvc4 |
1.8 |
- |
- |
Arch Linux ARM armv7h
community |
cvc4 |
1.8 |
- |
- |
|
AUR |
cvc4-git |
1.6.r709.g219bc5991 |
- |
spaceships@aur |
Debian 10
buster/main |
cvc4 |
1.6 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Debian 11
bullseye/main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Debian 12
bookworm/main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Debian Unstable
sid/main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Deepin
main |
cvc4 |
1.6 |
- |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Devuan 3.0
beowulf/main |
cvc4 |
1.6 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Devuan 4.0
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
updates |
cvc4 |
1.7 |
Unspecified |
- |
Fedora 32
release |
cvc4 |
1.7 |
Unspecified |
- |
Fedora 33
release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 33
updates |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 34
updates |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 34
release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 35
release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 36
development |
cvc4 |
1.8 |
Unspecified |
- |
Fedora Rawhide
development |
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.8 |
sci-mathematics |
tupone@gentoo.org |
|
Gentoo |
sci-mathematics/cvc4 |
1.7 |
sci-mathematics |
tupone@gentoo.org |
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.8 |
sci-mathematics |
tupone@gentoo.org |
|
LiGurOS stable |
sci-mathematics/cvc4 |
1.7 |
sci-mathematics |
tupone@gentoo.org |
|
LiGurOS develop |
sci-mathematics/cvc4 |
1.8 |
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 21.05 |
cvc4 |
1.8 |
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
|
nixpkgs stable 21.11 |
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 |
Pardus 21
main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Parrot
parrot-updates/main |
cvc4 |
1.8 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Parrot
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 Oldstable
main |
cvc4 |
1.6 |
misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Raspbian Stable
main |
cvc4 |
1.8 |
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 |
Trisquel 10.0
nabia/main |
cvc4 |
1.6 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com, 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 21.04
hirsute/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Ubuntu 21.10
impish/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Ubuntu 22.04
jammy/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |