qepcad (1.74+ds-5)

Details

Core information at a glance

Distribution: debian
Origin: debian-forky
Repository: https://deb.debian.org/debian
Codename: forky
Component: main
Source: none
Architecture: s390x
Section: math
Priority: optional
Maintainer: Debian Math Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 1.9 kB
Size expected: 443.7 kB
Size actual: 443.7 kB
Size match

Dependencies

Required package dependencies

singular
libc6 (>= 2.38)
libgcc-s1 (>= 3.0)
libgl1
libglu1-mesa | libglu1
libglut3.12 (>= 3.4.0)
libreadline8t64 (>= 6.0)
libstdc++6 (>= 14)

Suggested packages

Recommended additional packages

None

Description

quantifier elimination tool

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	2486a17f…e45a61b8	2486a17f…e45a61b8
SHA-1	Not provided	25902de5…7a34cf67
SHA-256	895f3823…e40d591d	895f3823…e40d591d
SHA-512	Not provided	d51b9791…0e297a75

Files and directories included

.
usr
usr/bin
usr/bin/cad2d
usr/bin/qepcad
usr/lib
usr/lib/qepcad
usr/lib/qepcad/bin
usr/lib/qepcad/bin/ADJ2D_plot
usr/lib/qepcad/bin/qepcad.help
usr/lib/qepcad/default.qepcadrc
usr/share
usr/share/doc
usr/share/doc/qepcad
usr/share/doc/qepcad/README.Debian
usr/share/doc/qepcad/changelog.Debian.gz
usr/share/doc/qepcad/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/cad2d.1.gz
usr/share/man/man1/qepcad.1.gz