Pakiet: coqide-dbgsym (8.17.0+dfsg-1 i inne) [debports]

[ Pakiet źródłowy:  ]

debug symbols for coqide

Inne pakiety związane z coqide-dbgsym

• dep: coqide (= 8.17.0+dfsg-1+b2)

  proof assistant for higher-order logic (gtk interface)

Pobieranie coqide-dbgsym

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
riscv64 (port nieoficjalny)	8.17.0+dfsg-1+b2	641,2 KiB	2 701,0 KiB	[lista plików]