Versions Packages Information History Badges Report

Versions for cvc4

48 package(s) known

Repository Package name Version Category Maintainer(s)
Arch
community		 cvc4 1.8 - -
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.8 misc debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de
Debian Unstable
main		 cvc4 1.8 misc debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de
Deepin
main		 cvc4 1.6 misc debian-science-maintainers@alioth-lists.debian.net, 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 4.0 (Chimaera)
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
release		 cvc4 1.7 Unspecified -
Fedora 32
updates		 cvc4 1.7 Unspecified -
Fedora 33
release		 cvc4 1.8 Unspecified -
Fedora 33
updates		 cvc4 1.8 Unspecified -
Fedora Rawhide 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.7 sci-mathematics tupone@gentoo.org
Hyperbola
community		 cvc4 1.4 - -
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.7 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 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
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 Stable
main		 cvc4 1.6 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
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 20.10
groovy/universe		 cvc4 1.8 universe/misc debian-science-maintainers@alioth-lists.debian.net, fabi.wolff@arcor.de

Absent in repositories

  • Adélie Linux current
  • AIX Open Source Packages
  • AIX Toolbox
  • Alpine Linux 3.8
  • Alpine Linux 3.9
  • Alpine Linux 3.10
  • Alpine Linux 3.11
  • Alpine Linux 3.12
  • Alpine Linux 3.13
  • Alpine Linux Edge
  • ALT Linux p9
  • ALT Sisyphus
  • Amazon Linux 1
  • Amazon Linux 2
  • antiX-16
  • antiX-17
  • antiX-19
  • AOSC
  • Apertis v2020
  • Apertis v2021 Development
  • AppGet
  • Arch Testing
  • Artix
  • Astra Orel Stable
  • Astra Orel Current
  • Ataraxia Linux
  • BackBox 6
  • BackBox 7
  • BlackArch
  • Buckaroo
  • BunsenLabs Hydrogen
  • BunsenLabs Hydrogen/Jessie Backports
  • BunsenLabs Helium
  • BunsenLabs Helium/Stretch Backports
  • Calculate
  • Carbs Linux
  • CentOS 6
  • CentOS 7
  • CentOS 8
  • Chakra
  • Chakra Staging
  • Chakra Testing
  • Chaotic-AUR
  • Chocolatey
  • ConanCenter
  • CPAN
  • MetaCPAN
  • CRAN
  • crates.io
  • CRUX 3.4
  • CRUX 3.5
  • CRUX 3.6
  • Cygwin
  • Deb Multimedia Unstable
  • Debian Oldstable
  • Debian Stable Backports
  • Debian Experimental
  • Devuan 1.0 (Jessie)
  • Devuan 2.0 (ASCII)
  • distri
  • DistroWatch.com
  • ELRepo el7
  • ELRepo el7 Testing
  • Entware
  • EPEL 6
  • EPEL 7
  • EPEL 8
  • Exherbo
  • F-Droid
  • freshcode.club
  • Gentoo overlay GURU
  • Gentoo overlay Pentoo
  • Gentoo Science overlay
  • GNU Elpa
  • GNU Guix
  • GoboLinux
  • Hackage
  • HaikuPorts master
  • Homebrew
  • Homebrew Casks
  • Homebrew tap Brewsci/bio
  • HP-UX 11.31
  • IBM i
  • just-install
  • KaOS
  • KaOS Build
  • KaOS kde-next
  • KDE neon Dev Stable
  • KDE neon Dev Unstable
  • KDE neon User
  • KDE neon User LTS
  • KISS Linux Community
  • KISS Linux Games
  • KISS Linux Main
  • Kwort 4.3.2
  • Kwort 4.3.3
  • Kwort 4.3.4
  • Libregamewiki
  • Linux Mint 17
  • Linux Mint 17.1
  • Linux Mint 17.2
  • Linux Mint 17.3
  • Linux Mint 18
  • Linux Mint 18.1
  • Linux Mint 18.2
  • Linux Mint 18.3
  • Linux Mint 19
  • Linux Mint 19.1
  • Linux Mint 19.2
  • Linux Mint 19.3
  • Linux Mint 20.0
  • Linux Mint 20.1
  • Linuxbrew
  • LMDE 4
  • LuaRocks
  • Maemo Fremantle
  • Mageia 6
  • Mageia 7
  • Mageia Cauldron
  • MELPA
  • MidnightBSD mports
  • MSYS2 mingw
  • MSYS2 msys2
  • MX Linux MX-15
  • MX Linux MX-15 Testing
  • MX Linux MX-16
  • MX Linux MX-17
  • MX Linux MX-17 Testing
  • MX Linux MX-19
  • MX Linux MX-19 Testing
  • NeuroDebian data
  • NeuroDebian Debian 8
  • NeuroDebian Debian 9
  • NeuroDebian Debian 10
  • NeuroDebian Debian Unstable
  • NeuroDebian Ubuntu 14.04
  • NeuroDebian Ubuntu 16.04
  • NeuroDebian Ubuntu 18.04
  • NeuroDebian Ubuntu 19.04
  • Npackd Stable
  • Npackd Stable64
  • Npackd Unstable
  • OpenBSD Ports
  • openEuler 20.03
  • OpenIndiana packages
  • openmamba
  • OpenMandriva 4.0
  • OpenMandriva 4.1
  • OpenMandriva Rolling
  • OpenMandriva Cooker
  • OpenPKG
  • openSUSE Leap 42.3
  • openSUSE Leap 15.0
  • openSUSE Leap 15.1
  • openSUSE Leap 15.2
  • openSUSE Tumbleweed
  • openSUSE Education Tumbleweed
  • openSUSE Emulators Tumbleweed
  • openSUSE Games Tumbleweed
  • openSUSE Graphics Tumbleweed
  • openSUSE Hardware:SDR Tumbleweed
  • openSUSE Multimedia:Apps Tumbleweed
  • openSUSE Multimedia:Libs Tumbleweed
  • openSUSE Network Tumbleweed
  • openSUSE Science Tumbleweed
  • openSUSE Security Tumbleweed
  • OpenWrt 17.01 x86_64
  • OpenWrt 18.06 x86_64
  • OpenWrt 19.07 x86_64
  • OS4Depot
  • PackMan openSUSE Leap 42.3
  • PackMan openSUSE Leap 15.0
  • PackMan openSUSE Leap 15.1
  • PackMan openSUSE Leap 15.2
  • PackMan openSUSE Tumbleweed
  • PackMan SLE 12
  • PackMan SLE 15
  • Parabola Testing
  • Pardus 17
  • PCLinuxOS
  • Pisi Linux
  • Pisi Linux Contrib
  • pkgsrc current
  • PLD Linux
  • PyPI
  • Raspbian Oldstable
  • Ravenports
  • ReactOS rapps
  • RebornOS
  • Rosa 2014.1
  • Rosa 2016.1
  • Rosa 2019.1
  • Rosa Server 6.9
  • Rosa Server 7.3
  • Rosa Server 7.5
  • RPM Fusion EL 6
  • RPM Fusion EL 7
  • RPM Fusion EL 8
  • RPM Fusion Fedora 31
  • RPM Fusion Fedora 32
  • RPM Fusion Fedora 33
  • RPM Fusion Fedora Rawhide
  • RPM Sphere
  • RubyGems
  • Sabayon
  • Sabayon for-gentoo
  • Salix 14.2
  • Scientific Linux 7.x
  • Scoop
  • Siduction
  • Siduction Experimental
  • Slackware 14.2
  • Slackware current
  • Slackware64 14.2
  • Slackware64 current
  • Slackwarearm 14.2
  • Slackwarearm current
  • SliTaz Cooking
  • SliTaz Next
  • Solus
  • Sparky Stable
  • Sparky Testing
  • Stackage LTS Haskell
  • Stackage Nightly
  • T2 SDE
  • Tails stable
  • Tails devel
  • Termux
  • Trisquel 6.0
  • Trisquel 6.0 backports
  • Trisquel 7.0
  • Trisquel 7.0 backports
  • Trisquel 8.0
  • Trisquel 8.0 backports
  • Trisquel 9.0 backports
  • Ubuntu 12.04
  • Ubuntu 12.04 Backports
  • Ubuntu 14.04
  • Ubuntu 14.04 Backports
  • Ubuntu 16.04
  • Ubuntu 16.04 Backports
  • Ubuntu 18.04 Backports
  • Ubuntu 20.04 Proposed
  • Ubuntu 20.10 Proposed
  • UnitedRPMs Fedora 30
  • UnitedRPMs Fedora 31
  • UnitedRPMs Fedora 32
  • UnitedRPMs Fedora 33
  • Vcpkg
  • Void Linux x86_64
  • Wikidata
  • winget
  • YACP