Result for 07E3D38ACB3ADB7C829B2BA6E1EEDD005E5E3630

Query result

Key Value
FileName./usr/lib/coq/theories7/Arith/Compare.vo
FileSize3390
MD5C7F9F1832E90EAC85FADE1F8D88C5952
SHA-107E3D38ACB3ADB7C829B2BA6E1EEDD005E5E3630
SHA-256AFAE53EE2353F341D2488DA22A07B29D8B7FE94F07704D289E603B77B93649C6
SSDEEP96:m9v3sat6s3aUxIfmKqzfh+X70hdWJGiCOMSBV:m9vTIsqUCfmKqz5+X78i/V
TLSHT1EC61B68BE32B18FD29DDD8F67A7C70F1C385008C01A0E7951509C6AAFDBD63607AB048
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize3811402
MD5A320C51588BA42FEDE40F8E0582E5365
PackageDescriptionproof assistant for higher-order logic (Coq 7 theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq7-libs
PackageSectionmath
PackageVersion8.0pl2-2
SHA-1DADA42C4D61643A1857FE7B106EF71E7050E9320
SHA-256470054E4C54F590B16B6DEDC28D1C793A9D03028F024EBBFFBC78293EBC9B63A
Key Value
FileSize3810994
MD5F637DF0EA9E4B80FEEF78F96F52AD0C6
PackageDescriptionproof assistant for higher-order logic (Coq 7 theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq7-libs
PackageSectionmath
PackageVersion8.0pl2-4
SHA-1B33EC1FA31F6FD9255E5E580DC392917908ACF14
SHA-256EB6CED25991A983C0E94B23AF1D3DF8ED8A836C3332538EA6E84743539868B9D