Result for 0054514859B5D4407F11165746416B4DA8C7A933

Search result
Graph view
Parent (11)

Query result

Key Value
FileNameusr/lib/ocaml/coq-core/vernac/comExtraDeps.mli
FileSize848
MD55D2C58A649D9455EEA0EFC1E185B782F
SHA-10054514859B5D4407F11165746416B4DA8C7A933
SHA-256C8FF659E3B8AFD7585EBF2D46EF1D728CB5CB1B029C94F1A9A44C7012164A5E0
SSDEEP12:eDUt93laAT6Il4OBKrxAfBvECk41AybWwWyXXpB1a:eDG9zl9qcNEx4KC9LX5a
TLSHT19F01286A19D04F3245A610528F8FD0C6CB454A6E2066622AF9CE7B751F1DD3B12F66E0
tar:gnameroot
tar:unameroot
hashlookup:parent-total11
hashlookup:trust100

Network graph view

Parents (Total: 11)

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

Key Value
MD5DA39DE9AF59970953DD3F3605060C90B
PackageArchs390x
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-16F0FB63514414159E78DB9035E9ACBCD644BD673
SHA-256619EB041B63C084AAD143D12D2C7AF23F6D591EA144FEB9B6D6AECC0FE9BC2FC
Key Value
FileNamehttp://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//coq-8.19.1-r3.apk
MD50C97B0CD7DDDE140EE3CF52115926B78
SHA-1D08C9AF83D87F0140465F271B5A49632ECF50D55
SHA-25690492AFC057AB5DC5D080BFC6E9EA17A11BCF60DEA41D62C22C893A26AF94A35
SSDEEP6291456:3ucqf5eA96TkTLp8/L8mS8toMc8kXAJO7xd1Tie73:3pqxei6TkW/L8mSlH9+e73
TLSHT15CB833D2B017D67E3509F46FAA6DDDFA123D3DC420F71042D935A2E5480AA5C3BA2D2B
Key Value
FileSize42725144
MD5DC9EDE594B161D65FD8A76D2745BA48D
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-104E9C9D8FB7A35960F95157BB748186F9F19E7C4
SHA-2563D22FD62A199FD3E5FAC1D8EF7BBBB3F462E409765FD6A7C7952ACA07D9E19E3
Key Value
FileSize43114464
MD53570FF4BD8B526A302237ED52DC90DAA
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b2
SHA-17753CC6BB056192A1BB0F000714FE8EA382CC779
SHA-256FD3544A9DAA8453BE39F795B2980FDA85AB3190538274F0D9A23DE56BE94372E
Key Value
FileSize42455752
MD5FF07A095506B4F5C4134AA13BFCBBA34
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-1031DF8DA017E553C330D47CF3C823D448ECC86E3
SHA-25654C3578562CDCE8738A569B0AF159A97119B33211219C0FC03FD63D407BBED01
Key Value
FileSize42725424
MD57478C7296E4475A69CCA0146E6EB0109
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b2
SHA-136475549CB8767A40EC4EEAA7F859F36BFAF88E0
SHA-256CF725D92990AFE1DD02E54BEED68CF1C6D3C2C77043E67796136081820588200
Key Value
MD568F2FF20B639BD6DE6B6919793ED9E01
PackageArchx86_64
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-1B4A18D3F802962279607014AD0090C5768D183C2
SHA-25641183CEEFF2701E8E8F5621B4D6AEBDC9E4C71E3A94393CFD2DF29EF7CD2E6E1
Key Value
FileSize42825080
MD55E1177631C587E068F6B8E2D7F04CAE1
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b2
SHA-1A0966335625B73EA6D7B86D38224ED41039F2877
SHA-256F0B1286532E64477487294A641BE0B877AD6EB2365CA41F3B56EFB2C7AC13A1D
Key Value
FileSize43106024
MD5A22DA659B450A3E84C53254A60EC039D
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-13AFD79E7316BB14B09BC04A5EDBC253510D7DACB
SHA-25664EADDB3D6CED39EA3FAE4E1173945239BFC313BEFE5FE02BFA8CB81E9F2D0ED
Key Value
FileSize42815248
MD551EE73CB42DBCEC4B4AD9C664682883D
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-1D184F6F4C4C1194EE7C18573CD37DD6EC49DD1B5
SHA-256D745C7AE96F2145AB406D3DDBA66A5C1B7686C71B5F351CFCB8B1F80412BCA48
Key Value
FileSize42449528
MD5600828DFCF78E833601870BB142E4C21
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-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b2
SHA-18F47A072664843FC5F187621E7A52954EA1EED2B
SHA-256A79A0FE64F3EBD045463D2B4585CA805A1EF1971D2C90FD1209D8305E06BA455





metalookup is a service from miwakeru.com