Parents (Total: 79)

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

Key	Value
FileSize	6008886
MD5	1D51102B0D6D5E50CDABC86F85099FF8
PackageDescription	proof 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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.2.pl1+dfsg-2
SHA-1	016D2D1490E0B3C139F3C39C8EADC69A9060C57F
SHA-256	4E46524640DF6A3A1F7F8EDD52B593EA675D8EDE7CF4535D4C334123E2A569DB

Key	Value
FileSize	4493912
MD5	29FAF22FD5AEF2F3FB9D3BF0974991FF
PackageDescription	Proof 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	06DBC55E6939C1DE08A3841519E3F36920F9418B
SHA-256	A828CFEA06C9B2DF621AA66E61E476059E6B359F2BF5A543FE11B2F588235B7D

Key	Value
FileSize	2446298
MD5	28436B0AB558E28532B5F9870C9AFBDA
PackageDescription	proof 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	0746971352CC7059DB2F55B1996C8FBADAD22C59
SHA-256	5135FC79335AAB59E092F8DB88A74584EF13DDA82FD5519F2BFF234BBD1AF7C7

Key	Value
FileSize	6544758
MD5	876847C236E7D9F6E7D6192886D55E73
PackageDescription	proof 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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	093974350666D3D9884286559D4EA39ACB5E8CBB
SHA-256	3E7BD3011D79CEF1B27E3ED755E3AEC4094CBC61FD8DE9FDEF165656C7457B1B

Key	Value
FileSize	5515366
MD5	8464194EA334E1A6CAE0B599F52E6FFD
PackageDescription	proof 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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	0BDA931A6D77A0FF1D41196DC5A86DB9449EA1DD
SHA-256	5AD3BCD1F3BB29899833DB6B03291ACFB1054152BB59730FE9C93E25B2B54481

Key	Value
FileSize	4275330
MD5	5D90DA02C17821675C8A72386995903C
PackageDescription	proof 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	0C55D2F4BCFC4265D27CD77CE56E7D5F410F9179
SHA-256	00C3C70308B5955A97C5B34C7AAEB2F4015DE9EECD96426D754D68A951376C2C

Key	Value
FileSize	6584452
MD5	05CB84FC101B2250B060D6D481CC5D18
PackageDescription	proof 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.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.2.pl1+dfsg-2
SHA-1	1207CCF7C8A2F8751C91E59AE55D340282FE86C5
SHA-256	E70A6C71E43A64BB3DEA4DAEDF246324E54D891582E80A4051A2D3B6F1F8E3E7

Key	Value
FileSize	4662732
MD5	53619C3A90D298E636FB6A9D62D04903
PackageDescription	proof 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.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	1213FEA99C542C929C4B5031534431A6C8CF0060
SHA-256	FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29

Key	Value
FileSize	4518700
MD5	4FB3A0ED9346CDAEBF5AC712DE502E32
PackageDescription	proof 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	14B1D4FEED3A6E81F8B9EDA308904A6D3820D3FE
SHA-256	6C5DF572A8613959C9C67FCFE683FF51D3388DDDC02C1FAF7BB0793837071572

Key	Value
FileSize	4689476
MD5	193F96C8B3355FA913F5C7824B7F6AD3
PackageDescription	proof 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	18CB7476B66BDA46CE5DBE999A791E7B1717542E
SHA-256	90E29DB1BA9A38C032C92B61F93FD731F93BA69B23E9B9B6C8FEBD0B812BAA6B