Paquet source : python-pycosat (0.6.6+dfsg-1)
Liens pour python-pycosat
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Dépôt de source Debian (Git)
- Suivis des correctifs pour Debian
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- python3-pycosat
- Python bindings to picosat
Autres paquets associés à python-pycosat
|
|
-
- adep: debhelper-compat (= 13)
- Paquet indisponible
-
- adep: dh-sequence-python3
- paquet virtuel fourni par dh-python
-
- adep: python3-all-dev
- package depending on all supported Python 3 development packages
-
- adep: picosat
- solveur SAT avec gestion de démonstrations et « core »
-
- adep: debhelper
- programmes assistants pour debian/rules
Download python-pycosat
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| python-pycosat_0.6.6+dfsg-1.dsc | 2,1 ko | 3bbff7adb0177b55f7272b911ed3c4d7 |
| python-pycosat_0.6.6+dfsg.orig.tar.xz | 28,3 ko | 039f700026038bf5e9cc57093cd94d1b |
| python-pycosat_0.6.6+dfsg-1.debian.tar.xz | 3,0 ko | 8759755867e595fef3fd10a5cde15660 |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/med-team/python-pycosat.git
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/med-team/python-pycosat