Result for 341A7739DE665A1CE71C965E95E4670D6649DE43

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/coq/toploop/coqidetop.cma
FileSize226660
MD56282C076D502BEDF7472B774B0D78353
SHA-1341A7739DE665A1CE71C965E95E4670D6649DE43
SHA-256E409E6FAB5EEF5CAE821D83F1DCEE204FD3329F2D3303A29D17DBCD10CE6A624
SSDEEP6144:67Zo82zVSZ+2z6zNkOJzBTCK1QKDc0EDJuD228:MS8AVA+2+5HBTb1QKDc0EDJu2X
TLSHT1F424C54EBF24E576C88519BACDE5DECA0210597F78036F6B008D0A2989C271F9F45BDB
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
FileSize1102760
MD5C5629DD33C8CDF740FE56CDFDA0C902D
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.5-2build1
SHA-112949FAE458712936EA2F3FA68925533012803EE
SHA-256B120D6C79B6C0A6C71B8AB3E2B173091DC82D451534BFEDF054CCED39893EB6B





metalookup is a service from miwakeru.com