12 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
|
Alpine Linux Edge testing |
yices2 | 2.6.5 | - | alpine@ptrcnull.me |
|
Alpine Linux Edge testing |
yices2-dev | 2.6.5 | - | alpine@ptrcnull.me |
|
Alpine Linux Edge testing |
yices2-libs | 2.6.5 | - | alpine@ptrcnull.me |
| Gentoo | sci-mathematics/yices2 | 2.6.5 | sci-mathematics | sci-mathematics@gentoo.org |
| Gentoo | sci-mathematics/yices2 | 2.6.4 | sci-mathematics | sci-mathematics@gentoo.org |
| Homebrew | yices2 | HEAD | - | - |
| Homebrew | yices2 | 2.6.5 | - | - |
| LiGurOS stable | sci-mathematics/yices2 | 2.6.4 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS develop | sci-mathematics/yices2 | 2.6.5 | sci-mathematics | sci-mathematics@gentoo.org |
| LiGurOS develop | sci-mathematics/yices2 | 2.6.4 | sci-mathematics | sci-mathematics@gentoo.org |
| pkgsrc current | math/yices2 | 2.6.1 | math | pkgsrc-users@netbsd.org |
| SlackBuilds | academic/yices2 | 2.6.4 | academic | - |