[ sid ]

[ Source: ]

Paketti: eprover-dbgsym (3.0.03+ds-1) [debports]

Links for eprover-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for eprover

Muut pakettiin eprover-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: eprover (= 3.0.03+ds-1)

Equational theorem prover

Imuroi eprover-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
m68k (epävirallinen siirros)	178.7 kt	954.0 kt	[tiedostoluettelo]