Result for 226A8DF862B56DED8D81591BA190559F7E2FA03E

Query result

Key Value
FileNamecoq-8.13.2.tar.gz
FileSize6952855
MD50E68BF67189D21D6E06F1F5FE21D891D
SHA-1226A8DF862B56DED8D81591BA190559F7E2FA03E
SHA-2561E7793D8483F1E939F62DF6749F843DF967A15D843A4A5ACB024904B76E25A14
SSDEEP196608:IPg4742YgrZy/G/FoXUYd98J82l9+dI587l:PgVYgrZyG/CXUYXE8ptx
TLSHT1BD6633FC59A5090F566E4BB0B6C1DCA849DB09D666E70E2A7781DC3EBC8C13E03169C7
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
MD515D6AA5362F19227CE61C4150EEBBE63
PackageArchx86_64
PackageDescriptionProof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq
PackageRelease2.1
PackageVersion8.13.2
SHA-1DE165D578B4C102D50EAE669F6C728B19897B065
SHA-256D549ABE752B8DEA8A6D8F736A3FC5442D21D3C2D17F587C6CA2B170B37A9AC9A
Key Value
MD5EF083F91B885E671196F351ED76040BD
PackageArchaarch64
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-148A66BC612A62FB99362EAA0CD7731E0BB6FE907
SHA-256F3678878FE884386CEDB085A443565B83C3A43A1EB7901EE66AAFBAFFA886168