Result for 30F515B4B0E7F7B800368495479B0F8E691207DE

Search result
Graph view
Children (16)

Query result

Key Value
FileSize1434024
MD5BA2D2E02F18E7ADE4B506BF74C2C3A66
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.6-4
SHA-130F515B4B0E7F7B800368495479B0F8E691207DE
SHA-25644D39F6985C73681387E4F1D1FBBD0542D35DD9AF1FBFE1222D399697C0005BA
hashlookup:children-total16
hashlookup:trust50

Network graph view

Children (Total: 16)

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

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/libcoq-ocaml/copyright
FileSize790
MD5D42BCE1FAC516F7DF0F92782D7A37489
RDS:package_id182052
SHA-114BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7
SHA-2569B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8
SSDEEP12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg
TLSHT1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A
insert-timestamp1679425887.2714002
sourceRDS.db
Key Value
FileName./usr/lib/coq/toploop/coqidetop.cma
FileSize637635
MD5609C675A0F675C2E15A04B4FDDA62725
SHA-14B7C00AC6D0887030EE64AACFE55B7B74ECD2EE8
SHA-256E9C86E74D104C6E37D38057CF99D26D1CC6BAD9F19FDBC1A63ACC8C82CA3BC42
SSDEEP12288:KumxqKbSysUfq5PGBoEusXn1McNwN5EnkK+mb9977TlE67stvGKMqIAaISHeiypl:2J/fqhGB5l4ml7TeastGmIHeisEICyHp
TLSHT132D4C54DBB69F9B2C85518BACDE4CE8B4310497F6903AF7B0059062989D331F6F45B8B
Key Value
FileName./usr/share/coq/coq_style.xml
FileSize1441
MD53EB03E37D05236B3A49ECB675D284753
RDS:package_id182052
SHA-1504B791AB92FD9F15DE11B72CDECBE59CD0A94E8
SHA-256B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310
SHA-512CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2
SSDEEP24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E
TLSHT10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983
insert-timestamp1727037182.4660974
mimetypetext/xml
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/applications/coqide.desktop
FileSize198
MD5E1989D5AB456438933926DB995156858
RDS:package_id182052
SHA-167F9921CFC4DCCB7BC983E9752C789699C2FC585
SHA-256CFC285CF553885F6B4B0BE3993132F43C3B32032768AFC231FC5C79CCC7726FF
SSDEEP6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rOF3utJP2ewc4wD1Y2
TLSHT190D02295A4400228A9A83011CC4A0DE61E8B093801BA8138E53C00610001ED7E18EEE9
insert-timestamp1679425506.224917
sourceRDS.db
Key Value
FileName./usr/share/coq/coq.png
FileSize12907
MD55FC00DFA3FC9733616991E845B4A5DF6
SHA-173C29413AC80A4123B6D1D45A5B595C13F9F2168
SHA-256AAF038869D97CDD4EE30CB23337D3479E74AAD0A2AAD5F2A874817866A5F1DB9
SHA-5122F0D7576BE42D79AF9EF516715C8C1A789A45173E30024132265B22D2E09CBB66AF326AC9B224FD5A7019F5B1B9CF8FD13E5202F33AE11EE748EB064F6DC8F44
SSDEEP384:5dTKPkzhKNWAOrNaTqHF7UBOSGj0BIJzMQYtnHzEx5G:5tzNgcZAcSGgWOQYtT+G
TLSHT1D542C0141BD4621028733CB79B28143B496E9A6E79A3F49CB34C8334A7D638813DEF65
insert-timestamp1727037182.4693353
mimetypeimage/png
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/doc/libcoq-ocaml/changelog.gz
FileSize56467
MD5B4B120CACF47C80C1F873F09263C0A7D
SHA-17CEE2401B6CCC3A2E70089CFA5C276DAD71C0CE9
SHA-256625BE9701286FE7E124B3CD048817A540D486FB863E54ED8FD0579E27BC8C97F
SSDEEP1536:e24W3saL1RiUQwWf1TQRmuAy7Yf0GH8QK0lXLJcS5/Q0uY4gK:e2JcaVeEMyO8OX9cUQgbK
TLSHT197431266584A0EB7939067F6BBD135E419DEEFD021AECC0E5CDED68F2A944870E22940
Key Value
FileName./usr/share/coq/coq-ssreflect.lang
FileSize9688
MD5DABDD2582FF38E4E4FED7CBFE116F192
RDS:package_id182052
SHA-181AFCB464242CABDC5A705E95A7642A09AA26A5B
SHA-25679D670FDBECCBAA6A6F8A9CF32312628B3DA78E64B7D3BA223741B0D32ABFF35
SSDEEP192:H3VZZAvqJwJVKb8kBTSRovuPt+KWkr+Bh8R3:H3VZZzOVKbXZSRovU+Bh0
TLSHT1E012687895FB8E11FC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9A00CF296
insert-timestamp1679425506.2332847
sourceRDS.db
Key Value
FileName./usr/bin/coqide
FileSize4529544
MD580B75CFE15C2CA9A03F45E0E3646045B
SHA-1A6C99A4F856DFDEB06C07FC1E3C8D4C2001C8757
SHA-2568CECF1F179B37160DBB3ED222A82407419D94415F90F056DF590266A470C4D33
SSDEEP49152:LRS+uRR7eNEVvhgTGVezReQL/fywC5GTrLATKDW8OH:lS+uRR7eAvWTGVezRbLyMrLiKDWP
TLSHT1EE266B56B5909C70D0F5827AB89EA754B14AF16E97CF6B1B7C0253307BA30EA092F3D4
Key Value
FileName./usr/lib/coq/toploop/coqidetop.cmxs
FileSize356764
MD5F5D4B6C464B30B43A87F1F88DB0638D6
SHA-1B45B4EB195722CF345D9EB0874083900C37924EC
SHA-25671DFB39AFDD03F009AC64D7DC01E3EDEEFEACCB1703C044CD54990E7FC6C046F
SSDEEP6144:cCP3CkFepYcIxKChcp8M/Pg3sQEHTkb9vgPO8u4zk+7a6666x1zXyn:cxXpYzxkPwzEzCgrPkzE
TLSHT148740986F4495D7DD0E3813AB83D5314B269918D7B8B7B06F402F7302F735DA9A2AAD0





metalookup is a service from miwakeru.com