Result for 03836B2B4FC09A75D901FA509C027C376AAD6250

Query result

Key Value
FileName./usr/lib/coq/vernac/g_proofs.cmi
FileSize4379
MD5A2A7304D1ACB5EF7F186C18A5AFF9991
SHA-103836B2B4FC09A75D901FA509C027C376AAD6250
SHA-256BD8EE2137E873AC896B33115B880382B2B793D073883FFC8D723FD3C29955EBD
SSDEEP96:wBdcTpAzH2wGRjXMuFb6gQorANk1jB4DdvVr4R0+toxqKV8:Wd6pSSJQNNk114DYRVzKC
TLSHT1339119FCE780701B48C2D1FBA196446140B402A36677CCBF8717438B1299DEEE7AB21B
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
FileSize7940984
MD5E823EFDA59737C84B3D1E2D0DF0534DE
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.9.0-1
SHA-1CDB68C5CF5988FF223BA28BF83ED1E25FB8AA850
SHA-256BDDD22D96C1781F9BB0BD33F30011E681B4E0FB51963E92ABBC1BFC95FE3867B
Key Value
FileSize14001864
MD528FE9C69860DF6AD927263319F49B077
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.9.0-1
SHA-16894B230B3D0DA599554574F21690FAEDF7187AE
SHA-2568FD42F1730A8BE52FCBFB3FB24D65266B9B3BDB3788FB25D4F6F13421572BF3B
Key Value
FileSize13728788
MD56F3B7D9AAD34E5EC14F64CB0DA69452E
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.9.0-1
SHA-1E97F0BC6395A9F3ECD9C563D05A0BCF53B529CDB
SHA-256654A40B3ED446D5D3DEB4D0CFB4AB6EF67F929E10EC1060CB15212AAA2DF2FD0
Key Value
FileSize7940256
MD5BE7A8BA7D349D890470524E615FBD37D
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.9.0-1
SHA-15938002A8714B2EDE35CD938C135CD6C21BB0C85
SHA-256154F625D58BC8B08475F085789661A764ED202E19D92FFEF0708CC2571CD1161
Key Value
FileSize14094956
MD528E7B24B3012EABE57830EB52102967A
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.9.0-1
SHA-1B4FDBA2992B78EAC5A52D8C7891DCE889C1AF29C
SHA-25663ECE43E9C4BE8ADAC74FF721C9486AB2E87E63B1C9146FB991420FC4C52CD5B
Key Value
FileSize14391840
MD5AE52FDF3FCC9AEB5A13824D0FB1B4B5F
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.9.0-1
SHA-18046755248E196DC914CCB69A051C50DB7FBE2BF
SHA-256939680821DD64992B928DEC286C83C17C53BE9B47522112B1269118B1144941F
Key Value
FileSize13703936
MD5BEF748649DB0E9238B454381879E938B
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.9.0-1
SHA-14E5AD529C09EB21295CE0A479B6D1C4EE71C56C0
SHA-256380B71F424D119587D5387055AE272FE33CF187F4C84FC5131AF659FB659E474
Key Value
FileSize13779508
MD5ADFB03D4760C30E6A1D354E1E9DBCAE1
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.9.0-1
SHA-1E6624BA42E5E6AA39669C3DE85CCCB618C721C36
SHA-256D986300C499E203494BFCE56D5BF859571A7491219E5D28293988DA27A8CF59C
Key Value
FileSize7940696
MD5DB9DF22E6E84399D76EEA1C7D8BF7E47
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.9.0-1
SHA-129911E777A2C9AC2FF08CF9CC5FFC2CAEBCAEF32
SHA-2566CA8E60CBAE2EBA00BC7CFEEA7C5852518E08D5029533E616D47FDFB357D3A0B
Key Value
FileSize7940648
MD5310D52A64378A6571DAC264C43024687
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.9.0-1
SHA-1BADE98B7940F13D4730EA75304A6DA1C71038193
SHA-256A4A5A72996ED786F475AFF007459F703990CAAC929E1445F3FA9A453E9CCEFA8