Parents (Total: 11)

The searched file hash is included in 11 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	5138884
MD5	2177DB3CA6A5E5C9292CCA72A74F9B4F
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	8EF84B551C6CA03FF58BC1C92CF206F75D213098
SHA-256	9704595BDA28C9F6A371D8D48F86D2ABBCD5CCBCAEEC8BD1E4C05036745D1C41

Key	Value
MD5	2188C0D66F938E41A580F36C5DD14CEF
PackageArch	aarch64
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	3.fc24
PackageVersion	0.87.0
SHA-1	88BEF06E189207AE2FD9E662B257B15E9B411914
SHA-256	BC90C2FD9BA1170CF1C2E272296A3EC721471F9A04117FBAB2D718516F222F56

Key	Value
FileSize	5137674
MD5	61C521ACB3CBB38AF1E306FAF6EA6556
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	F6F916870107B910AF0ECE8C2DC3C7DA4498034A
SHA-256	7A6D04457960744D9A114EE3DA258711F00AB0E38BD9C2B81B7A7C40935CFCE5

Key	Value
FileSize	5182312
MD5	E5D7DB3BE37274DFDA2A842F95D9200B
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	71F87FD0787BF155FE78D0C6FF99C0C776A68F9B
SHA-256	0BA40A89E620999D2FF45E87CB44B740FC5F25272843F779812962AB88A16778

Key	Value
FileSize	5092882
MD5	69E0AB10ECF1C1A2DF990147F5C920C2
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	43121881D49A669415A0B4C9D966355A6AA12F04
SHA-256	421C8053B7135A5A23F7587037F7C84AB6A2F64D584ABDD73DC5101C0109E610

Key	Value
FileSize	5058924
MD5	AC334730A4EAE5CBFB945CCEA1C6D43B
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	0CADCD48A27EAA4373E8DE8BA01F847E2832E85B
SHA-256	7012F0C9C2FC6F02B8F0DD0714896AF12C4807C43742A6C08692ACCA741D48FE

Key	Value
FileSize	5060896
MD5	5422F41057E31EDAA4BE694559654D68
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	F9304247EA2F1A9E35D56A23132A5A5D856F815B
SHA-256	A9001180FCF89513815E714BCB63EEB7C13E225B100EF4C887590FABDD1006EC

Key	Value
FileSize	5060124
MD5	B630BD2BB074FA89E2BDF20EDD26ADEE
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	2643FFCFCB940C849C9E89876EB5D6A2CF6C77F0
SHA-256	786B6449F9BBAD39E1B30B6A524B99601FCBEA5F0879073B23295CE8FF1F30C8

Key	Value
FileSize	4984698
MD5	258457EE2D955582A43E54D4A1D63661
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	6E0B6CD72170262BCC756863A04BA4D2DD4DEB8C
SHA-256	1C450153D6C2BCC80D5A4E9A7D5C8DCD445922B41E298D9C90A50C4FE80F9972

Key	Value
FileSize	5058594
MD5	A3A0468214E0D213FACBEF0E35B345DB
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	2717C1C28C359B50FC1483AAD965AF070584EC14
SHA-256	76E731B0D9F08FE16CFAF27C6A5F4AFD843E149C6BF93C4ACCA1E487DD0F84E6

Key	Value
FileSize	5059614
MD5	CB4799AA2C4F0137D1A0695C2D7DB808
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	D4638C1CA68B9B0D7DF6E3CFF1B7085547888747
SHA-256	D0212F8FCF6AF7E5190C212531AC612E8624FD91F74CB4796AFF8A835865D135