Result for 0336DA56F1F13398315F21DFADE0B91081404FE2

Query result

Key Value
FileName./usr/lib/coq/theories/Logic/ClassicalChoice.vo
FileSize4492
MD5B735E7538C76808DF3730641B4D33876
SHA-10336DA56F1F13398315F21DFADE0B91081404FE2
SHA-256208754F2B7E8DFADF7012E85F0F93A74AAD9D74DCFBE0E4945A34BCA30E25363
SSDEEP96:/C2efpIS4TAHoZavXwo54MLf8L966dg0pjieI6dsgYD6BmWqI:KpSDejvXworULwUzpj9lBmFI
TLSHT1CD91614FD43148EE8CEE98B1F93422D2D2A9458D45196B8D5502C13DBDEDAAF43BE248
hashlookup:parent-total5
hashlookup:trust75

Network graph view

Parents (Total: 5)

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

Key Value
MD569CBBE84CC185A57717B538CB05EA1EE
PackageArchppc
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-1A0062E3C9D35D1DE6E83B74DC22895BDCDACEAC3
SHA-256EAF7E4F286C18E1D32F21EFB5F579281D3DCC9F06A9D83575CC345D4191BDCE2
Key Value
FileSize18107490
MD5FFEF7B24780701042607F1FD66B44697
PackageDescriptionproof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.2.pl1+dfsg-2
SHA-1484CD9786B14EE2BB3A943A0B1F35516421F36B5
SHA-256A8D0FA2227BCCC44B94FF5E9ABB66C36D9321FD18914158C4B4D6C8AA10F2382
Key Value
MD5826A03777EAB2EA8A99332FDD6C27198
PackageArchppc
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-1FED90FCF4D1293004311951663F89D484E2D1DE1
SHA-2561F706C98FCE44B7F31CB367140D27AAFEF402A061755FB7537F2F348D4C7069C
Key Value
FileSize18108438
MD54CE1C7DF48D2D7F25D2D1CD698023E6B
PackageDescriptionproof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.2.pl1+dfsg-6
SHA-1EEBAD0194D02FBD87C9F8D6011737151E620F112
SHA-256F671C8C02FD5F7A48575D5D9552E4F956620BFB235D90E4B3BED86F6B53E543F
Key Value
MD5F28E6361B8135BFCC8DAA694FFD0941E
PackageArchppc
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-1A83EFCC4D646BEE74C65B73D3237F9087CBF6651
SHA-25604BFD1FBFD5525D8CEA0ED213E1A1605529FB19FBE456F4D8FA51A2FDC1CB207