Result for D82B6A040A3ECE5D2A6EA5698745736C774B41AA

Search result
Graph view
Parent (40)

Query result

Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1146
MD5EC1499C27A0D3206F8D63E271403E196
SHA-1D82B6A040A3ECE5D2A6EA5698745736C774B41AA
SHA-25643B9B008B96588D41A2CD342843C9DDB3A33E22399CE6640FDA0707FFFD14228
SSDEEP24:XHCsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XHD4sQUXeEtlaFSDx9mCZ9
TLSHT1C321C6C837A2D24051DA436B5C749A07072F0B96EF29CA308373C18AD4FB05748222D0
hashlookup:parent-total40
hashlookup:trust100

Network graph view

Parents (Total: 40)

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

Key Value
FileSize6008886
MD51D51102B0D6D5E50CDABC86F85099FF8
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.2.pl1+dfsg-2
SHA-1016D2D1490E0B3C139F3C39C8EADC69A9060C57F
SHA-2564E46524640DF6A3A1F7F8EDD52B593EA675D8EDE7CF4535D4C334123E2A569DB
Key Value
FileSize2446298
MD528436B0AB558E28532B5F9870C9AFBDA
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1.pl3+dfsg-1build1
SHA-10746971352CC7059DB2F55B1996C8FBADAD22C59
SHA-2565135FC79335AAB59E092F8DB88A74584EF13DDA82FD5519F2BFF234BBD1AF7C7
Key Value
FileSize6544758
MD5876847C236E7D9F6E7D6192886D55E73
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.2.pl1+dfsg-6
SHA-1093974350666D3D9884286559D4EA39ACB5E8CBB
SHA-2563E7BD3011D79CEF1B27E3ED755E3AEC4094CBC61FD8DE9FDEF165656C7457B1B
Key Value
FileSize5515366
MD58464194EA334E1A6CAE0B599F52E6FFD
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.3.pl4+dfsg-2
SHA-10BDA931A6D77A0FF1D41196DC5A86DB9449EA1DD
SHA-2565AD3BCD1F3BB29899833DB6B03291ACFB1054152BB59730FE9C93E25B2B54481
Key Value
FileSize6584452
MD505CB84FC101B2250B060D6D481CC5D18
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.2.pl1+dfsg-2
SHA-11207CCF7C8A2F8751C91E59AE55D340282FE86C5
SHA-256E70A6C71E43A64BB3DEA4DAEDF246324E54D891582E80A4051A2D3B6F1F8E3E7
Key Value
FileSize6624920
MD50F2B076D525C7115C5D30EFDDEA1E240
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.2.pl1+dfsg-2
SHA-11AE6F5E8BD36F6D7BDC266E8FA6A39320082D389
SHA-256A91BCB4E156A63C67E9C8122C8FAD1A483F897F429E075632661CB3D12792EBE
Key Value
FileSize4930404
MD5F93B11427AA71EFB6BF317292904197D
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1.pl3+dfsg-1build1
SHA-11C1B5CB3C81E6FF7F7142DAC7C4AF31D13D11617
SHA-256E3162F1CC1ECE28B4EE46CE8573A9120DE0DAB504CA50F71031E465DB02877E5
Key Value
FileSize2499540
MD566A42F11AA65884AABB1BBB1CA4BCB88
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1.pl3+dfsg-1build1
SHA-11F0BF1A2FB57E0F60832155C092EBE86ED646404
SHA-256B65CC6789EA311D2FD0CC000282BB23290C6F74D15DA29703B1B023A32813702
Key Value
FileSize5104178
MD5F6100BFF7A7A0DAA15C202AE059903FC
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.3.pl4+dfsg-2
SHA-1205B1D8C721AEC25248CF71BCB083CF67E084650
SHA-25602EABF02E009D5E8F6D7AEE5C7821E78F059FE99B9E454114E439AA845D5E971
Key Value
FileSize5509628
MD510C049DE560361BB1A43787EAB144A63
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.3.pl4+dfsg-1
SHA-12150FFF459B8D36A5FD2D9D0E2673E2AFB8DE1DA
SHA-256EB87E61A8B35CFBEB222C77DE5308C3CF2FEF6782F990B41E471A127F94B35BF





metalookup is a service from miwakeru.com