libcoq-gappa (1.7.0-1build4)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- coq-gappa
- Architecture
- arm64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.4 kB
- Size expected
- 649.3 kB
- Size actual
- 649.3 kB
- Size match
Suggested packages
Recommended additional packages
- None
Description
Coq tactic to use Gappa for floating-point goals
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 654c7516…6fadb5ba | |
| SHA-1 | ffdc0be1…b7da4c30 | |
| SHA-256 | 998d01d4…b16c7f8d | |
| SHA-512 | a8bee490…69557bc3 |
Contents
Files and directories included
. usr usr/lib usr/lib/aarch64-linux-gnu usr/lib/aarch64-linux-gnu/ocaml usr/lib/aarch64-linux-gnu/ocaml/5.4.0 usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_common.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_decimal.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_definitions.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_dyadic.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_fixed.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_float.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_library.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_obfuscate.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_pred_abs.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_pred_bnd.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_pred_lin.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_pred_nzr.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_pred_rel.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_real.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_rewriting.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_round.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_round_aux.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_round_def.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_tactic.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_tactic_loader.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_tree.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Gappa/Gappa_user.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-gappa usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-gappa/META usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-gappa/gappatac.cmo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-gappa/gappatac.cmxs usr/share usr/share/doc usr/share/doc/libcoq-gappa usr/share/doc/libcoq-gappa/changelog.Debian.gz usr/share/doc/libcoq-gappa/copyright usr/share/doc/libcoq-gappa/examples 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 var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-gappa.checksum