Result for DCCA38342B9150018A9B9BB44B7EA43A9067A299

Search result
Graph view
Parent (36)

Query result

Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1058
MD50369540505CC45FE1D7A3696B74A064A
RDS:package_id182052
SHA-1DCCA38342B9150018A9B9BB44B7EA43A9067A299
SHA-256BCDAD517F8D117FE0B280603F9198BF23FCCCF325ED3C1697D821FC7EAEB4215
SSDEEP24:XxFSU9NWqMBReKnjHq/zMtEWRg8eDsPZTKbvUGy:XxFhPwFjHq/oOag8w2ZT0Mz
TLSHT1BF11D8CFB6A43265F5F564DF19CC4FE43C44CBAA7062E4483AA052BC8E0C20C1DC3569
insert-timestamp1679425506.2637453
sourceRDS.db
hashlookup:parent-total36
hashlookup:trust100

Network graph view

Parents (Total: 36)

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

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
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
FileSize1114752
MD5366540D8EF77D0879DE6D94595C933BE
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-122AD98B8D4A27264CE768BD3A4F80BC9B2362594
SHA-25670B734462B399E10A1A679BA90F0A0ED2C958BFB418F8DE5FC4928E867DE6AD4
Key Value
FileSize1600522
MD50719C9C9485DED35D138160429208FAA
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.6-4build3
SHA-127024FDAE8DF81390223FB8867A0AB85AD2EF0EE
SHA-256D84938DC2F09CDDFB073F36E4FBF7E0A8A6CC5D9CAED7BCB6023B898E6C6E8D8
Key Value
FileSize1434024
MD5BA2D2E02F18E7ADE4B506BF74C2C3A66
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-130F515B4B0E7F7B800368495479B0F8E691207DE
SHA-25644D39F6985C73681387E4F1D1FBBD0542D35DD9AF1FBFE1222D399697C0005BA
Key Value
FileSize1762116
MD54277563E41787AA974ABDD712EA503B4
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-132C31A8C3801423F481BC036EF76CFC5B2D7DBEE
SHA-25676EB2D588B3DA49CF5DF28BD319EB415801AA10B5E70417BE395B780AB1F48F6
Key Value
FileSize1388920
MD5ABFA7D342FD6B5D739B284261A909D0B
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.6-5build1
SHA-137A49C83928E08CE2577A5A8D1A3EBC4044306B6
SHA-256D445D0EE43833E64BEED436591A669F8BFBCD0326D1FE5F22DC001666108ADA4
Key Value
FileSize1544828
MD5F26EE9BF27978AF0B8391FC2824E1241
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.6-5build1
SHA-153D10ACCC3FE5C902A90C08C3718879A34E5E086
SHA-256E41A56E5DC054395A99A0AF397B673D763F9BFC1C58A78CF8F49DCB8B1880627
Key Value
FileSize1701988
MD5361FE2CDA62C36B39BA44170281478AC
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.6-5build1
SHA-155C5F051F5426DAA58C99726BD4912B68C715E08
SHA-2560491ABCD967A2561C193EECE87D5DECE48CB46925CEEDC0D1F26FB2FC9213AAF
Key Value
FileSize1351584
MD542F734714AE3FD9524E1F3D68285CCD5
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.6-4build3
SHA-156A1BB54C35D8FEB7A505088417E2B62CC1A1BFF
SHA-25657B75E77ABF61ED45075754922BA577F0F9A767DA5C29F69EB1A6EFCC394F7EE





metalookup is a service from miwakeru.com