Paket: cvc4-dbgsym (1.8-3 och andra) [debports]

[ Källkod:  ]

debug symbols for cvc4

Andra paket besläktade med 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) [ej hppa, riscv64]

Hämta cvc4-dbgsym

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	1.8-3+b2	964,6 kbyte	1.005,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	1.5-1	3.100,0 kbyte	3.236,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	1.8-3+b2	1.016,0 kbyte	1.056,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	1.8-3+b2	932,2 kbyte	967,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	1.8-3+b2	975,0 kbyte	1.023,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	1.8-3	863,3 kbyte	905,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	1.8-3+b2	954,3 kbyte	994,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	1.8-3+b2	969,9 kbyte	1.005,0 kbyte	[filförteckning]