Versions Packages Information History Related Badges Report

Versions for cvc4

Repository Package name Version Category Maintainer(s)
Arch
community
cvc4 1.5 - arojas@archlinux.org
AUR cvc4-git 1.5.r189.g382813c77 - spaceships@aur
Debian Testing
testing/main
cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
Debian Unstable
main
cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
Devuan Testing
testing/main
cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
Devuan Unstable
unstable/main
cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
DPorts cvc4 1.5 math greg@unrelenting.technology
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 Rawhide cvc4 1.6 Unspecified fallback-mnt-fedora_rawhide@repology
FreeBSD Ports cvc4 1.5 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.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
MacPorts cvc4 1.4 math nomaintainer@macports.org
Manjaro Stable
community
cvc4 1.5 - arojas@archlinux.org
Manjaro Testing
community
cvc4 1.5 - arojas@archlinux.org
Manjaro Unstable
community
cvc4 1.5 - arojas@archlinux.org
nixpkgs stable cvc4 1.5 - aseipp@pobox.com, vincent.laporte@gmail.com
nixpkgs unstable cvc4 1.6 - aseipp@pobox.com, gebner@gebner.org, vincent.laporte@gmail.com
Parabola
community
cvc4 1.5 - arojas@archlinux.org
Parrot
main
cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
PureOS green cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
PureOS landing cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, fabi.wolff@arcor.de
Raspbian Testing
main
cvc4 1.5 misc debian-science-maintainers@lists.alioth.debian.org, 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

Absent in repositories