Result for 14CD9F1D76EC00DFF246BDCFC2D5619C000585A9

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/param.glob
FileSize7452
MD5BCD9849A77EF78CFA494F4D546C3C57C
SHA-114CD9F1D76EC00DFF246BDCFC2D5619C000585A9
SHA-2564F626488DA82CBB38143163C02ADB81BF1357BB572AAE473EE4A1B31D581A916
SSDEEP192:KnL5aX2YdaLTh0Sz4lhr3yfZmsbzmdC+2ncZLlvbwCGA8CTCp:ptdsfATTCp
TLSHT110F17B3E19238C2860C456EDC3881F9ABEAED93F73034611574CCE7D6C6D77476862AA
hashlookup:parent-total4
hashlookup:trust70

Network graph view

Parents (Total: 4)

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
FileSize4637368
MD562289D5C5A99E536072FCF611AA284A0
PackageDescriptionalgebra 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-coqeal
PackageSectionocaml
PackageVersion1.1.1-1+b1
SHA-1B53BD11E939D50041248A99A34C04345272935E1
SHA-2568D34F2FB5938262297141D44D4EDEFED5FFA28313AC55F6BE8BB92E0D194AA83
Key Value
FileSize4635880
MD5CCDEFDE34E894337731A946E85F46D48
PackageDescriptionalgebra 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-coqeal
PackageSectionocaml
PackageVersion1.1.1-1+b1
SHA-1277E573ED8DBF6AC5CEA3B4CFC05284F5789FA3B
SHA-25600482440AAD89F6D691BF2CAEF8C5F7D887F3F09F484A6EB649E7EEC24C4AFD9
Key Value
FileSize4637504
MD546DA9BFD2C01AB9B0BC0C1859AA9C159
PackageDescriptionalgebra 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-coqeal
PackageSectionocaml
PackageVersion1.1.1-1+b1
SHA-10FC172445A0095C3F89E7D112BEB9E4A78246038
SHA-256DBA17D32A275318B85FEF965D7C1DE78EDE85DE0D7E0D830B4635141CBDF6ADE
Key Value
FileSize4638556
MD521249913845A8DE7E48F62E2959FD9B2
PackageDescriptionalgebra 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-coqeal
PackageSectionocaml
PackageVersion1.1.1-1+b1
SHA-1B9F4F3A3FFFFD883C7113BD052ED078E4A8E7EAD
SHA-256B8D10F80C097BEEF5ED4119382157C1CDBF848A49AE40AA333E0925BBF82633C