Package - libcoq-gappa

Package:  libcoq-gappa
apt-get install libcoq-gappa
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-gappa/libcoq-gappa_1.7.0-1+b1_amd64.deb (Size: 537.8KiB)

PropertyValue
Packagelibcoq-gappa
Sourcecoq-gappa (1.7.0-1)
Version1.7.0-1+b1
Installed-Size1385
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-gappa-kfy83
Dependsgappa, libcoq-flocq-61k63, libcoq-stdlib-68yx1
DescriptionCoq tactic to use Gappa for floating-point goals
Description-md5d29401f049a277a5f2cc3ee885c0c926
Homepagehttps://gappa.gitlabpages.inria.fr
Sectionmath
Priorityoptional
Filenamepool/main/c/coq-gappa/libcoq-gappa_1.7.0-1+b1_amd64.deb
Size550700
MD5sum7f2ab17dc10a57833d75c585d496621a
SHA256e99fbb99bdaf5faa42f10238d4f75804f60984b15efa4f997ca2e9eb728011ba

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-gappa/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-gappa/gappatac.cmo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-gappa/gappatac.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_common.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_decimal.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_definitions.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_dyadic.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_fixed.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_float.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_library.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_obfuscate.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_pred_abs.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_pred_bnd.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_pred_lin.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_pred_nzr.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_pred_rel.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_real.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_rewriting.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_round.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_round_aux.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_round_def.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_tactic.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_tactic_loader.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_tree.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Gappa/Gappa_user.vo
  • /usr/share/doc/libcoq-gappa/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-gappa/changelog.Debian.gz
  • /usr/share/doc/libcoq-gappa/copyright
  • /usr/share/doc/libcoq-gappa/examples/example-20080417.v
  • /usr/share/doc/libcoq-gappa/examples/example-20090706.v
  • /usr/share/doc/libcoq-gappa/examples/example-20101018.v
  • /usr/share/doc/libcoq-gappa/examples/example-20250218.v
  • /var/lib/coq/md5sums/libcoq-gappa.checksum