| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v |
| FileSize | 1132054 |
| MD5 | 6080918CED5A937890C23C869E662E5B |
| SHA-1 | 24E412DB11F993655D55062D23394600953C6680 |
| SHA-256 | 8CACA4CD227052DF4EDD97DEF6CE92C01E22D647A5B7FCFD8F0BB15C225D88FC |
| SHA-512 | 37AE3C87E2C65AECBEEBCC193F67E91C79E0BB72E7F58D86A7CE5454101DE6BF4C6AD63E5CC44B544D107DD7AD0F3634F73AD964E3FCD9C7A85AE5F682340EC9 |
| SSDEEP | 6144:f5EBIh0NvAUB+wNbu771XBFGQY02B30THRpW12CJyxCx8armGro1pygK7Z8DLwvr:oNv/+Gbu7ZXBh2JmUo1Ig2DoCA+g4 |
| TLSH | T1433552439B218A5F76CA743DFFC890E0BD0CEE0267C9E318B488D1AE156797E40B5D66 |
| insert-timestamp | 1683748202.7019148 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
| hashlookup:parent-total | 19 |
| hashlookup:trust | 100 |
The searched file hash is included in 19 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 |
|---|---|
| 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 |
| Key | Value |
|---|---|
| MD5 | 26D95FA5518B79853195418534999348 |
| PackageArch | x86_64 |
| 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 | 8EE4431047D19F0587D41560B74D30DCF8A929A3 |
| SHA-256 | 028E428086F4BB8021D7D53A75A03F6A074F486337A3852B76F547E3790BEF7C |