» Ubuntu » Paquets » tenacious » libdevel » libcadical-dev
[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]
[ Paquet source : cadical  ]

Paquet : libcadical-dev (2.1.3-3) [universe]

À propos

Screenshot

published in section universe

Ressources Ubuntu :

Source Package cadical:

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

Simplified Satisfiability Solver (development files)

Télécharger libcadical-dev

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 466,6 ko2 302,0 ko [liste des fichiers]
arm64 473,1 ko2 299,0 ko [liste des fichiers]
armhf 451,6 ko1 560,0 ko [liste des fichiers]
ppc64el 523,1 ko2 585,0 ko [liste des fichiers]
riscv64 2 578,8 ko23 931,0 ko [liste des fichiers]
s390x 518,1 ko2 422,0 ko [liste des fichiers]