Source Package: minisat2 (1:2.2.1-5build2)
Links for minisat2
Trisquel-palvelut:
Ylläpitäjä:
Original Maintainer:
- Michael Tautschnig
External Resources:
- Kotisivu [minisat.se]
Seuraavat binääripaketit on käännetty tästä lähdepaketista:
Muut pakettiin minisat2 liittyvät paketit
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- adep: libz-dev
- näennäispaketti, jonka toteuttaa zlib1g-dev
Download minisat2
Tiedosto | Koko (kt) | MD5-tarkiste |
---|---|---|
minisat2_2.2.1-5build2.dsc | 1.9 kt | ae27ea1e57431333566df0a0cdd16968 |
minisat2_2.2.1.orig.tar.gz | 43.2 kt | 27faa19ee0508660bd6fb7f894646d42 |
minisat2_2.2.1-5build2.debian.tar.xz | 9.3 kt | c180b8f53a278f09891d07db771eb1f4 |
- Debian Package Source Repository (VCS: Git)
- git://gitorious.org/minisat-debian/minisat2.git
- Debian Package Source Repository (Browsable)
- http://github.com/niklasso/minisat