Versions Packages Information History Badges Report

Versions for cvc4

67 package(s) known

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