all options
bookworm  ] [  sid  ]

Source Package: coq-gappa (1.5.2-4)

Links for coq-gappa

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-gappa
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-4.dsc 2.0 kB 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71.8 kB 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1.9 kB 22d8be9df660c8d92ea2683d828e8b88
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-gappa.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-gappa