Paketti: eprover-dbgsym (3.2.0+ds-1 ja muut) [debports]

[ Source:  ]

debug symbols for eprover

Muut pakettiin eprover-dbgsym liittyvät paketit

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

  Equational theorem prover

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

  dep: eprover (= 3.2.0+ds-1) [ei ia64, riscv64]

Imuroi eprover-dbgsym

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	3.2.0+ds-1	137.7 kt	900.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	3.2.0+ds-1	135.3 kt	750.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	3.0.03+ds-1	181.9 kt	1,224.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	3.2.0+ds-1	138.5 kt	744.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	3.2.0+ds-1	126.2 kt	972.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	2.6+ds-3+b1	115.6 kt	774.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	3.2.0+ds-1	139.2 kt	1,850.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	3.2.0+ds-1	138.7 kt	918.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	3.2.0+ds-1	129.8 kt	740.0 kt	[tiedostoluettelo]