Parents (Total: 5)

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

Key	Value
FileSize	22800288
MD5	296AF2841155EB30FF83C4D007150144
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-5build1
SHA-1	E04D5053C162C600CA2695DC0B419EB631874850
SHA-256	1AD147A24925BB2CF0EAFDBAC4110DD3139464E6B91D498C0A9B9BB161F2A70A

Key	Value
FileSize	22818384
MD5	5EE90D6055953E03BC0E6894BB69DCFA
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-4build3
SHA-1	C5308EFA788DBDD8297BE0EFDFA43BD311600A0A
SHA-256	5206AA491FBB579C28457C28C3FCA67DA7CB8D67E67E285273D1A508A4E86FBB

Key	Value
FileSize	22819814
MD5	73E5143192B4EF34FEA2CE8B521475D9
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-4build3
SHA-1	9B236EEA6093DE58908BE0E110D6A1A18ECF23A4
SHA-256	1BECBD136FE7C9545BC4093B1DA5376DDDDA6FF896D1FB1476EA31C9426B2317

Key	Value
FileSize	22801252
MD5	288271108ABE3844E7F30689FE312E00
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-5build1
SHA-1	920FFCA198CCD6EF8591251D47493B35A94F9BF3
SHA-256	636F1C43A47EB90A262C119AF7FC30980A4986C7436B3264B46769AA0DCB2244

Key	Value
FileSize	22797996
MD5	04787691FD9F2C83C6AEA20DCD204228
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-5build1
SHA-1	B6490EADF0D300F6DE6005923BEA95493323D8D3
SHA-256	05EACC21CCCAE3D251F92CC3DBBB7B494D856C904D9D1A7510EE7CCC4D345972