Result for 001D60A7D5FC5A40349212A7107C61FDD374338A

Query result

Key Value
FileName./usr/share/doc/coq/html/stdlib/Coq.nsatz.Nsatz.html
FileSize120952
MD5A80ED79E861E42BD2F2C889187D924AF
SHA-1001D60A7D5FC5A40349212A7107C61FDD374338A
SHA-2561FE24EF21F60D00A9B746AE6A06C3986BF222E61E3B216E9992D80331057CED5
SSDEEP768:eEMD5kWGyQ48E4czKcRWngAVVZrkM81ijmelDl:euhtl
TLSHT154C3C8D883A23937497386F626FD6BAAF4E04D89D8C58910F2FD46F702DDE247516823
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
MD526758E2C9FCC85D93674508916E0895C
PackageArchnoarch
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainerFedora Project
PackageNamecoq-doc
PackageRelease1.fc32
PackageVersion8.11.0
SHA-1DB52DF9B457D6745D9EEBB712FABB19A81004C87
SHA-25605D31DA1168DFACF8BDF01D857E13064942F366116CD5C2060BBB7E68A34C4AE