Result for 0019ACF4FD5E97E5C03C59B1272263C2E72A79C5

Query result

Key Value
FileName./usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetWeakList.cmxs
FileSize8616
MD594353D7248809E6D868FA0247F8CB1FF
SHA-10019ACF4FD5E97E5C03C59B1272263C2E72A79C5
SHA-256B4C64C893AE525E2C9CA08F4C726982EF98E66083D68FCC6502EEE201604AE1F
SSDEEP96:BPoGvUOBWBH+BQ1PgoUdfoYXtJfANMU6/Kg5SDWynpvRFFnLVAheV:Zbd88BGgoUiAt5S6/QWynpvR
TLSHT1A502F957B2585C79DC46B275C1CB02761371E8F16BF00B62C3E872182FA52E86DE3967
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
MD55EDEAE0EFAD4AC55A79095BE4F51CC96
PackageArcharmv7hl
PackageDescriptionCoq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainerpterjan <pterjan>
PackageNamecoq
PackageRelease4.mga8
PackageVersion8.11.0
SHA-1A4547E9199719910B4006C4CFF88ACA9B85A70C4
SHA-2560F7D1BD9CAB252890B75A2C817275B3C668AB98FFAAF8A94FCB70231D6F992F1