Result for 4E325907CD20998191280D77FE03740F1586AFE3

Search result
Graph view
Children (2329)

Query result

Key Value
FileSize20336724
MD5D228FE28FB841FBBE39047D9728EEEBA
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-14E325907CD20998191280D77FE03740F1586AFE3
SHA-256FDBE5543314A038F05284C0100385E68B92446E1814BC748F33411E35F9CDF34
hashlookup:children-total2329
hashlookup:trust50

Network graph view

Children (Total: 2329)

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

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/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/Logic/Classical_Pred_Type.glob
FileSize5917
MD5F5C23B508CBF3665289C17F6A577E759
SHA-1005921905EFEACB2B2A753637B6A1D531DA33885
SHA-256A2884990965844F1BF56E8122BF0C1A94620C4C8C5B6D62FCA6D134286EEAB51
SSDEEP96:HwVBLayhDSSToiCogFHwwMBMBg3icorpHybtouFfBJQSHwuP1GBCuhGItCfPi2IZ:HwVB5noiKAyg3oHotLxwKUCStCC2pg
TLSHT16CC10E29ED015CF41FDB0D768F6023A932B782447F4A132069AF4F9E1DC5D5C25A9F29
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.setoid_ring.Ring_base.html
FileSize1335
MD560AE13B5C1B198147B1DF4C31E8FB9AD
RDS:package_id182052
SHA-1011F9A6199D2B90932D0A4FD3C68522757632BE7
SHA-2569D3ED0542CE5ECF5622F255770167BDE04805A76280D46FD00ABAE342504A6AC
SSDEEP24:hUdsmIZ5fsplpoxVHpiK4bUbBRXmJHnYeRYJCRXNHjJaywYJCRXNHjXyXYJCRXm3:TmIDEplpEkBbUbKYg919w9+XGpqi
TLSHT1272149A4A3A2593B59F28AE201E9B728F0C14A0BD0D54844F2FD57E3579EE50F0214A7
insert-timestamp1679425894.0442767
sourceRDS.db
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
Key Value
FileName./usr/lib/coq/plugins/ssr/ssrbool.glob
FileSize257842
MD50AB42E2C437731F5D49874CD4889ED48
SHA-10129B07489DEC136CF119F7C8150A968C3985E13
SHA-256F5CFAC145E351DC4A7A6C6DC65B65CA2F52CAD550E1EC485149846C0F246F74D
SSDEEP3072:NRhI7Gv7c6eoohmymiH/kSk4bX/aVxdXzdkYEyuJnXioYyFcAW6yZz3DJwT4K7sJ:NgXSVxd1EXeyLU9+BLM
TLSHT195446778D245853DB76A0C3FCFC733D57A6B2087A6CE9961A97FC9F5089C21C884BA11
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Reals.Rcomplete.html
FileSize3493
MD5CF186F70647482C8D68E06833B2738F6
SHA-1014F6B55925B8644D84300F8ACB33658715147C2
SHA-256C3D66DAA2D50F7A552FCA42367BF3D9BD4034F8387A6BC6ED756CD8FD690728D
SSDEEP96:jGpE5W6G/6NG+GmGJUYBQbFza5U5bRJ5Qn5U55CGNb5o529C5Qn505rm:KpE5A6rYM7
TLSHT1D67108E893925D3B59B38AE706F92728F0E0494AD4C90D40F2FE56EB46CEF207515863





metalookup is a service from miwakeru.com