Parents (Total: 43)

The searched file hash is included in 43 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
FileSize	38858888
MD5	7D92E9E36EDD3F8BF53416BFC0496DDC
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-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	131DE74C819CAA57BE1D5A07905F237B4C68F509
SHA-256	965B3D52140CCA72F2C9BD391F4865EBB0D1D5B234DEB8D7C4714F495785E936

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
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	BB26750CA1C31EF65939FD3A2BB0B328
PackageArch	i586
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-debugsource
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	27B04DC55CF9075B962E82EA1FD34E01EADD5C55
SHA-256	F5371D59E01A276AA95E9E6220332E8264676EF46D45BF0447C36FBE2D65B6DD

Key	Value
MD5	610CC6E4F5B5ACC4BDE352F20EEBAFFF
PackageArch	x86_64
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	30C6BC41C9C9B4065543D8B742209380E970BFCC
SHA-256	CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA

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