Result for 9D4259C2C9638DFA34ADCC49783A07B70803CE2B

Search result
Graph view
Children (2155)

Query result

Key Value
FileSize21750844
MD5145CCE6E7993464F5F037AC47F1448ED
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.14.0+dfsg-6
SHA-19D4259C2C9638DFA34ADCC49783A07B70803CE2B
SHA-25671BA91B1FECBCAFB9596441D453CE19A42966E97C7A35C523A79C666CAB86C56
hashlookup:children-total2155
hashlookup:trust50

Network graph view

Children (Total: 2155)

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

Key Value
FileName./usr/lib/ocaml/coq/theories/Lists/SetoidList.v
FileSize31087
MD5D0E79231C29F79456178E7CFFEE9FFCD
SHA-1001FA4E63CC507B3361908EA22B2BA19C058BFDF
SHA-25681A41C28F0F149FC2126F74B34C9FC5B8F3B3D0AAA1B37EDE343A9AE69C2EBA3
SHA-512FFD4B11459C724774F5AD205FB3E12B1104CC9C297EFBBF5CBF585A96F4066B07CAFA38F9AE2F7C4B3200038430143080D3B5ADBDE768F802B4F36248F37E916
SSDEEP768:DNE2537SyLyCbUX1E/+VHs9fjyQ0DHng8Mcyzcvu0:5E2537pLyCbU0+VH0qDHng8Mcyzcvu0
TLSHT116D2868223CE5B6255DB927BFF9254C34018DEE4EBF65A54B94C833E035F36897B0624
insert-timestamp1683748268.7434475
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Numbers.HexadecimalR.html
FileSize17388
MD508C8566F1EFDDD09AB0C401060A3E7BE
SHA-1008C14F0F548DBDBCBE7ADD186E6BF122C6EAFA1
SHA-256DB089C720C6C843C383516A8DF44205632B67DF8CF3770D2A3B4D9EEFE2FD32B
SSDEEP192:6pKTm8otMpGuOruu99b+dTlWsnj+cxSWknt:6si5MQuO6uSdpWCac4W4
TLSHT1FD72F8A443A6193B49B787F516FD2B28F0E14E46E44A4851F2EE0EEB07CEF107556833
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/NIso.vo
FileSize137680
MD5A37EA773B85485F70B2482A0F485645E
SHA-1008FA8B533914C56B317ADC21C9E9891500734E8
SHA-2564422E9B3918B4466AD3FF3AD80F82B0B23B0C37DAC3070E0698A1C3E73CDFA81
SSDEEP3072:SFgIYL/dtsd89LzTYJCeazDZsMr3U3eCdIG6KDHL:zPD0qzKCvzGu3nEL
TLSHT12AD32942D242926ADDDD19FAF374F439C4B24E9D40FF83E48D3DC1388956686A2927C7
Key Value
FileNameusr/lib/ocaml/coq/theories/Sets/Partial_Order.v
FileSize3801
MD59F1426FDF622F8CE77C5519AB5BA3960
SHA-100DC4180885DE1287329EE220030D94B2F81C6AF
SHA-256A1BA74D3AAACEA704417777C27AB2118B5BC808BDAF064B02851A012DDCCD565
SHA-512D15D37675E118D0E6D4C90AE02D19324BAE5872EDE0CB41D3912B2863C9F338D089576555D08D66DBA365DA61D61E086A6C3BDECF93EC3B5E19618AF51FA5B32
SSDEEP96:eDCzPFAmQdJNt9gfTBfCNs9pqDELyKTujkEbZOMXjkEk0iY:2CzN0efTlbeUjqknMTk/Y
TLSHT17C71A84A0DD08F136787CE698EA1A5C187604B7B36AAA010F44DB77C2F4FCAA1276A55
insert-timestamp1727037325.5925014
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
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/lib/coq/theories/Reals/Integration.vo
FileSize27518
MD50B67AC416FD58F7FEAA654EEEE8BE76B
SHA-1011A87CF42EF83B5B068B49705A0B3407DDD9DA2
SHA-2569E5ECB6085A25191D24D516AEA09C0DB208655A744225433E02B824A30206850
SSDEEP384:1YetrutmBaRtO6HEMo45HZN3jrZ1Adl0x41VivpGzougJftaKVNktm6LUTCYtAeA:TtStRtTVoQ2s4ShmUft9CmwEAjWG
TLSHT165C25284E11087E09AF6CE704E3820D594461D87E3595FA8E679826CDF1F7EB2E707A3
Key Value
FileName./usr/lib/coq/theories/Numbers/NatInt/NZAddOrder.vo
FileSize65623
MD5EB9590889A17EF01CCA6DE9DBF89E925
SHA-1014CCB1858BE7FF42CC093DD112F52C4A288912D
SHA-2560E81260C9AC33558C464826B811AA9901A6B2A23580BA69B77931C209E7E9B88
SSDEEP768:5LA3MB+azqoBKNnovtYkGqyR3SVDBlpY/Y5L82PVcv/yjD0AG6H324FxjHYpeITz:5UMB+eqyTvCqyRokqBN2mm4Hieg8qSPY
TLSHT152530985EF5F4052E49219BCF3B4A12AD2B9DE7E437C8381DC2CC218D6967EB56813C6
Key Value
FileName./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.Ring_tac.html
FileSize89100
MD563D261085B008A99982324A340391099
SHA-10154D51528AC33851573129EEEF4C5210A594705
SHA-256A0B9A8A341EDCF2E520F8974E0FB05659D1223209DD7A8C1431111FA9C3AE5E3
SSDEEP192:6pKSa7wawZrCjakYnNpFO0SivsEvqYYsFGTsG4XYxIV3dRDJTIOffY9qIDicQprr:6sFphyDvq/l+nyKk+Yc
TLSHT1EB93E7D883A27832493788E672ED9FABF4E05A8DC5C84900B6FC56F653DCD74B106867
Key Value
FileName./usr/lib/coq/theories/Arith/Peano_dec.vo
FileSize14796
MD5F58833844B1634FF29703C2A6A35B715
SHA-1015547C6BE6464F889A4C42FAA843CA744A024F2
SHA-2563FD094B369B205F2CADDAB4647818355FD5631559D30AFFA453632D9AFE321F3
SSDEEP192:Zq2kgF01gag4iZLMFWP9puVJwqFQZGvnMw4JAce8/OnZdc7CZ3RLQzeW7IHmxL6S:ZWLVuYFWKn/QygJAbtbZ3RkHIG4iZ
TLSHT19A62B5499510C7A2DCBACAB0DA386084559D0E9FD34D2B585678422CDF6F6EF3DB0387
Key Value
FileName./usr/lib/ocaml/coq/theories/Structures/OrdersEx.v
FileSize8267
MD5F1AFC1099CBCD1ADF9314E3A2C790C11
SHA-1016A2E71762772AF3958CA428711CDDDBF282924
SHA-25687DA62CBB1B70E6DAC53AA6F3935B169D0C8419B5614AA9E4FBE60CE18992AFC
SHA-512B31A368E43D845F777C659CA918FAA37D722BCBB50D12322230913FAD3939FA017A891E099730F2FE5FD1F456DA6E84F7F3F74FA1AFB345F44DD7AF5BA0EC04D
SSDEEP192:2CzNpRtmgQNaitvNg5KhrTY17xC3yD40AObkVDtGGj:2CzNVmgQN1VS19CUWDtGe
TLSHT12002B86A35DD8D0162C5D4F6BBA45CC67129964822BBC644F10CBA3C1B1F3FA5273B82
insert-timestamp1683748273.636435
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31





metalookup is a service from miwakeru.com