Versions Packages Information History Badges Report

Versions for cvc4

40 package(s) known

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