[ sid ]
Paket: kissat-dbgsym (4.0.3-2) [debports]
Links für kissat-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for kissat
Andere Pakete mit Bezug zu kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
kissat-dbgsym herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| alpha (inoffizielle Portierung) | 1.526,1 kB | 3.090,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 1.519,2 kB | 2.915,0 kB | [Liste der Dateien] |
| loong64 (inoffizielle Portierung) | 1.597,9 kB | 16.121,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 1.447,2 kB | 2.857,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 1.600,9 kB | 3.267,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 1.853,4 kB | 3.052,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 1.534,7 kB | 3.060,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 1.577,4 kB | 2.173,0 kB | [Liste der Dateien] |