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
MD5	F46679FE541EAC5CF39598E02B75F402
PackageArch	armv7hl
PackageDescription	Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
PackageMaintainer	danf <danf>
PackageName	coq-flocq
PackageRelease	1.mga9
PackageVersion	4.1.0
SHA-1	0658B6129A14D7FAE3FE922275516853E179B454
SHA-256	5D0CD912F2F7B7C62FBC7484D8D4C8BC8130953D164BF65B7B7B1821F2B40D2A

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
MD5	C26219A15D1D3DF7BA984AE3FD3431AB
PackageArch	aarch64
PackageDescription	Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
PackageMaintainer	danf <danf>
PackageName	coq-flocq
PackageRelease	1.mga9
PackageVersion	4.1.0
SHA-1	74715921BFF55B4473F44C44B5B7572D7D507BD1
SHA-256	F9DC1DDD3451F813836980B60FD27191E960044255C1A7F922FF48F096D3C155

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