Versions Packages Information History Badges Report

Versions for cvc3

21 package(s) known

Repository Package name Version Category Maintainer(s)
Debian 8
jessie/main
cvc3 2.4.1 math mdeters@morgandeters.com
Debian 9
stretch/main
cvc3 2.4.1 math mdeters@morgandeters.com
Devuan 1.0 (Jessie)
jessie/main
cvc3 2.4.1 math mdeters@morgandeters.com
Devuan 2.0 (ASCII)
ascii/main
cvc3 2.4.1 math mdeters@morgandeters.com
DPorts math/cvc3 2.4.1 math lwhsu@freebsd.org
FreeBSD Ports math/cvc3 2.4.1 math lwhsu@freebsd.org
Funtoo 1.4
science-kit
sci-mathematics/cvc3 2.4.1 sci-mathematics gienah@gentoo.org, sci-mathematics@gentoo.org
nixpkgs stable 21.05 cvc3 2.4.1 - 7c6f434c@mail.ru
nixpkgs unstable cvc3 2.4.1 - 7c6f434c@mail.ru
Pardus 17
main
cvc3 2.4.1 math mdeters@morgandeters.com
PLD Linux cvc3 2.4.1 - -
Raspbian Oldstable
main
cvc3 2.4.1 math mdeters@morgandeters.com
Rosa 2014.1
contrib/release
cvc3 2.4.1 - -
Rosa 2016.1
contrib/release
cvc3 2.4.1 - -
Trisquel 6.0
toutatis/main
cvc3 2.2 universe/math cconway@cs.nyu.edu
Trisquel 7.0
belenos/main
cvc3 2.4.1 universe/math ubuntu-devel-discuss@lists.ubuntu.com
Trisquel 8.0
flidas/main
cvc3 2.4.1 universe/math ubuntu-devel-discuss@lists.ubuntu.com
Trisquel 9.0
etiona/main
cvc3 2.4.1 universe/math ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 14.04
trusty/universe
cvc3 2.4.1 universe/math ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 16.04
xenial/universe
cvc3 2.4.1 universe/math ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 18.04
bionic/universe
cvc3 2.4.1 universe/math ubuntu-devel-discuss@lists.ubuntu.com