Result for 16A1A2F5A9EAFB316B47440CD5C1F0C17678B61F

Query result

Key Value
FileName./usr/share/doc/coq-doc-html/axioms.png
FileSize13848
MD507BBBC75F06380E1D25F890B2B693C24
SHA-116A1A2F5A9EAFB316B47440CD5C1F0C17678B61F
SHA-256D30C4672BD138978F627423236E14AE2D22338093DB7FFE8B97B8480ADA191BE
SSDEEP384:e6q/8lS90neJGiVFqg2upFlz9MO0/GQS+NqzOM13:RY//GeFTPMO0uZIqzO+3
TLSHT1CE52D00E97B14B0D93443578107F45C24B9803D5D1F90EC09AE26DA5BCB3A9B5DEADC7
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize462740
MD57CC59BC8505B5418704944BB8171ECCD
PackageDescriptiondocumentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq-doc-html
PackageSectionnon-free/doc
PackageVersion8.6-1
SHA-1822DF86E6B488955ECD75D3E62647048F10369F5
SHA-2565FF5F9B3AC2136E450CBB61573CCBF90CB5B8C7DD084774839BF3C4DDA35E588