Paket: eprover-dbgsym (3.0.03+ds-1 och andra) [debports]

Länkar för eprover-dbgsym

Hittades ej

dep: eprover (= 2.6+ds-3+b1) [riscv64]

Equational theorem prover

dep: eprover (= 3.0.03+ds-1) [ej riscv64]

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	3.0.03+ds-1	185,0 kbyte	1.221,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	3.0.03+ds-1	178,2 kbyte	985,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	3.0.03+ds-1	181,9 kbyte	1.224,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	3.0.03+ds-1	178,7 kbyte	954,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	3.0.03+ds-1	160,5 kbyte	1.274,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	2.6+ds-3+b1	115,6 kbyte	774,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	3.0.03+ds-1	180,3 kbyte	2.016,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	3.0.03+ds-1	176,5 kbyte	1.220,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	3.0.03+ds-1	161,7 kbyte	949,0 kbyte	[filförteckning]