[ sid ]

[ Pakiet źródłowy: ]

Pakiet: libcoq-simple-io-dbgsym (1.8.0-3 i inne) [debports]

Odnośniki dla libcoq-simple-io-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for libcoq-simple-io

Inne pakiety związane z libcoq-simple-io-dbgsym

wymaga

poleca

sugeruje

enhances

dep: libcoq-simple-io (= 1.8.0-3+b1)

Coq plugin for purely functional IO

Pobieranie libcoq-simple-io-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
riscv64 (port nieoficjalny)	1.8.0-3+b1	5,2 KiB	37,0 KiB	[lista plików]