Package - qepcad
Primary informations
Download package: http://deb.debian.org/debian/pool/main/q/qepcad/qepcad_1.74+ds-5_amd64.deb (Size: 435.4KiB)| Property | Value |
|---|---|
| Package | qepcad |
| Version | 1.74+ds-5 |
| Installed-Size | 1754 |
| Maintainer | Debian Math Team |
| Architecture | amd64 |
| Depends | singular, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgl1, libglu1-mesa | libglu1, libglut3.12 (>= 3.4.0), libreadline8t64 (>= 6.0), libstdc++6 (>= 14) |
| Description | quantifier elimination tool |
| Description-md5 | 80c6c87c9eb75d49bac09b4ddbc2f13a |
| Homepage | https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html |
| Section | math |
| Priority | optional |
| Filename | pool/main/q/qepcad/qepcad_1.74+ds-5_amd64.deb |
| Size | 445832 |
| MD5sum | d0e8d0c31593c522bca12af55d6c6ea9 |
| SHA256 | 0a18d3341ed40ed067f15db2f2608738dd2141771aeeb1e2a0364db5564a3732 |
Files in package
- /usr/bin/cad2d
- /usr/bin/qepcad
- /usr/lib/qepcad/bin/ADJ2D_plot
- /usr/lib/qepcad/bin/qepcad.help
- /usr/lib/qepcad/default.qepcadrc
- /usr/share/doc/qepcad/README.Debian
- /usr/share/doc/qepcad/changelog.Debian.gz
- /usr/share/doc/qepcad/copyright
- /usr/share/man/man1/cad2d.1.gz
- /usr/share/man/man1/qepcad.1.gz