Parents (Total: 17)

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

Key	Value
FileSize	3307108
MD5	C2171B6385B639B89351342C277A4007
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-2+b2
SHA-1	17B33547A375FA9FE9250AE1D2ECCA2B18588BF7
SHA-256	F20CB24680EAC0A4FD8AC58C9AC6E7EA2BA9AFA8966009EA3E2F465890FF7061

Key	Value
FileSize	3307452
MD5	CCB11F8F59863C58CF001B2F80F4EBD5
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-3+b1
SHA-1	1D827FCE28C4D1AFCF390EBBA38ACA17B7351ADA
SHA-256	EA5162EABCF5A0DC3ED8A6BD88FA9E99B115576DB22C6C2E3083612B69656FCE

Key	Value
FileSize	3307256
MD5	B3EBA8CF9D82CEE573A8DE7FBE3BD750
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-2+b2
SHA-1	208225D1ECBEDB8E753D9E7A2E46C467BD16C76E
SHA-256	A78E0FC553C990EC7267CFF7CDEC6817AA9897483A26E22AE79DD7E08248D854

Key	Value
FileSize	3307396
MD5	9CF960595F78773E072D251648AAE017
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-2+b1
SHA-1	3118A825BDD13FDCB2A5E199779B12C2F2218EDF
SHA-256	8997201CEFB944619E11FB4F8A2F8C608A1C65186133E6A7D8CC506DFB4B806E

Key	Value
SHA-1	3CD816764D8EC7B86844A32300164DC73F73C1AD
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
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_33.snap

Key	Value
FileSize	3307596
MD5	D0E6B4183B286E3B27727D8684F516E9
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-3+b1
SHA-1	49367B8A0C73566D271652F828AAB93E7BDFF41C
SHA-256	05835774AE484FDB522C5F17356976D7FC228972DF0A391BAD95831D01DE1597

Key	Value
FileSize	3307532
MD5	9BCDFE153F6FE2AEDD632381350397EB
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-2+b1
SHA-1	6C85EEC506E80B7FA2F1743241C086A0BEE4AFE0
SHA-256	B747248AA1BA18C2CEE8663D8C26C97E1A301B0EB49CDE547A0465FC5BDCA040

Key	Value
FileSize	3307532
MD5	78BBBBD7DC95AE84A2F39EF54F9AFE71
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-2+b2
SHA-1	838A625E8BE7E15C2B46E4F918AF48C2660DF682
SHA-256	B3D4C45046FE3872C46B84A97BEA7E376EDFA3F184EC367CE721D559E61596C7

Key	Value
FileSize	3307424
MD5	4C911345A9A3559598DDDF560E8249C0
PackageDescription	Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-flocq
PackageSection	ocaml
PackageVersion	4.1.0-2+b1
SHA-1	A4D2DC730AC9A8E9F8C0D8DC832FBE0BCF069E24
SHA-256	FDB5077E5F6C7990B719E2D9C4EF448448E25F78E9A37E2C8FAA64547CBCF718

Key	Value
MD5	C468DB889702FB200CCA7D53AE2CA820
PackageArch	x86_64
PackageDescription	This package contains development files for Flocq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	flocq-devel
PackageRelease	bp156.1.4
PackageVersion	4.1.4
SHA-1	A77CEFB14D933DA36926030E629D1C4F7C57ABB6
SHA-256	590DF08DE04F06FC685A8ACF8071F40013EE58AF19A00C21DD205C7CE136D2E3