[ Source: cadical ]
Paketti: libcadical-dev (2.1.3-3) [universe]
Tietoa
published in section universe
Ubuntu-palvelut:
Source Package cadical:
Ylläpitäjä:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Mail Archive)
- Scott Talbert
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Kotisivu [fmv.jku.at]
Samankaltaisia paketteja:
Simplified Satisfiability Solver (development files)
Imuroi libcadical-dev
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 466.6 kt | 2,302.0 kt | [tiedostoluettelo] |
| arm64 | 473.1 kt | 2,299.0 kt | [tiedostoluettelo] |
| armhf | 451.6 kt | 1,560.0 kt | [tiedostoluettelo] |
| ppc64el | 523.1 kt | 2,585.0 kt | [tiedostoluettelo] |
| riscv64 | 2,578.8 kt | 23,931.0 kt | [tiedostoluettelo] |
| s390x | 518.1 kt | 2,422.0 kt | [tiedostoluettelo] |