all options
bookworm  ] [  sid  ]

Source Package: coq-gappa (1.5.2-5)

Links for coq-gappa

Debian Resources:


External Resources:

The following binary packages are built from this source package:
Coq tactic to use Gappa for floating-point goals

Other Packages Related to coq-gappa

  • build-depends
  • build-depends-indep

Download coq-gappa

FileSize (in kB)MD5 checksum
coq-gappa_1.5.2-5.dsc 2.0 kB 338cff75f579d7fc27afdf1113a98108
coq-gappa_1.5.2.orig.tar.bz2 71.8 kB 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-5.debian.tar.xz 2.0 kB e8afa5036be67bee1682a0ebdb738a51
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)