| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/minor.glob |
| FileSize | 87793 |
| MD5 | F6FB2F1DB25ED92AA657B9532633CBD7 |
| SHA-1 | 0AF9135C4E377541D07BDF2F7E71F960BE482C9D |
| SHA-256 | 5FFB05B5A86494844FC277FB579DCF903B3D9AAE328F197FE0A584EAF9B0906F |
| SSDEEP | 768:RHlwD47379xLHBuXMKi16Hgqyh+jc5hIhnOZlclc213gze2+sb+sLWEOsThHjyVE:4D4lxLtl1DV+jBUZ |
| TLSH | T1CE83CD3C4D064A71BFC04D21DB2A5B075EBEA1FA2F8F12B3DF0A8D7D64D85562298790 |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 4637368 |
| MD5 | 62289D5C5A99E536072FCF611AA284A0 |
| PackageDescription | algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-coqeal |
| PackageSection | ocaml |
| PackageVersion | 1.1.1-1+b1 |
| SHA-1 | B53BD11E939D50041248A99A34C04345272935E1 |
| SHA-256 | 8D34F2FB5938262297141D44D4EDEFED5FFA28313AC55F6BE8BB92E0D194AA83 |
| Key | Value |
|---|---|
| FileSize | 4635880 |
| MD5 | CCDEFDE34E894337731A946E85F46D48 |
| PackageDescription | algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-coqeal |
| PackageSection | ocaml |
| PackageVersion | 1.1.1-1+b1 |
| SHA-1 | 277E573ED8DBF6AC5CEA3B4CFC05284F5789FA3B |
| SHA-256 | 00482440AAD89F6D691BF2CAEF8C5F7D887F3F09F484A6EB649E7EEC24C4AFD9 |
| Key | Value |
|---|---|
| FileSize | 4637504 |
| MD5 | 46DA9BFD2C01AB9B0BC0C1859AA9C159 |
| PackageDescription | algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-coqeal |
| PackageSection | ocaml |
| PackageVersion | 1.1.1-1+b1 |
| SHA-1 | 0FC172445A0095C3F89E7D112BEB9E4A78246038 |
| SHA-256 | DBA17D32A275318B85FEF965D7C1DE78EDE85DE0D7E0D830B4635141CBDF6ADE |
| Key | Value |
|---|---|
| FileSize | 4638556 |
| MD5 | 21249913845A8DE7E48F62E2959FD9B2 |
| PackageDescription | algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-coqeal |
| PackageSection | ocaml |
| PackageVersion | 1.1.1-1+b1 |
| SHA-1 | B9F4F3A3FFFFD883C7113BD052ED078E4A8E7EAD |
| SHA-256 | B8D10F80C097BEEF5ED4119382157C1CDBF848A49AE40AA333E0925BBF82633C |