Result for AFA507BB296D45A54434F895ADE428AACEC5076B

Search result
Graph view
Children (4942)

Query result

Key Value
FileSize35237680
MD50A2C005F588F62FAB77A7C291E0E001D
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.12.0-3+b3
SHA-1AFA507BB296D45A54434F895ADE428AACEC5076B
SHA-2569CC0C33268B662D2F778F8604F63304ABEAE4AFA851F15B158FB3B4BF0DB6ED7
hashlookup:children-total4942
hashlookup:trust50

Network graph view

Children (Total: 4942)

The searched file hash includes 4942 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/doc/coq-theories/html/index_projection_M.html
FileSize23381
MD52BD5F21F51E0A9131EF16424E5FEC4A8
SHA-1000C7D0FC0991D9F9064FAAC7BDE3C5C27E2E988
SHA-256D581EB6E93583ADDA8F0C806922536CD122BB9A654A357AFCA81D96DF892AB52
SSDEEP192:KpWEMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4j/0q:0X0tvEgo
TLSHT19BA2314215C2646E42597A2F4AB47DA962F30BF54B603C04EF9FFD7FCAA2795021D283
Key Value
FileName./usr/lib/coq/theories/Logic/Description.vo
FileSize24809
MD59A63EA018FF73DE5E1CED1C96D9E233F
SHA-1001B72E7B9BF4359C1479045AA64D3E281038003
SHA-256DFEAD86230A1B48983A88AFDA06CECA99A1B35A75DC96004004AEE4B236D5B3A
SSDEEP768:ciGsowWvC4RIgaGajD4ijYTRFPGzBvo6bpsllMN:ciGsY9+FcTRF6dbpN
TLSHT155B2B603961197A129B5CA316FB810C6E4459F436399273F1535026EEB1F6CB3EFCA53
Key Value
FileName./usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmi
FileSize2405
MD580429B35958E467CE6956D945982F984
SHA-100204244F31E96FC9092587BB09508DC7CBD7F7E
SHA-256923F14F57FD425AD2BE6C71945731ED9BC5E577BCFAC5EE8D924E559B072EF85
SSDEEP48:74Gn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:nn06Uvx2+vWpdQu/NLtTZt
TLSHT1B141D8543292B6D13633A3A78FDE405B02305A47C6A704BC47CC5BC80B7557A42DE59E
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSub.o
FileSize1916
MD5C084D45EB212463BBD870E7B0D47E43E
SHA-1002E5615A7BC43135498D50D3372448482E18889
SHA-2567E11CEE1092523140774D802882DCD750EADB42D2CA9FE9E6608561BE76CA7D3
SSDEEP24:Phdkx8TiojUdFvYCKKrJtxEk1KeUaKcBcEmSp53effKEgKS579DWuCcW:PLcvzvTxoeicCEz3ea4oquCcW
TLSHT1C0418C0617E7CAEEC55210B8A84E931B1758F601AAF4C71B974722199F1B0C9FBA4647
Key Value
FileName./usr/lib/coq/theories/FSets/FMapFacts.glob
FileSize319787
MD51927E2601305575C967E80921CA42E1A
SHA-100302BAB730D1B98EB38151D028CD996D5031B16
SHA-256559D3DC597C26B11F14C7F01E3CC979AF13811C53ABCA74E97055FCC31B29555
SSDEEP3072:ysodLARSmgOFBg9RP/XcTJvfzLe4QcBIFIsnQU5SaMzZ22L+fVRjPVgn2TyJaTbm:WA6mJay7
TLSHT18B6456FE71476E7B1E9FCE73874123A6C95901F72A6B0032B6EE8BF9396418D01189D4
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAdd.cmxs
FileSize15980
MD5E93D67C1C48CD1C28219D1E452755563
SHA-10033A3CD5FDA3ED9C15F1FE9267C778777BFC93D
SHA-25686F0CD720A619CB7CBC25E45B2802ED1EB89DC757464578A6DAA2F3BE6C8C2CA
SSDEEP96:pICFTBWBnurkvF3UHCwILKO9qS+n06Uvx2+vWpdQuTNLtTZuCf3+5ZKULT:pb98hurkv9UHXS7TvZuhpduC/
TLSHT1D3721A0FB3D6E6FAF47253B5C44F421A01B0EA02A5F2063E47841A5C1F7B189F6B9947
Key Value
FileName./usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrclasses.cmi
FileSize3006
MD5831CD28A1FF9C8567A5B995FFD03E7F7
SHA-100544F4C2A1802C0D83E8208099D6C254A0FCCC3
SHA-25660AFE643AE6FF2F2E90CD9F3CAEC68A5D88F0FB0FC462D94789ED0DF107902F9
SSDEEP48:Bek32RRdevjen/M6UvVzH/egUK4cWpcD1MQu32NL7Jy9LtqZlL:aRoSn06Uvx2+vWpdQuGNLtTZt
TLSHT1BF51B58C331AB6B2BE22639B4ED9419703B06F1AC6F6CCBD42CC87D8141852D47DE19B
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmi
FileSize2410
MD5C859327D2B513068203ABBC27FC4ED50
SHA-1005D299099D1706A0206679FEEF7AB5B066E14DA
SHA-256F95E60C8F3B6B4906D6B927CC0EDF4796CE0A7EA6154768A3F883641A75A09D9
SSDEEP48:sZ4vIn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:sqvIn06Uvx2+vWpdQu/NLtTZt
TLSHT18241A8593293B6D13622A3739E9D805B02305B07D6A6447C03CD0BCC166B5AFA2DD5DF
Key Value
FileName./usr/lib/coq/theories/QArith/Qcanon.vo
FileSize88836
MD51F9FC0BAD2548A921D48262A9D698BEB
SHA-1006321AAC33739D88D863E13E4A2A0B515697DA2
SHA-2566CC0AA4505A003008563C0C57FC9019762CFBC2077D17EA3F730B093DAB820D2
SSDEEP1536:Cc7ra9L62rJ+bLmfFcTRFmSbO/mJoa62wakHW5p6rPN/FYfvnIzso79:CMGo/qSf+mJoa/hi5FgvnUZR
TLSHT1DD934C43D50B6970D4D64DB4EB78A181B3204C8F22FA53675D2CE23C99D62CB397A6D3
Key Value
FileName./usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmx
FileSize2536
MD506312D04E1F10FA4D34C33DFEBB4D160
SHA-100657644AD78773D6920A85A2B6B559952293FDD
SHA-25620EE3D1FD087C95F47423A72AB3DA8A6543756CF4F80138B04920AEA5BAA5FEC
SSDEEP48:3n/M6UvVzH/egUK4cWpcD1MQuqbNL7Jy9LtqZl9uNttH:3n06Uvx2+vWpdQuINLtTZUttH
TLSHT1C751E9653383B6C13522A373DEFE50970230D657D5A249BC83CC8BCC1A6596E93E948F





metalookup is a service from miwakeru.com