Result for 0002CCE6F6BC5E051BF3BA6F9E0BE4402EB6365A

Query result

Key Value
FileName./usr/lib/ocaml/coq/theories/Reals/Rlimit.vo
FileSize69036
MD572A12F44FD63BC9FF7EF90E8CD56EA04
SHA-10002CCE6F6BC5E051BF3BA6F9E0BE4402EB6365A
SHA-2565305F8DC1894BE66D4E58560F696C3E41AE413AC0A8A43D31EEC96A81E2F8704
SSDEEP1536:FdNbLRTUyHjGlYtBhK3f49577O/UPqzhz9gmED2DZwbfmBgPSM5RBX5:FdNxTVjTFK3f49Pqz19gtDNb1SsBX5
TLSHT105630845E112A7B0D8FEDE74DB3860D054030C4FA37A4759AA38816CDA8F7DB2E76687
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
MD5360F43C1E84743A0F500DDFE046DF5F5
PackageArchi586
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
PackageRelease3.mga9
PackageVersion8.13.2
SHA-163A915CF36475FB9071593AFE9DA9EEE23827FAE
SHA-256924B046827FA94D9CA358F3CC5243EBABFFD88AA6FD2E493004C86BA0097A3CF