Result for D420E1139F84D5C89C7938CB2D428008DEA26086

Search result
Graph view
Parent (89)

Query result

Key Value
FileName./usr/share/menu/coqide
FileSize162
MD5F2431091B7741BE124B0C9D0DD306EDB
RDS:package_id182052
SHA-1D420E1139F84D5C89C7938CB2D428008DEA26086
SHA-256E966CE35D8539A6990FFD46D905F7762DD23D36783D0C3DB6CA04E47B7D028C1
SSDEEP3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfVwGERMQWYHgq3gHv:GG0UnD4NWuj7lDcwGdh/Hv
TLSHT19DC08CB0B12492758F23EA72B22002087292F0914888AAA0A8B2860097014B01317B9E
insert-timestamp1679425506.2691462
sourceRDS.db
hashlookup:parent-total89
hashlookup:trust100

Network graph view

Parents (Total: 89)

The searched file hash is included in 89 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
FileSize1102760
MD5C5629DD33C8CDF740FE56CDFDA0C902D
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.5-2build1
SHA-112949FAE458712936EA2F3FA68925533012803EE
SHA-256B120D6C79B6C0A6C71B8AB3E2B173091DC82D451534BFEDF054CCED39893EB6B
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
FileSize1891522
MD5CB7D9EE933D0A3ED18A31F1F382F0480
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.6-4
SHA-11AFA7C97D5564ED5491914AB485355DBE5F05B00
SHA-25665681B65A2E4A4968D61B4874575AEB105BD385AF735E62C4B6E9205D7D98035
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





metalookup is a service from miwakeru.com