Versions Packages Information History Badges Report

Versions for cvc4

Repository Package name Version Category Maintainer(s)
Arch
community
cvc4 1.6 - felixonmars@archlinux.org
AUR cvc4-git 1.5.r189.g382813c77 - spaceships@aur
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 Testing
testing/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
Fedora 26
updates
cvc4 1.5 Unspecified fallback-mnt-fedora_26@repology
Fedora 26
release
cvc4 1.4 Unspecified fallback-mnt-fedora_26@repology
Fedora 27
release
cvc4 1.5 Unspecified fallback-mnt-fedora_27@repology
Fedora 28
release
cvc4 1.5 Unspecified fallback-mnt-fedora_28@repology
Fedora 29
release
cvc4 1.6 Unspecified fallback-mnt-fedora_29@repology
Fedora Rawhide cvc4 1.6 Unspecified fallback-mnt-fedora_rawhide@repology
FreeBSD Ports cvc4 1.6 math greg@unrelenting.technology
Funtoo
science-kit
cvc4 1.6 sci-mathematics tupone@gentoo.org
Gentoo cvc4 1.6 sci-mathematics tupone@gentoo.org
Hyperbola
community
cvc4 1.4 - bpiotrowski@archlinux.org
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 - felixonmars@archlinux.org
Manjaro Testing
community
cvc4 1.6 - felixonmars@archlinux.org
Manjaro Unstable
community
cvc4 1.6 - felixonmars@archlinux.org
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 - felixonmars@archlinux.org
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 Testing
main
cvc4 1.6 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 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.5 universe/misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
Ubuntu 19.04 Proposed
disco-proposed/universe
cvc4 1.6 universe/misc debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de

Absent in repositories