[ sid ]

[ Source: ]

Package: eprover-dbgsym (2.6+ds-3 and others) [debports]

Links for eprover-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for eprover

Other Packages Related to eprover-dbgsym

depends

recommends

suggests

enhances

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

Equational theorem prover

Download eprover-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
riscv64 (unofficial port)	2.6+ds-3+b1	115.6 kB	774.0 kB	[list of files]