[ sid ]

[ Pakiet źródłowy: ]

Pakiet: why3-dbgsym (1.3.3-3) [debports]

Odnośniki dla why3-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for why3

Inne pakiety związane z why3-dbgsym

wymaga

poleca

sugeruje

enhances

dep: why3 (= 1.3.3-3)

Software verification platform

Pobieranie why3-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
x32 (port nieoficjalny)	85,5 KiB	244,0 KiB	[lista plików]