[ Paquet source : minisat2 ]
Paquet : minisat2 (1:2.2.1-5 et autres)
Liens pour minisat2
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source minisat2 :
Responsable :
Ressources externes :
- Page d'accueil [minisat.se]
Paquets similaires :
paquet de transition pour minisat
Il s’agit d’un paquet de transition pour minisat, pouvant être supprimé sans danger après la fin de l’installation.
Paquets fournissant minisat2
- minisat
- solveur SAT rapide et léger
Autres paquets associés à minisat2
|
|
|
|
-
- dep: minisat
- solveur SAT rapide et léger
Télécharger minisat2
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 1:2.2.1-5+b3 | 5,1 ko | 13,0 ko | [liste des fichiers] |
| arm64 | 1:2.2.1-5+b3 | 5,1 ko | 13,0 ko | [liste des fichiers] |
| armhf | 1:2.2.1-5+b3 | 5,1 ko | 13,0 ko | [liste des fichiers] |
| i386 | 1:2.2.1-5+b3 | 5,1 ko | 13,0 ko | [liste des fichiers] |