packagesPaquet source : python-pycosat (0.6.6+dfsg-2build2) [universe]
Liens pour python-pycosat
Ressources Ubuntu :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Med Packaging Team (Archive du courrier électronique)
- Andreas Tille
It should generally not be necessary for users to contact the original maintainer.
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: python3-setuptools
- Python3 Distutils Enhancements
-
- adep: picosat
- SAT solver with proof and core support
Download python-pycosat
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| python-pycosat_0.6.6+dfsg-2build2.dsc | 2,1 ko | a41342b3b51c6a580165045eb325847f |
| python-pycosat_0.6.6+dfsg.orig.tar.xz | 28,3 ko | 039f700026038bf5e9cc57093cd94d1b |
| python-pycosat_0.6.6+dfsg-2build2.debian.tar.xz | 3,2 ko | ace59d4232a507c8657e86aeb3616d83 |
- 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