Källkodspaket: minisat2 (1:2.2.1-5)
Länkar för minisat2
Debianresurser:
- Felrapporter
- Developer Information
- Ändringslogg för Debian
- Upphovsrättsfil
- Debians källkodsarkiv (Git)
- Debian Patch Tracker
Ansvarig:
Externa resurser:
- Hemsida [minisat.se]
Följande binärpaket byggs från detta källkodspaket:
Andra paket besläktade med minisat2
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- adep: libz-dev
- virtuellt paket som tillhandahålls av zlib1g-dev
Download minisat2
| Fil | Storlek (i kbyte) | MD5-kontrollsumma |
|---|---|---|
| minisat2_2.2.1-5.dsc | 1,8 kbyte | 54b0cf7d1d8c9efde4fd7af834a8d4a2 |
| minisat2_2.2.1.orig.tar.gz | 43,2 kbyte | 27faa19ee0508660bd6fb7f894646d42 |
| minisat2_2.2.1-5.debian.tar.xz | 9,1 kbyte | e955db0db0eb10fa1d71e5858e60ee33 |
- Debians paketkällkodsarkiv- (VCS: Git)
- git://gitorious.org/minisat-debian/minisat2.git
- Debians paketkällkodsarkiv (blädderbart)
- http://github.com/niklasso/minisat