Parents (Total: 26)

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

Key	Value
FileSize	42455752
MD5	FF07A095506B4F5C4134AA13BFCBBA34
PackageDescription	development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	031DF8DA017E553C330D47CF3C823D448ECC86E3
SHA-256	54C3578562CDCE8738A569B0AF159A97119B33211219C0FC03FD63D407BBED01

Key	Value
FileSize	42725144
MD5	DC9EDE594B161D65FD8A76D2745BA48D
PackageDescription	development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	04E9C9D8FB7A35960F95157BB748186F9F19E7C4
SHA-256	3D22FD62A199FD3E5FAC1D8EF7BBBB3F462E409765FD6A7C7952ACA07D9E19E3

Key	Value
MD5	DC7666491C5DA73F0FFE60F4023D2326
PackageArch	armv6hl
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	0BCA7ABDC27A9C76538EFD37D1E6434C195EE748
SHA-256	E0B907E20BADE61F23AED28F5A758C698F08F7A72BD0598CE7952F988D81B2E4

Key	Value
MD5	CF1E7BCC933A426CDFA5C38061944C43
PackageArch	x86_64
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	lp150.1.1
PackageVersion	8.15.0
SHA-1	1BC644A5F1AA7DB5BF4BAD55C33F623095265932
SHA-256	8BE2553D6AF06AA208141B6454094840458C4EE324A670EAAE9787E7050EFF36

Key	Value
MD5	3072CFDA596A961A2D9B4FDB0F2D98DF
PackageArch	x86_64
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.1
PackageVersion	8.15.0
SHA-1	1F964F0798C9D82523158AA3E393507AAB80243E
SHA-256	0E8E3B43CCB9A5ACBBCF20120DE198930D83A4C2A3EC38E8EAF00FBC733311E3

Key	Value
MD5	85FDE5BC9AD85DFEEF2548BAF32A0C32
PackageArch	armv7hl
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.3
PackageVersion	8.15.0
SHA-1	32DE2EAB9DB8AB22DF9145F5E32EC571FF2370B8
SHA-256	68D57EF66507F720BAF2C32BFC2A76F6CDE11A609BD30A6FBF8E6F7E4D1F4BDD

Key	Value
FileSize	42725424
MD5	7478C7296E4475A69CCA0146E6EB0109
PackageDescription	development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	36475549CB8767A40EC4EEAA7F859F36BFAF88E0
SHA-256	CF725D92990AFE1DD02E54BEED68CF1C6D3C2C77043E67796136081820588200

Key	Value
MD5	65BFE474671A829612F0F50AF9507A2D
PackageArch	i586
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.4
PackageVersion	8.15.0
SHA-1	3A69208A6843B4FC68161D43B1F7055269FBB66C
SHA-256	81BE3BDE012EBBB6DF3614F28C04FD57E928E985AA7C61136538E04A7A59890D

Key	Value
FileSize	43106024
MD5	A22DA659B450A3E84C53254A60EC039D
PackageDescription	development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	3AFD79E7316BB14B09BC04A5EDBC253510D7DACB
SHA-256	64EADDB3D6CED39EA3FAE4E1173945239BFC313BEFE5FE02BFA8CB81E9F2D0ED

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