Result for 0121652D27C66C0AEDB6B6D31DB617466A4DD426

Search result
Graph view
Parent (58)

Query result

Key Value
FileName./usr/lib/coq/theories/Structures/OrderedTypeAlt.v
FileSize3110
MD5EA123B86D05ECFC45C88B0B06CA52FB0
SHA-10121652D27C66C0AEDB6B6D31DB617466A4DD426
SHA-2569575BDE96812B2C845A6978AA35D84365112D325F661112D6F032541EB96A27B
SSDEEP96:eDCTFA6CGgktDOATt/I9N9z4pgLUkHqD/5Z:2Chqk5OAZI9N9zAg1c/5Z
TLSHT15251216478CF0F13321FCD7AF79164C9A505CA4A75BF6B84B04CB564170F9A773A4A84
tar:gnamebin
tar:unameroot
hashlookup:parent-total58
hashlookup:trust100

Network graph view

Parents (Total: 58)

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

Key Value
FileSize28414968
MD55D2F99C9A1C320CBB39B206502DDF571
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.0-1
SHA-1052878D62B817D6869CA5BEAEF1CC18700C5C0F8
SHA-25633C1DE3162ED4EA340C725F1261B317BCFEAFEDC4C71991C16CE0A30BEBEE81A
Key Value
FileSize28979508
MD5D8793330FECCE9A82C4394CB4CE1A3DB
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.1-5+b1
SHA-1064F26BC432CC3BE64705068DE277A304D216C89
SHA-256CE89355FC2A382076BD6808DE42AB0CF2C198EE29C705B932976700B141BD52A
Key Value
FileSize29724356
MD58DD74A0636D8245701B2D1D9980B6AC2
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.0-1+b2
SHA-10BF213C70AF3FA97158FEB7C379E4A69F0C19512
SHA-25621B8604B94A5F3981AB97BDBEB01E8C346EE115B7F4D41716BFE48BBD084BE94
Key Value
FileSize20367676
MD52B81F38F8AE6D92E41A10E6F7BCFF56F
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.0-1
SHA-11A3EFE87BB31376E598B8E382762142AB9FEE451
SHA-2569745D456A43965126CF355AF106189C753B88F8AB9E62F57678CF2269E6036BF
Key Value
FileSize29732148
MD54ABDE5225D5B4010EE08FCA3F68FC120
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.0-1+b1
SHA-11BB48EC1A8C90EC3396F7DA728C9252A505AA02F
SHA-2564BF474EB10E2CDA42DAD36E895910A1BA7A8630CA432EF733A33D16CE1AC6279
Key Value
FileSize20355600
MD5E47B20C16ACF06BE3EE7207CF39BE3F1
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.1-2+b2
SHA-11F93539BDFD79358DC0EE7FEA0D810E952071720
SHA-25662D6D469891037EEC216B3BC15DAF1032DE00687CE4C582D6F3768EB17956DE5
Key Value
FileSize30183784
MD520B81961E9FB61F162B83C790B968424
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.9.1-2+b1
SHA-121BDBE3F68509586E1A85D3A5FE52B58F6BC2118
SHA-256786DA599F34BC10A744CCAC670B9A1AFF38A0022171C54EF02FE6E7712D0BC08
Key Value
FileNamehttps://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//amd64//coq-8.8.0.tgz
MD562D6A3F01161C915D3E98240408FF7D9
SHA-122DDB4DAEE9673CDA1B8C25FE3FA11A367F93369
SHA-256E701439F07DDB68604B97F1028E463D3B279A76CEFD869983F5AD0E783640905
SSDEEP1572864:T6wIfUlodKqZB+WY1J1eKk1+TwHJHIP583huCWTzBae2f3MAmXmLKHVpgt82Sf:O3TZRQJ1o1ZHJHIP5ouC61GnYo6VKvg
TLSHT171183384A9D3990BC811992189701CE5C9D12188CA875DD5DF63BC75AFCBAEA3B7333C
Key Value
FileNamehttps://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//powerpc//coq-8.8.0.tgz
MD56731DFDDC924E61EFF37F0E80D4FD557
SHA-1259A837D31E37046543FE912B34FA3513264E00A
SHA-256D079F3F681F201939AE85F42A85835ABD6C6ED96917D148DF3877E3063F865C8
SSDEEP1572864:3d+KEuvKeuxQfaAOSF8s2fEzgcJX8ChIPNfGjkOy4f:30uKUaDSFThzJJXzhwNTOV
TLSHT169E73368D2867E1C3BAC72B767158DF8C3519053D9BEC1C28CF92B05535E6A6EB06F02
Key Value
FileNamehttps://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//arm//coq-8.8.0.tgz
MD57ECD84D18BD1EAED59B73550E8DA3513
SHA-1297F09D4E56C8F37356C52E23CD00EE3D9570006
SHA-256AF84DE44D918E57B01EDF78CCFBF45F55115F91224792456ABBEE5B8B3721B3C
SSDEEP1572864:2edGg6AkxEVo9PZQtpBnXsWKEzgcJXXChIPNfGjkOy4:2gGgPEUptnzJJXShwNTOD
TLSHT12CE733D4839225AD19AE53BB9E29ECBBD9519610E17EC2F048FD4320B3054B7BB07F85





metalookup is a service from miwakeru.com