Parents (Total: 19)

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

Key	Value
FileSize	740836
MD5	3E7C6D4F98038B17304535EF2535CC1F
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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	04AC0BD933AD806DFAD30B1A4E455A2909BDA24D
SHA-256	9C194C7AB13133A7160B77D304786B6593762FDD74A06B87C0728B32BA0A2B1F

Key	Value
MD5	FB12B0D25352051C4938E4F274455102
PackageArch	armv7hl
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	1.fc33
PackageVersion	1.3.3
SHA-1	13B9F520B7E2853CF71036EA070F89748CEEAD8A
SHA-256	152F2439E7167A7260E42CB52A2B76DBB66F6AF26F869E75A860BFB89A7D34FF

Key	Value
FileSize	756824
MD5	D212890A9A3867C9E26ED1FE725790DB
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b4
SHA-1	17E4B419ED6A0DDE8DEF9EF8ABFE1C57D1C82015
SHA-256	388CAAF9F4C86215A5CD034E143CCC94C1B273DF86CE4F12535F4D96D3CAE411

Key	Value
FileSize	757064
MD5	4D5C91351FE16FFF9884A84B6F4ED922
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b4
SHA-1	21ACD9E4EB9E6AE08CE80583E7F969996C03F777
SHA-256	CCE21EC6F3FAE475A10AB78BDFAF732891D178E3D103D4F8081F10B8924AE363

Key	Value
FileSize	756832
MD5	8A9FE305D7A146FC4E07E44DC9317954
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	3218ADE334712334879BE6534C53AD81756F0A75
SHA-256	2B3854CC0BFC6A16D966B6855CC7DA20C17D4CFCAAC06DC27B016DC21C2A9746

Key	Value
FileSize	757156
MD5	48F969EEEE3200F8C97A9B6684D99B3A
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	348AE5BD20EB297430488C79406C3CFD824BD3D8
SHA-256	4F2407545BA50BB651A17BD94CECE374C3B0F2ADCC6DBD72112218612B491742

Key	Value
MD5	C2972977AFF795F2E2B4D70CADC94608
PackageArch	x86_64
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	1.fc33
PackageVersion	1.3.3
SHA-1	3783208D591F01FA201D8A9FD1AA15C76A6E32BB
SHA-256	A62F7E4634CF0736D3A8701249DB26786CAF3436AA3290D69BABD481808D2EC5

Key	Value
FileSize	757256
MD5	DC043813F3334966C35519B94ADDB24A
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	53BD758F7B869AF6C011BCC99769C0F558D8BBF6
SHA-256	CA5554EB953714E8680CEC74AE451E3558D1F7587F8A5F1892CC4011A437CFFE

Key	Value
FileSize	757328
MD5	B8E2CF3A3CA6CFE0956B85078A4210E4
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b4
SHA-1	5A06D08831C36D8C7CAF7FB06A471D9C8987ECF1
SHA-256	703AACC0399D36D58F5DA173B70C6108D5642D55EC55228DA20728A42239BEAC

Key	Value
FileSize	756628
MD5	92861F9AFBFCB5957F25861DB8410B08
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	5B3CBF20D4030EE06FCE8ECA668D51624FFF7BDC
SHA-256	698256E8FB64A85F42FA3943E3A49DAA4FA358F7D00B45A379271EC563770864