Versions Packages Information History Badges Report

Packages for cvc3

23 package(s) known

cvc3

2.4.1 (2.4.1-5)

cvc3

2.4.1 (2.4.1-5.1)

math/cvc3

2.4.1 (2.4.1_7)

math/cvc3

2.4.1 (2.4.1_7)
Funtoo 1.4
science-kit

sci-mathematics/cvc3

2.4.1 (2.4.1-r1)

cvc3

2.4.1

cvc3

2.4.1
Pardus
main

cvc3

2.4.1 (2.4.1-5.1)

cvc3

2.4.1 (2.4.1-1)

cvc3

2.4.1 (2.4.1-5.1)

cvc3

2.4.1 (2.4.1-5.1)
Rosa 2014.1
contrib/release

cvc3

2.4.1 (2.4.1-2)
Rosa 2016.1
contrib/release

cvc3

2.4.1 (2.4.1-4)
Trisquel 6.0
toutatis/main

cvc3

2.2 (2.2-13.1)
Trisquel 7.0
belenos/main

cvc3

2.4.1 (2.4.1-4ubuntu1)
Trisquel 8.0
flidas/main

cvc3

2.4.1 (2.4.1-5ubuntu1)
Trisquel 9.0
etiona/main

cvc3

2.4.1 (2.4.1-5.1ubuntu1)
Ubuntu 12.04
precise/universe

cvc3

2.2 (2.2-13.1)