Balík: libcvc5-1-dbgsym (1.1.2-2 a iné) [debports]

[ Zdroj:  ]

debug symbols for libcvc5-1

Ostatné balíky súvisiace s balíkom libcvc5-1-dbgsym

• dep: libcvc5-1 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems (runtime)

  dep: libcvc5-1 (= 1.1.2-2) [nie riscv64]

Stiahnuť libcvc5-1-dbgsym

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	1.1.2-2	175,652.2 kB	178,686.0 kB	[zoznam súborov]
hppa (neoficiálny port)	1.1.2-2	172,171.2 kB	175,240.0 kB	[zoznam súborov]
m68k (neoficiálny port)	1.1.2-2	163,439.9 kB	166,293.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	1.1.2-2	174,252.0 kB	177,504.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	1.0.5-3	141,763.4 kB	145,049.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	1.1.2-2	171,056.7 kB	174,255.0 kB	[zoznam súborov]
x32 (neoficiálny port)	1.1.2-2	174,694.3 kB	178,256.0 kB	[zoznam súborov]