Package - libcoq-equations
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-equations/libcoq-equations_1.3.1-8.20-1+b4_amd64.deb (Size: 1.2MiB)| Property | Value |
|---|---|
| Package | libcoq-equations |
| Source | coq-equations (1.3.1-8.20-1) |
| Version | 1.3.1-8.20-1+b4 |
| Installed-Size | 7224 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-equations-502f2 |
| Depends | libcoq-hott-am2q4, libcoq-stdlib-68yx1 |
| Description | Coq library to work with functions defined by equations |
| Description-md5 | 33a517ad7548092fab1b723f4ca09c95 |
| Homepage | https://github.com/mattam82/Coq-Equations |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-equations/libcoq-equations_1.3.1-8.20-1+b4_amd64.deb |
| Size | 1209136 |
| MD5sum | ebed342411d55f7b8c1433347400cc4a |
| SHA256 | 7106803ced6cb8e106d151276129880d6751e8156ac7f5127073d452b352a132 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/context_map.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/context_map.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/covering.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/covering.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/depelim.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/depelim.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/ederive.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/ederive.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/eqdec.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/eqdec.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations_common.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations_common.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/extra_tactics.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/extra_tactics.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/g_equations.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/g_equations.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/noconf.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/noconf.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/noconf_hom.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/noconf_hom.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/principles.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/principles.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/principles_proofs.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/principles_proofs.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/sigma_types.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/sigma_types.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/simplify.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/simplify.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/splitting.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/splitting.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/subterm.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/subterm.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/syntax.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/syntax.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/CoreTactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/CoreTactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/CoreTactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Init.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Init.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Init.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Classes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Classes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Classes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Constants.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Constants.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Constants.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/DepElim.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/DepElim.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/DepElim.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/EqDec.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/EqDec.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/EqDec.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/EqDecInstances.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/EqDecInstances.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/EqDecInstances.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Equations.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Equations.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Equations.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/FunctionalInduction.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/FunctionalInduction.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/FunctionalInduction.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Loader.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Loader.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Loader.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Logic.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Logic.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Logic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoConfusion.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoConfusion.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoConfusion.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoConfusion_UIP.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoConfusion_UIP.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoConfusion_UIP.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoCycle.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoCycle.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/NoCycle.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/OpaqueEquations.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/OpaqueEquations.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/OpaqueEquations.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/SigmaNotations.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/SigmaNotations.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/SigmaNotations.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Subterm.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Subterm.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Subterm.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Telescopes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Telescopes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/Telescopes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/TransparentEquations.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/TransparentEquations.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Prop/TransparentEquations.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Signature.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Signature.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Signature.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/All.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/All.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/All.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Classes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Classes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Classes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Constants.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Constants.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Constants.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/DepElim.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/DepElim.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/DepElim.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/EqDec.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/EqDec.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/EqDec.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/EqDecInstances.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/EqDecInstances.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/EqDecInstances.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/FunctionalExtensionality.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/FunctionalExtensionality.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/FunctionalExtensionality.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/FunctionalInduction.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/FunctionalInduction.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/FunctionalInduction.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Loader.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Loader.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Loader.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Logic.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Logic.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Logic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/NoConfusion.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/NoConfusion.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/NoConfusion.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Relation.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Relation.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Relation.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Relation_Properties.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Relation_Properties.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Relation_Properties.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Subterm.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Subterm.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Subterm.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Telescopes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Telescopes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/Telescopes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/WellFounded.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/WellFounded.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/WellFounded.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/WellFoundedInstances.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/WellFoundedInstances.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/Type/WellFoundedInstances.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Equations/equations_plugin.cmxs
- /usr/share/doc/libcoq-equations/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-equations/changelog.Debian.gz
- /usr/share/doc/libcoq-equations/changelog.gz
- /usr/share/doc/libcoq-equations/copyright
- /usr/share/doc/libcoq-equations/examples/AlmostFull.v
- /usr/share/doc/libcoq-equations/examples/Basics.v
- /usr/share/doc/libcoq-equations/examples/Fin.v
- /usr/share/doc/libcoq-equations/examples/HoTT_light.v
- /usr/share/doc/libcoq-equations/examples/Makefile.local
- /usr/share/doc/libcoq-equations/examples/MoreDep.v
- /usr/share/doc/libcoq-equations/examples/POPLMark1a.v
- /usr/share/doc/libcoq-equations/examples/RoseTree.v
- /usr/share/doc/libcoq-equations/examples/STLC.v
- /usr/share/doc/libcoq-equations/examples/_CoqProject
- /usr/share/doc/libcoq-equations/examples/_HoTTProject
- /usr/share/doc/libcoq-equations/examples/accumulator.v
- /usr/share/doc/libcoq-equations/examples/bove_capretta.v
- /usr/share/doc/libcoq-equations/examples/definterp.v
- /usr/share/doc/libcoq-equations/examples/definterp_scope.v
- /usr/share/doc/libcoq-equations/examples/definterp_simple.v
- /usr/share/doc/libcoq-equations/examples/function_iter_style.v
- /usr/share/doc/libcoq-equations/examples/general_recursion.v
- /usr/share/doc/libcoq-equations/examples/graph_complete.v
- /usr/share/doc/libcoq-equations/examples/ho_finite_branching.v
- /usr/share/doc/libcoq-equations/examples/misc.v
- /usr/share/doc/libcoq-equations/examples/mutualwfrec.v
- /usr/share/doc/libcoq-equations/examples/nested_mut_rec.v
- /usr/share/doc/libcoq-equations/examples/nm.v
- /usr/share/doc/libcoq-equations/examples/ordinals.v
- /usr/share/doc/libcoq-equations/examples/polynomials.v
- /usr/share/doc/libcoq-equations/examples/quicksort.v
- /usr/share/doc/libcoq-equations/examples/string_matching.v
- /usr/share/doc/libcoq-equations/examples/views.v
- /usr/share/doc/libcoq-equations/examples/wfrec.v
- /usr/share/lintian/overrides/libcoq-equations
- /var/lib/coq/md5sums/libcoq-equations.checksum