Result for 43303483F79D49CF7F7D85E6FB9303456872A65E

Query result

Key Value
FileSize30160688
MD579DC8D395764A53E2E7174E9C489FF36
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-143303483F79D49CF7F7D85E6FB9303456872A65E
SHA-256F1045BBC4C4B0D445165256DBBB3B73A5398813ED92DA2715B7FD1046A55D2BD
hashlookup:children-total4305
hashlookup:trust50

Network graph view

Children (Total: 4305)

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

Key Value
FileName./usr/lib/coq/theories/ZArith/Zorder.vo
FileSize69350
MD5843A675B2B727A18C27A12FF19E0F9F3
SHA-1001066F68FE9F3F9635FF9CB1ADCDF62ED21753A
SHA-2564CC80878722B64D6474CFF011C91B230C6E11ECC6049522C4E62ED60ECA0ECF1
SSDEEP1536:+iyhn3Uhh1fnYdBudK7ZSpjL0WtuHLMJG:+iyh3MPfnYmdymLaHf
TLSHT17C634B91C317F158A4FE8F78FE34540CE316498FB2A865490529623DFAEB1CF29AC647
Key Value
FileName./usr/lib/coq/theories/FSets/FSetFacts.glob
FileSize90216
MD5ED13BACBF40215B27D6A563A93102281
SHA-1001181BE688980121F7BA73927E0BC609F5ED602
SHA-25671892A6DD487929060A351B489D2C298B1B559BFC2A59BBADD8F8C5157F9E591
SSDEEP1536:4u37bL44DVsOTywvSIXIl0iXpmSmXmXFZsfgLqeRiW5iWQ9vDtSydyVZSCClPnG6:4u37bL44hsOTyV0iX9ZsfgPph6bwCjV
TLSHT128938CCFB259E5B22D8FCF675F050AB28D5601FBB5E210A47E4FC7FA39A90C505049A8
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/Numbers/DecimalN.vo
FileSize41750
MD521BE3A9536B9D340074F20CE8D1E0655
SHA-100240651A719D76169AC7F20E6AB84731368C9BD
SHA-25618DF4C33465C1031AB0D0EF0C5A54A08266E0D05CAC23D56A928FADF4BA3E263
SSDEEP768:1xgEGEhF7LBvLREHUdmZ06mRkFXCUsasEzUsNuifBRmSeY:1i52LVLRA69R0/Ac
TLSHT163130A139011DBA215BAC9B46A3450C4F4008F9BA39A5B6C522506AEFFFF5CF39F464B
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NIso.cmx
FileSize2304
MD53B0BF4EE3A770F5D1C10725270DB6CA4
SHA-10029A9CCAF63167AFF842D0C30603951433F0B4B
SHA-256C1BA2C69BEEBC0983F6088977B9BB21A886E9051E13F9483FAF88ED19C234568
SSDEEP48:fTHVERKRiQDji/S+0A0Fpx62x9HoymDHUb6uuhsJUJWWptr6F7:fTH2WiWAGXPx9H5mDYuhsUftr6F7
TLSHT1B041CB6D33C2BA6B7913817378ED405A41300027C953D8B477E84308C5BDA6765F6907
Key Value
FileName./usr/share/doc/coq-theories/html/index_abbreviation_A.html
FileSize20442
MD50B3448918F85DCD43A71D41B74DC42B0
SHA-1002CD2866D4F19E7F9686BAE0C93CCA32616EAF6
SHA-256FFDC034C002860E851BBE7DB830EB14AA4B5EB3AA7658C426B8657E889478152
SSDEEP192:KpWEMfmjnJPRJV7lQs/JLBVxhp6tEo8/3QxIVCWiy6lfgnPXnnRdbbU:0VBhxE5
TLSHT1A4922B4614D2646E52597A2E4AF47DA962F30BB54B243C04EF9FFD7FCAA63D0120D283
Key Value
FileName./usr/lib/coq/theories/Reals/Ranalysis1.glob
FileSize314189
MD5BF990FFDAC7841758CC0BEF312EB23C8
SHA-1002E1E047B1908A952247D407118C05EBEF4D707
SHA-2569121445E8038F0B4FE6BD22A9B02A8DE75E39E169E7081A1AF9915B7B24250BF
SSDEEP3072:XdlNpZ1wkIA8qO//T14jdTljAz8SKq3atNYs2++Su1p1EsuU9uUDCC3z+vBJDbsN:E
TLSHT15964CA3F048A8237D95B8CBAB3ED3377BA3B8946594F28D1D74E95985C91928005FFB0
Key Value
FileName./usr/lib/coq/theories/ZArith/Zpow_alt.v
FileSize2711
MD5C331659772E738D43AA2A8F6A432675B
SHA-1004653DDC3A09D0A340488EE25F89E580FE8FE46
SHA-256E757FDB25821EFBDCA3891FA6C74D81AB53C9D154430FC62C8DF5991D2B9EC20
SSDEEP48:eDG9TqcNExg93vQOKGv+PNlNSvW5BVW9Ri7YJp7YJX5rpkGfT:eDCTFAIvV6HynjOXrPT
TLSHT17551440759C40F23278F966E1E8390C7A915559EE1F1E718F4CC7229AB8F41B1BF01B9
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmxs
FileSize17936
MD5AC4A5A5D8C64B017B408D09682BE2905
SHA-1004F19A4C7B1FE164E3A2AC9CCFCE1EEBAC6C1C4
SHA-256728EF8C278A5F38D93239B63B29B99EE4AA48428A21707FEF992F6DAA674CE23
SSDEEP192:R+7CpB8yC8/7FdeHkmfi+JftH9ABlOi9:aCdC8/76H1NlHy79
TLSHT186820909F296D53EDF72C6F140AF862422F1A809FBF38733695067284DB27086B69947
Key Value
FileName./usr/lib/coq/theories/Logic/Classical_Pred_Type.glob
FileSize5917
MD5F5C23B508CBF3665289C17F6A577E759
SHA-1005921905EFEACB2B2A753637B6A1D531DA33885
SHA-256A2884990965844F1BF56E8122BF0C1A94620C4C8C5B6D62FCA6D134286EEAB51
SSDEEP96:HwVBLayhDSSToiCogFHwwMBMBg3icorpHybtouFfBJQSHwuP1GBCuhGItCfPi2IZ:HwVB5noiKAyg3oHotLxwKUCStCC2pg
TLSHT16CC10E29ED015CF41FDB0D768F6023A932B782447F4A132069AF4F9E1DC5D5C25A9F29
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalNat.o
FileSize39904
MD5A7BDF15D4BE0121B0F5C11DE626BDFD7
SHA-100676DF75577ECBF6FCA5D1255169BFB54FC4C9B
SHA-256FE77C9B5DBDBECB66AEF70FCB4882B980131C1D9F9EE9BDDA442528E3B4D20C6
SSDEEP384:Kd3aVkavx/SkZ/BIw3PIFiJ6FHhna1St:KpOQw4oSt
TLSHT14103391277A3DE2FD205DB3040BA6725717AFE649F623B0B6611331F1F32E8A8E64525