11 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| nixpkgs stable 21.11 | cvc3 | 2.4.1 | - | 7c6f434c@mail.ru |
| nixpkgs stable 22.05 | cvc3 | 2.4.1 | - | 7c6f434c@mail.ru |
| nixpkgs stable 22.11 | cvc3 | 2.4.1 | - | 7c6f434c@mail.ru |
| nixpkgs stable 23.05 | cvc3 | 2.4.1 | - | 7c6f434c@mail.ru |
| nixpkgs unstable | cvc3 | 2.4.1 | - | 7c6f434c@mail.ru |
| PLD Linux | cvc3 | 2.4.1 | - | - |
|
Rosa 2014.1 contrib/release |
cvc3 | 2.4.1 | - | - |
|
Rosa 2016.1 contrib/release |
cvc3 | 2.4.1 | - | - |
|
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 |