Result for 014FBA974492178C8491EFD9DF184281FD86C7FB

Search result
Graph view
Parent (12)

Query result

Key Value
FileName./usr/share/doc/packages/coq/refman/_static/diffs-coqtop-compacted.png
FileSize3458
MD5F30C7CDA1EA063086968EB7A95EC9EDF
SHA-1014FBA974492178C8491EFD9DF184281FD86C7FB
SHA-2569D073C4CBA50AD7AE7B5A840606810DF6C130641C96BB9DDBF21EE43FA0CA776
SSDEEP96:D7Wd5b7BLnTR9pSwcm5CtMoQUfyv2GlsR3:D7s5nltJ5CqoPyv6R3
TLSHT17F6109F3BC42BB41D21B42178CB095382E6A4D928476CC16F72F326C6D7BA115D81ED6
tar:gnameroot
tar:unameroot
hashlookup:parent-total12
hashlookup:trust100

Network graph view

Parents (Total: 12)

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

Key Value
MD5B5D3E8F95485354F328266A3765654A4
PackageArchx86_64
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageReleasebp154.1.44
PackageVersion8.13.2
SHA-17712E2102DFA52A5D3D1ACAB3CC06BBEFA371397
SHA-2567E9944B5AE65951DAA159FEFD5D527C2331BBE994415579634108382C70DA1BE
Key Value
MD5A1A864DEC3B230ECB3849ECB5968B08A
PackageArchs390x
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageReleasebp154.1.44
PackageVersion8.13.2
SHA-1DD96C11A59A8CFD0F68E2A937C31DA378C0B0E46
SHA-25613722921104C50D5FDD60219683F1ACAB53474033C2D11867BD484841E357A1D
Key Value
MD5AA756BB222B4292532B4108C3C20E0DC
PackageArchi586
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageRelease1.6
PackageVersion8.14.1
SHA-197231FCBDEEBD2E1C301173D8EA035766738F693
SHA-256726437DE8F02BF45ABEA092151F328A9F962F5A96EF26ED2C6842507BC3C4AE6
Key Value
MD5598BBAA1F874471A9CFF972690B60CAA
PackageArchnoarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainerFedora Project
PackageNamecoq-doc
PackageRelease1.fc34
PackageVersion8.13.1
SHA-117A3183B0855FA8C2770EA60F1195BA2CCB11C71
SHA-2566B4B49E6358349A5961DB552B3E1B075237297697115B83DE0DC4895A58D5D03
Key Value
MD54EC33058F338885C4EFCE839D06A6C4D
PackageArchnoarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainerFedora Project
PackageNamecoq-doc
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-131BBBF854BC2EC65D4D19B5CEEF35BE8C33D7CF8
SHA-256407F729B2B75A6377B4F82D77D6FA34C49308C7CD91020097DB80B1E4C7F225A
Key Value
MD5D078C6B8114F4C41E40A900EEC09FB97
PackageArchx86_64
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageRelease1.6
PackageVersion8.14.1
SHA-19052D6F90BB6E4E8A193FE1DCEA598154741B3E4
SHA-256C232A1D9A618CFA1C1BC2F23DFC0CCC00BE55A2534772C52051877756BC046A9
Key Value
MD536432E3A26D47FDD4C0DBBBDE4E40573
PackageArchx86_64
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageReleasebp155.2.13
PackageVersion8.13.2
SHA-1D51CF5C0E9C43431D3F41C8C5CD5053F0E2A5763
SHA-2565016DFDCAD252644A2946D0BD211A0C07C969835304DE18E7B13779F82CC02DD
Key Value
MD526758E2C9FCC85D93674508916E0895C
PackageArchnoarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainerFedora Project
PackageNamecoq-doc
PackageRelease1.fc32
PackageVersion8.11.0
SHA-1DB52DF9B457D6745D9EEBB712FABB19A81004C87
SHA-25605D31DA1168DFACF8BDF01D857E13064942F366116CD5C2060BBB7E68A34C4AE
Key Value
FileNamehttp://archlinux.mirror.root.lu//pool//community//coq-doc-8.13.1-1-x86_64.pkg.tar.zst
MD54991074F9F2459C0028E70982CB49E98
SHA-17FF3E266C693B47A640FB2AC4E12DFD53ED3AFD0
SHA-256E319CB1F8CFA4A061E007C99A75466B0DE229AA669919BA02917153DB5560B7B
SSDEEP196608:lvMy/HJkF4LqWvDFFmws+7738pXWhmPUU6FFA5m+l+2SNptTwbbv6KOeFCZ:l3/HiZw5FmmsRWhm8J2SNptTki1Z
TLSHT1AFD6330933780C12D21AAB747BAB841E6467B1AEE827EB5B3B714B01F72457D219F14F
Key Value
FileNamehttp://archlinux.mirror.root.lu//pool//community//coq-doc-8.13.0-1-x86_64.pkg.tar.zst
MD5E5340E2D3389ECAC084F2894596A94E4
SHA-161F09E4B87B7A082B966ADA6F07F324FFE0B2EB9
SHA-256EC6341997040F843A75E29F6EA737C80812B4302587BFCE4FF5A7696E4AE38F2
SSDEEP196608:gh+ntwETAffb/uU7dfxlyBHZtwmeZElv6YXB5a1OWWn31vrb2hz0Lyg9/tI6I4t0:gIKtVRxlyIZWK8WWnFjb2hzC/e6xDa
TLSHT1B7D63387D57F1A07C62D22B1F7DF4215C4A652A9EAE7C3313E72780BF98582BD60224D
Key Value
MD557B657B809DA145E1A7F3DEE9F13D0A8
PackageArchnoarch
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-19214A84088D9F6ABC83FAD9AF73C37430BC28FCD
SHA-256354FA58AD83EE0981C0662772D67F79B2FCA378CBB8AAA122C744CE6CCC3F48B
Key Value
MD52B81E5BA2E85D9E9ACCBAF592EB9872E
PackageArchs390x
PackageDescriptionHTML reference manual for Coq and full documentation of the standard library.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-doc
PackageReleasebp155.2.13
PackageVersion8.13.2
SHA-185BCE4A79C3696EDCCDEB38D9BFD43F7AF72A49C
SHA-256C707FB48B83D78BD3993D3C2EC971E60F19EBF095F7006D319A3E56BA0D951FE





metalookup is a service from miwakeru.com