Result for E34251A49BB0073A2AC83AFE09E6987336205AE9

Search result
Graph view
Parent (61)

Query result

Key Value
FileName./usr/share/coq/default.bindings
FileSize34133
MD5BBC37DD26371EBB15E749E7169DDE41B
SHA-1E34251A49BB0073A2AC83AFE09E6987336205AE9
SHA-2567627950EE4E76DFF2BFFC0BC93D42FAC23B659A37EFC6E8B3BB978DACC9FFD7E
SHA-5128A37FE0133BA5B4C52479BFFAA25BAF48E72EDCDFE3A983F00B23851E5436FB82D89177A9F2F06DBA81F0A800670E22CBE6E0D81E7F5881F5DDC7BA189871D4B
SSDEEP768:3Ir8jHdhz4SqE21b8pCaxKlB28SppoT+TFaq02JCCBFD3iQ1:YwLdhz4sagpCaxuB2HppTlNFD51
TLSHT123E2F89FF3EBD9738A2B38A15006764DF237C6EC8149C1547AD2985FA7CC227592A31C
insert-timestamp1650070137.1279445
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
tar:gnameroot
tar:unameroot
hashlookup:parent-total61
hashlookup:trust100

Network graph view

Parents (Total: 61)

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

Key Value
MD578CECA22B73393F904DE88B44EE39F04
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. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainerFedora Project
PackageNamecoq-coqide
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-10133B9BEC924BE58973BCB1C432DE3F70C27DEEE
SHA-25693E9D09A961F0BF41BF6D6B78624B66A674749D0DCE3581CA4FB318663254DBA
Key Value
FileSize46732
MD5058AA5746FD0A15A7A5BC7D0F72DCBBB
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.12.0-3+b3
SHA-1019A3D1B1A36D6B9424011F5354917663F8FC025
SHA-256A03CC22DC04B5AF0888089AD2465E460687AAEB08DE06F9587FFF80D5E5C9BD3
Key Value
FileSize1758188
MD500E9C7497AC3B6EACC1600ABACF3AD5C
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.14.0+dfsg-6
SHA-1052A891D19ACBAB71791C8CFDDA71B8EC2553EBE
SHA-25641A8D833C02E570A82EB682C88F2EC124B12A50D05C442C193B63F10F6DD49D2
Key Value
FileNamehttp://archlinux.mirror.root.lu//pool//community//coqide-8.13.1-1-x86_64.pkg.tar.zst
MD5777DCDBFC63EFE0D340DDC493E6B6CEF
SHA-1082FEEBB8511C8E3F65223CD7877F7A97D4D99A8
SHA-256144CBF27E2F74B0E1EC58C1481F6094F00EA0855FBB220C6B0CAD0E64A9F0C83
SSDEEP49152:CUiIxdDjSkeBvf/PlbUlq0PimS7ph5E8V9GU4lgUncHM1/k1VN5wQpPfW:Lrik+/PO93YhzV9GU1M1/k7NJW
TLSHT185C533ED529D413CEF244E768E3EBEB30A5663E880508CBFDFA451ECE5925A185DC780
Key Value
MD53F160299671D4BF22DAA1F81E6324726
PackageArcharmv7hl
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-109B8ED98E28322BFB3CA45AB73FADDCE8AF63167
SHA-2564D7EA57384E7585CBCE49AB1131DCD4464E7125D0E643FAEFEE312C690FBFC76
Key Value
FileSize1759240
MD50CE905F5967317A22488937C14BA4B45
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.12.0-3build1
SHA-10EBC8443621D94D0308923E4930550F18906B1E6
SHA-2564CA547F01659B262153C14B13254D29CA5B0BA870A5D93A1414242D8B1EB04B7
Key Value
MD548B5CD85BE4E10F51EF29190CF5AC95B
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. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainerFedora Project
PackageNamecoq-coqide
PackageRelease1.fc34
PackageVersion8.13.1
SHA-1110B95899F285C64E4FD4D8003567692ACBD45B8
SHA-256A2FC59C133C4B7381BE5996884308EE3ADB2FDA0219C2C8370E97CBD4A8EA49E
Key Value
FileSize1723020
MD5FF879B2572BFE90E6C83B6B262340BBD
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.12.0-3+b3
SHA-1116192D75CD953ED5035A269E4D6EA1B58C979CE
SHA-2569057E709CDA8D1C9179E932C3D4327483C33266A2CF7D4908464FF423F2A17F0
Key Value
FileSize1736840
MD58253BDBF3499D54B9FE2E97779A83A5B
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.12.0-3+b3
SHA-1126B261B43B61AC64AA9E18EB61EDE156F14ADBE
SHA-256CD8A39C002D84198FB06D791B48BD4A54AE13105267AD1C03199980EE62311C1
Key Value
FileNamehttps://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//sparc64//coq-8.12.0p0.tgz
MD5AE44C94C76199764D1CBDDE41337B766
SHA-116D88FD3ECAC1FB847C8FFCB465DACA24598E415
SHA-25644E802D0002710D50AFCEE32A37DDD9DD9AD1F8CF7A5C7BC281B9EA1FEE05F84
SSDEEP3145728:n0zP694lTsu8I6D74ShPs4VWhkDm1h2F6bPNwqen:n0+94+shki3RN4
TLSHT1F258335AD15F3B593D81A6F3B219C6CB2B8B7817606818B6CA4D3BF534C34B98D1D832





metalookup is a service from miwakeru.com