Pakiet: cvc4-dbgsym (1.8-3 i inne) [debports]

[ Pakiet źródłowy:  ]

debug symbols for cvc4

Inne pakiety związane z cvc4-dbgsym

• dep: cvc4 (= 1.5-1) [hppa]

  automated theorem prover for SMT problems

  dep: cvc4 (= 1.8-3) [riscv64]

  dep: cvc4 (= 1.8-3+b2) [nie hppa, riscv64]

Pobieranie cvc4-dbgsym

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.8-3+b2	964,6 KiB	1 005,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.5-1	3 100,0 KiB	3 236,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1.8-3+b2	1 016,0 KiB	1 056,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.8-3+b2	932,2 KiB	967,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.8-3+b2	975,0 KiB	1 023,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	1.8-3	863,3 KiB	905,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.8-3+b2	954,3 KiB	994,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.8-3+b2	969,9 KiB	1 005,0 KiB	[lista plików]