Result for 00B4150E7943F8B627905107234190CF103D08CB

Search result
Graph view
Parent (10)

Query result

Key Value
FileName./usr/lib/coq/lib/lib.cma
FileSize1149297
MD57DF9C44148239539C5BA9AE2EDADB12C
SHA-100B4150E7943F8B627905107234190CF103D08CB
SHA-25618C7A78C943EC7EB0DE0884C06E2D25A18FACD7CED5F94C5CD35DB0D794CDC41
SSDEEP12288:hByXBH61s7FwrZ7U8nmi+yKCXGkIOrTYbhqD7dzTabqQXz/YclVBmPg3Pm7K8Jz:GQJnMkykDh2fbYA7nfIK8Jz
TLSHT19C35E50FD7665E66CCE819FDACEA424306F01A3D85E64E2BD04B06D9D083B0E6F92D57
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
FileSize18661384
MD53AB7C0D8A4846ABD2AA2ECDDB0A45418
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b2
SHA-1FACB2B50354831E087DD9C15DD64578E1BF463EA
SHA-256D46DB1FE7E796E1DA162B895DCC6AF144F74395F1AA630614ECB483A9B604A21
Key Value
FileSize19195248
MD514BFCFCE08983EE2D5C7A7D9DC30734A
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b3
SHA-194FCD6B3E241451971E56C127411590D30BB3517
SHA-2567CEF2A0F1F52DD3D164210CF5B974D7A77E23F7A455193DBA449F24F6FAE2FDD
Key Value
FileSize18726796
MD5998420C051A92B9C99DE66F65E02AAA8
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b3
SHA-121A4E5C1EF6C7BA2067CE3EBF2FF8ACFF59FE22F
SHA-256CFBD3AAFFA98DA0E23F7DA0BBBB9D2D202E891C40B07C9EC873711DBFADBBCE8
Key Value
FileSize18723976
MD569A37254D6511FDCBB1DAE61BC30A74A
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b2
SHA-118DC050352FE5C561B5231632ED7C790D606CB35
SHA-2563E3C0CD85A1620BE0236FFF9B87D35B9E20D382EA7EC75D5E4B2972D8154F106
Key Value
FileSize18658564
MD501DC9D28C30C6F5AF4FF293B64883AA3
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b3
SHA-134BAE399854D683AF3F2CE573864C2811712C082
SHA-256EDA154D012FD00F4CFCFC5B9F7DB0DFB30ECBF72DB47C74BBB76FC2979CB8A1A
Key Value
FileSize18727404
MD5AF515B74B7140E3DF122195322600B96
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b3
SHA-18EBBBE8BB453E8995EEEC33BB7CF2075D57F0F30
SHA-25668974AF069EBCFA516CBBE911165CB84837B159D4FAB44302AD093930BC02D8C
Key Value
FileSize19182792
MD503024A4EB7F297E56E965F360BC84E10
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b2
SHA-1C6073B1BAE5F75A14182B1CDEEA27334DB8A3A13
SHA-25620542B5700689B79E0C2FBD32BD1D722B7CCC2432FD3C4FC6949FA97D873BE11
Key Value
FileSize18721532
MD562CF7273D36FDF9D56F7AD0304CBAEC6
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b2
SHA-1CCD0BCE6DB51E3A2E4287606C93ADF6C8F857CDA
SHA-25632671B0E60B488A776B2A83510DD2BD06F169179A25BA89E982E7E43BD8E9A99
Key Value
FileSize19407804
MD54EE3966D6B45EB1C45D21CE74DD42D9C
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b3
SHA-1ACC9EB4D68B4A254AF8D1B341854386AE640C627
SHA-25608918F87FF6B7EC0152BAC46C332CFC57C2F9B5AB427DD3744CB092203453B4B
Key Value
FileSize18714416
MD5EC85B1C968A973F0F89DFEA03A8F09F0
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3build3
SHA-12641B9D5E242397F9D15C7F608249B3579656608
SHA-256D486DE92C90FC588FB968909F21A6750FB906C5096B64150BCDB790D68F0C16A





metalookup is a service from miwakeru.com