[ sid ]
Pakket: kissat-dbgsym (4.0.3-2) [debports]
Verwijzigingen voor kissat-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
- xen-utils-4.20-dbg
- gfortran-13-sparc64-linux-gnu-dbgsym
- default-jdk
- binutils-aarch64-linux-gnu-dbg
- binutils-alpha-linux-gnu-dbg
- binutils-arm-linux-gnueabi-dbg
- binutils-arm-linux-gnueabihf-dbg
- binutils-hppa-linux-gnu-dbg
- binutils-hppa64-linux-gnu-dbg
- binutils-i686-gnu-dbg
- binutils-i686-kfreebsd-gnu-dbg
debug symbols for kissat
Andere aan kissat-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
kissat-dbgsym downloaden
| Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|
| alpha (unofficial port) | 1.526,1 kB | 3.090,0 kB | [overzicht] |
| hppa (unofficial port) | 1.519,2 kB | 2.915,0 kB | [overzicht] |
| loong64 (unofficial port) | 1.597,9 kB | 16.121,0 kB | [overzicht] |
| m68k (unofficial port) | 1.447,2 kB | 2.857,0 kB | [overzicht] |
| ppc64 (unofficial port) | 1.600,9 kB | 3.267,0 kB | [overzicht] |
| sh4 (unofficial port) | 1.853,4 kB | 3.052,0 kB | [overzicht] |
| sparc64 (unofficial port) | 1.534,7 kB | 3.060,0 kB | [overzicht] |
| x32 (unofficial port) | 1.577,4 kB | 2.173,0 kB | [overzicht] |