[ sid ]

[ Pakiet źródłowy: ]

Pakiet: libcryptominisat5-5.11-dbgsym (5.11.4+dfsg1-3) [debports]

Odnośniki dla libcryptominisat5-5.11-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for libcryptominisat5-5.11

Inne pakiety związane z libcryptominisat5-5.11-dbgsym

wymaga

poleca

sugeruje

enhances

dep: libcryptominisat5-5.11 (= 5.11.4+dfsg1-3)

SAT solver library

Pobieranie libcryptominisat5-5.11-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
riscv64 (port nieoficjalny)	5 555,7 KiB	5 700,0 KiB	[lista plików]