Result for 017ACBA40B41411CDBDE56AAF5B195D5BBEC8606

Search result
Graph view
Parent (14)

Query result

Key Value
FileName./usr/lib/coq/tactics/declareUctx.cmi
FileSize1268
MD5D152F745619F1C6F3E4F1D707BB13849
SHA-1017ACBA40B41411CDBDE56AAF5B195D5BBEC8606
SHA-256D12D07817CC32A8E0D4041C784CB36B785C1D0C243889BCC13F4F6ABF7AF860F
SSDEEP24:3xyfhmRjHzSVgYcEq3UVpH/5cFvEh963cHL8YXCdq0mH:3eQjzUvVpH/Ucj9HLQtG
TLSHT12321545071943EE17A363337AE4D602B0338122789E6487585DD4BCD05645BE83DD5CD
hashlookup:parent-total14
hashlookup:trust100

Network graph view

Parents (Total: 14)

The searched file hash is included in 14 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
FileSize11282876
MD5B43A887F73F35B9D058C93AB9564FE38
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-1878CA3463ABB5854F8B2D4117A67DEAAEC12B16A
SHA-2565A8F4136B59AE1C81B333306ADA50D7191C59286EE1C14D626B6AD45D93D9EE0
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
FileSize11283240
MD599D4B5AEA59EED04D489D484858BED7D
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-117E578D6108D759CCB22FBA7F5B075FC7D1D4821
SHA-25609D60148A5C9A72B6829D319A6D6EEAB88BD9B048FDEC3C8CCD3729DBDCBF33D
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
FileSize11277904
MD556B639DC847BCA5F2351B9F1DE950969
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-17D6E8DD36734195E9B74DE904FEC42D97C3B40B1
SHA-2567C09660F29873C7AACEE9F7F3E2E3EA000D2EC381D92FD15D0A927792560C5AD
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
Key Value
FileSize11282888
MD5EB69E22A946622AEA8EC1561EF8A3CC5
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-111AB4FBCD84C8B49543DB58F15B451E1C9FCFF0D
SHA-2561ECED9DBE7E4179D8489DF6527377CCB08BDFC2B1B5A3DCD7D1A65666E95FA9A





metalookup is a service from miwakeru.com