[ trixie ]
[ sid ]
Source Package: kissat (4.0.2-1)
Links for kissat
Debian-palvelut:
- Vikailmoitukset
- Developer Information
- Debian-muutosloki
- Tekijänoikeustiedosto
- Debian Source Repository (Git)
- Debian Patch Tracker
Ylläpitäjät:
External Resources:
- Kotisivu [fmv.jku.at]
Seuraavat binääripaketit on käännetty tästä lähdepaketista:
- kissat
- Keep it simple and clean bare metal SAT solver
Muut pakettiin kissat liittyvät paketit
|
|
Download kissat
| Tiedosto | Koko (kt) | MD5-tarkiste |
|---|---|---|
| kissat_4.0.2-1.dsc | 1.9 kt | a377da95e56618601a81d148f3c02369 |
| kissat_4.0.2.orig.tar.gz | 519.5 kt | 28113d8c449bd5247e18f13a79323320 |
| kissat_4.0.2-1.debian.tar.xz | 4.4 kt | e116e9e7840dde65dc4b353fbb7a97ed |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/science-team/kissat.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/science-team/kissat