Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/param.glob |
FileSize | 7452 |
MD5 | BCD9849A77EF78CFA494F4D546C3C57C |
SHA-1 | 14CD9F1D76EC00DFF246BDCFC2D5619C000585A9 |
SHA-256 | 4F626488DA82CBB38143163C02ADB81BF1357BB572AAE473EE4A1B31D581A916 |
SSDEEP | 192:KnL5aX2YdaLTh0Sz4lhr3yfZmsbzmdC+2ncZLlvbwCGA8CTCp:ptdsfATTCp |
TLSH | T110F17B3E19238C2860C456EDC3881F9ABEAED93F73034611574CCE7D6C6D77476862AA |
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 |