Parents (Total: 20)

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

Key	Value
FileSize	4620840
MD5	EA59B07CF6E364F6ACD5D54DA21AF7BC
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-3+b1
SHA-1	04F8A0F30610BBF45DA0A28D33FF51F84C5C50C3
SHA-256	3C885FAEF9BDECBEEBE8DCD02EA6C0FCE56EAEB298EB2BAB534B5B2EC20D4472

Key	Value
FileSize	4637504
MD5	46DA9BFD2C01AB9B0BC0C1859AA9C159
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-1+b1
SHA-1	0FC172445A0095C3F89E7D112BEB9E4A78246038
SHA-256	DBA17D32A275318B85FEF965D7C1DE78EDE85DE0D7E0D830B4635141CBDF6ADE

Key	Value
FileSize	4619912
MD5	32E50B59F21C9580D0CBEF3B70AB386F
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-3+b1
SHA-1	183D9429EF362C09339B607FA0516A544384382B
SHA-256	66F245A8A274404773A9C7A8BCC2011F8D5EA9084E4D4255D2BE4EB9FA59609D

Key	Value
SHA-1	198D3BB17C0DA24D5E7AB88D549B081076EC2C79
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap

Key	Value
FileSize	4635880
MD5	CCDEFDE34E894337731A946E85F46D48
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-1+b1
SHA-1	277E573ED8DBF6AC5CEA3B4CFC05284F5789FA3B
SHA-256	00482440AAD89F6D691BF2CAEF8C5F7D887F3F09F484A6EB649E7EEC24C4AFD9

Key	Value
FileSize	4619316
MD5	063B7D454C606BB155FB3DBA97F9A808
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	55984A57317D60E932036875BA838C2FF7DFD12F
SHA-256	877888C5D2CA720CF7D532670E223C2D572E78DBA893345FA39BE46BA6F3D9F4

Key	Value
SHA-1	56D588354E77E8AAA0B3E024F0CA8BD06C383CF8
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap

Key	Value
FileSize	4620732
MD5	E4028CE04EA6E2E1CE613FD2DA72974F
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b2
SHA-1	5C96DF34A1F0CA6F470AA77AC949115C79573A8D
SHA-256	69E5385A29A3C3AC2F512AB16C96C6D4DF16B0D8465E83B84E7CAA394F454410

Key	Value
FileSize	4619116
MD5	5BB08B0E92F8BFBE7C1F8C8727710C80
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	5F1DE427BDDE543C5930A2D8FFAE4AC2C71544AD
SHA-256	6904F54953897217697677FE325EA7A74903B8617CEBE3279535022A9A09D489

Key	Value
FileSize	4619736
MD5	6A7CE4D42292231F8B258DC1CDE39DD7
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	6BF87C6625B9DFDAED8D04479E5EE98D4182D1B6
SHA-256	906637061E3F6335D574CC669B915B0731895F91950EC24FE06FF4DF2EA5C440