Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch extra |
cvc4 |
1.8 |
- |
- |
Arch Linux 32 i486 extra |
cvc4 |
1.6 |
- |
- |
Arch Linux 32 i686 extra |
cvc4 |
1.8 |
- |
- |
Arch Linux 32 pentium4 extra |
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 updates |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 33 release |
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 release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 37 updates |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 37 release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora 38 release |
cvc4 |
1.8 |
Unspecified |
- |
Fedora Rawhide development |
cvc4 |
1.8 |
Unspecified |
- |
Gentoo |
sci-mathematics/cvc4 |
1.8 |
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 develop |
sci-mathematics/cvc4 |
1.8 |
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 extra |
cvc4 |
1.8 |
- |
- |
nixpkgs stable 21.11 |
cvc4 |
1.8 |
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
nixpkgs stable 22.05 |
cvc4 |
1.8 |
- |
vincent.laporte@gmail.com, aseipp@pobox.com, gebner@gebner.org |
nixpkgs stable 22.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 extra |
cvc4 |
1.8 |
- |
- |
Pardus 21 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 |
Parrot parrot-updates/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 10.0 nabia/main |
cvc4 |
1.6 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com, fabi.wolff@arcor.de |
Trisquel 11.0 aramo/main |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, 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 22.04 jammy/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Ubuntu 22.10 kinetic/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Ubuntu 23.04 lunar/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |
Ubuntu 23.10 mantic/universe |
cvc4 |
1.8 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de |