Result for 0029A90BA4DCDDF31565C7EF90D5C132EFA204ED

Query result

Key Value
FileNamesnap-hashlookup-import/coq-platform/2021-09-0/lib/coq/user-contrib/UniMath/CategoryTheory/limits/coproducts.vo
FileSize63521
MD53D55AB436D71CB33BED01DAABCF95A3A
SHA-10029A90BA4DCDDF31565C7EF90D5C132EFA204ED
SHA-256466DBDE6AD1F4A69BC82857C063556163DA4D9554F1121561EA11C777EB75B1A
SHA-5120CD7F64384F38D7C84EADB16E74E16AC22601A6A0700876F9E86E589C37239BC388030555EB96B50D6FD3C88D1D2CCD547BFC76BBAEDE715AE071757D5FDA8F5
SSDEEP768:wT/UnuNV8JyT0Jh92YUWif8oRznHJkXFSc6xQpfEjNdKomA8Q3NsF4:M/UnAQ0NHJkFS5x5paLqQ4
TLSHT16653E7E5C53B4624F8EE4F706767930A369045CFB37F6A571A1CA30144C26DEA38E78A
insert-timestamp1643556798.3310475
mimetypeapplication/octet-stream
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27
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
SHA-1D83FCE3E646A1704BB7575FEB561A45E3561B188
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27
snap-namecoq-prover
snap-publisher-idoMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2021-02-26T01:53:46.711754Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27.snap