eprover (3.2.5+ds-1build1)

2 versions available in ubuntu/resolute/universe/armhf

Version

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-resolute
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: resolute
Component: universe
Source: eprover
Architecture: armhf
Section: universe/math
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 6.1 MB
Size expected: 868.2 kB
Size actual: 868.2 kB
Size match: match

Dependencies

Required package dependencies

libc6 (>= 2.34)
picosat (>= 959)

Recommends

Recommended package dependencies

None

Suggested packages

Recommended additional packages

None

Provides

Virtual packages provided

None

Description

Equational theorem prover

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual	Match
MD5	fa7e15fe…51234aee	fa7e15fe…51234aee	match
SHA-1	942c320a…a758a460	942c320a…a758a460	match
SHA-256	1c60700c…9c7f6ae0	1c60700c…9c7f6ae0	match
SHA-512	1b50933a…b6e8dfb6	1b50933a…b6e8dfb6	match

Files and directories included

.
usr
usr/bin
usr/bin/checkproof
usr/bin/e_axfilter
usr/bin/e_deduction_server
usr/bin/e_ltb_runner
usr/bin/e_stratpar
usr/bin/eground
usr/bin/ekb_create
usr/bin/ekb_delete
usr/bin/ekb_ginsert
usr/bin/ekb_insert
usr/bin/epclextract
usr/bin/eprover
usr/share
usr/share/doc
usr/share/doc/eprover
usr/share/doc/eprover/changelog.Debian.gz
usr/share/doc/eprover/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/checkproof.1.gz
usr/share/man/man1/e_axfilter.1.gz
usr/share/man/man1/e_deduction_server.1.gz
usr/share/man/man1/e_ltb_runner.1.gz
usr/share/man/man1/e_stratpar.1.gz
usr/share/man/man1/eground.1.gz
usr/share/man/man1/ekb_create.1.gz
usr/share/man/man1/ekb_delete.1.gz
usr/share/man/man1/ekb_ginsert.1.gz
usr/share/man/man1/ekb_insert.1.gz
usr/share/man/man1/epclextract.1.gz
usr/share/man/man1/eprover.1.gz

Versions

2 versions in this repository slot, newest first