Result for 0291BA724564A2785ADE5D8519611E9065F81569

Query result

Key Value
FileName./usr/lib64/ocaml/coq/vernac/declare.ml
FileSize41740
MD5E6F59E064B04CE29DD6F77ECD063623F
SHA-10291BA724564A2785ADE5D8519611E9065F81569
SHA-256A9F278002140B0FAE883B9BCB4DE1B4271386AC824255ED84677FF467781C07F
SSDEEP768:DN3wo9uh1b9euhNFXXwein/AiZJwlxFJG+OJC9gTNsdOQ:54lcsNFXXLivwFJWKJ
TLSHT1DB13FA919BE41A3A64D2C2F5599ED8526B25821F1280747CF84C42247F4DAFE42FAFEC
hashlookup:parent-total6
hashlookup:trust80

Network graph view

Parents (Total: 6)

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

Key Value
MD5825F0E91F37D26E255D1721DA9ED8F1B
PackageArchaarch64
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1DA46AD5257C6E14B982B00BCE43701DD01358225
SHA-256B25A30FBBF6251F691395C97D8EEF740AEF6180C0E07454498D5DD194ED4A3AC
Key Value
MD5DA2313107102EA92519BF5B6CCC0289A
PackageArchx86_64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1FE1F0C607B2C0222DE85367A2E9405DE618714F0
SHA-256E385C3C83AA0CCB8547A1DE25EA780FB644ED3A996836AFF091DBEE344AAFC32
Key Value
MD5720F8C05721D6D87AD3FAF8F59924745
PackageArchx86_64
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1CE861A50BC3A2E9DB84A67370C321F7A50D73289
SHA-256928F5EE69309BF3CCC1B2FC6C4B28B266C659483C2741DF98D86984F68A826C0
Key Value
MD5C8475056B6D513AE51E758781D57A218
PackageArcharmv7hl
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-17DDFB1E2A16980B7C6F67C4F9FB76C3397481450
SHA-256DA5E344B0E07B82B25960E9430780B8529D60C7A8B672433AE134494E6B40D27
Key Value
MD5E3A65FDCF85DD504B1961A508A3A0B49
PackageArcharmv7hl
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-15E89D1A91A3FD244BCBD7D51E6CC83CACE990A39
SHA-25678103730A5B6CA53605CBE6442E5193C40CAFBB1FF7FAF50B5BED3A5541AF733
Key Value
MD573318BAE4479DF03A474B2A130AB5F42
PackageArchaarch64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-11373ED4DE9C4AAD615481488035CE0B78537E996
SHA-25649DE9FF34005693FFDCA741B7BDF75250F8D3104CFAB7D3878D14A57FC99EC91