Result for 11D367D19DD73604B515732908B1CA84A6A4BB40

Search result
Graph view
Parent (10)

Query result

Key Value
FileName./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma
FileSize6282
MD5E740DA10F124194DE640F0EDDBB1FE40
SHA-111D367D19DD73604B515732908B1CA84A6A4BB40
SHA-256BE820FE4A3EC838815CD9564F19C86CEA28CAC8188481750C55D849AA29C6243
SSDEEP96:fsAQLZMZBFExAx+YtKAPbT4itPVAwhbmPAKYtKNXoPbcCwtIVROphbPAf:MWetYISQiJ2i4AKYI43wyzOvPAf
TLSHT1C4D1FAC6E7027BB3E1EF05B7E7D2419D03B515935553C97822E807987C8BFA336A2A24
hashlookup:parent-total10
hashlookup:trust100

Network graph view

Parents (Total: 10)

The searched file hash is included in 10 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize329374
MD5186AF7C2BAEF7CBA97215CBE770937B1
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-12FD00BF7F367BCD0D3D8A70AA6570E7440A530AF
SHA-25626FA8ED50CE2EEC9354E20BAF75589C79BB8FF6AC3BC5548363D621478BA3B22
Key Value
FileSize1637886
MD5810B6D652ACCB33E49A66229C8073797
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-18B8D9566D0C2FD3AA1E220584665F21EC219653F
SHA-25659058ECE50B1A779DD0DE6D7A8F9A02F7E03B9B1F30A604AD744769BDA86AD56
Key Value
FileSize1538216
MD5408946D67FF7EF25805C2BFE45E7AAF7
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-14855E0BA58E776C7348A24C0581DBE82681BE142
SHA-2562CB7A12B8B58A3BBA6007EE151D4DF6EA338F773649101DEF66F3263A4AFC4DE
Key Value
FileSize329876
MD5F8CFEC00BA2830BC2DFB7B13937D7F19
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-17DFFDA7022C8AC8254A614039C8D8E5AC2F9589B
SHA-256DB4630C6152700806032D034B973BE6808EFAA64A3189835CDB0D0749F71DC3D
Key Value
FileSize1529756
MD5A449C649D7241C116D39AF9D20A529B6
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-1857746C109485DFA52493DFF341FDD1F4D504407
SHA-25613B713D2CEE1D4197E3BAD3BAE2A859FFB4FCCFEB91F79B302320A2B0D25E906
Key Value
FileSize1378528
MD5BD5DBA22C1C14FF517C49EA0E722A316
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-13C2E613DFA1D6FF75EDE92FBEF469817D3AD56D6
SHA-256DF9ECD53593A202BE090D91FF4EB79808E472E71194AC96F409215BDC436B330
Key Value
FileSize1438666
MD5D1751EC02977EB9B65360B974BF8052B
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-1C1F95109005B1FF08950214BDA6AD6461C211F5E
SHA-256CA0E7A78D39047603A87FA2F5B700E8EE86BD70D2C3BD8EEB1A6BC2667BB0D73
Key Value
FileSize1586100
MD5E264B402B4EB7FEEAA8A888C9B85C5D4
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-1DAB780C128C9AC5123CDB2061E53C2B07DA33135
SHA-25602F35B4EF21C023A3A0CE8D992F241A39949E48B26291BB51FA15719BFB5332E
Key Value
FileSize1489658
MD5E01B625C89244CBE647A278B5277F4CF
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-1AA9244590DC7A247E1121326863FE3DDE9A90C41
SHA-256000A0ED30CA643BD5F147EC037DE5AB71CADC2757E42B2108F080F24FD5B5301
Key Value
FileSize1580148
MD5E528B47D66F74BAE28D25E7ABD00BDA5
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl4dfsg-1
SHA-14A048F6E1179A99589B5B4E4D5EF8AD28C5F4877
SHA-256AB1AC9FDEBE1DEE52A889FE22BBE51CDBC0C527A8C13F58187A39FD9E8DBF211





metalookup is a service from miwakeru.com