all options
bookworm  ] [  sid  ]

Source Package: qepcad (1.74+ds-3)

Links for qepcad

Debian Resources:


External Resources:

The following binary packages are built from this source package:
quantifier elimination tool

Other Packages Related to qepcad

  • build-depends
  • build-depends-indep

Download qepcad

FileSize (in kB)MD5 checksum
qepcad_1.74+ds-3.dsc 2.0 kB b7b5b3db9e6193192259b88bb56a03b3
qepcad_1.74+ds.orig.tar.xz 249.0 kB 7d3f85d253473f6d90d83033ff22820d
qepcad_1.74+ds-3.debian.tar.xz 25.5 kB 6de574ef8a489093bbbf7e562033a054
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)