[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Källkodspaket: minisat2 (1:2.2.1-8)

Länkar för minisat2

Debianresurser:

Ansvarig:

Michael Tautschnig (QA-sida)

Externa resurser:

Hemsida [minisat.se]

Följande binärpaket byggs från detta källkodspaket:

minisat: Fast and lightweight SAT solver

Andra paket besläktade med minisat2

bygg-beroende

arkitekturoberoende bygg-beroende

adep: debhelper-compat (= 13)

Paketet inte tillgängligt
adep: libz-dev

virtuellt paket som tillhandahålls av zlib1g-dev

Download minisat2

Fil	Storlek (i kbyte)	MD5-kontrollsumma
minisat2_2.2.1-8.dsc	1,7 kbyte	4e8a80b405ca661abadf8e06c5cfb075
minisat2_2.2.1.orig.tar.gz	43,2 kbyte	27faa19ee0508660bd6fb7f894646d42
minisat2_2.2.1-8.debian.tar.xz	9,6 kbyte	262370b7be51773ccbedea58c59bd1df