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
FileSize	23093000
MD5	91C13092CB01CCAF067BFB468557D728
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	01E8792CC3DD055C15668BBD4FD68F016312C67B
SHA-256	14703B9445939F167FAF09D0B81169565A7532421AAAE0F00D621CFEE3A7951E

Key	Value
FileSize	42455752
MD5	FF07A095506B4F5C4134AA13BFCBBA34
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	031DF8DA017E553C330D47CF3C823D448ECC86E3
SHA-256	54C3578562CDCE8738A569B0AF159A97119B33211219C0FC03FD63D407BBED01

Key	Value
FileSize	42725144
MD5	DC9EDE594B161D65FD8A76D2745BA48D
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	04E9C9D8FB7A35960F95157BB748186F9F19E7C4
SHA-256	3D22FD62A199FD3E5FAC1D8EF7BBBB3F462E409765FD6A7C7952ACA07D9E19E3

Key	Value
FileSize	1993412
MD5	DFF704289D81CFB3C53FB106F5FAE951
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0AA9B2D42FDA4B0F66338306DACF0DF651DE14A2
SHA-256	9D87C74B6E0FED71FDDCF79A3412DB9CF3C4F3B2770908DDFE23EF89D0ABFF82

Key	Value
FileSize	22556068
MD5	FBFE217BA4C5885CF4E781483300D541
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0B79DA6A7618C5F40221CE742C10EA2F962F735D
SHA-256	C796433DBEBC58BAB6C26D33DEBA19E8EFDFC32FCC4D69332CA90774966210E3

Key	Value
FileSize	21747176
MD5	B2D687F9D53CFFDD817274BFF2DA7EF1
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0D5C8726B0D354750C5C589F756FC2C7895C5412
SHA-256	C8A339C8B5FBD78121E165D092B0DD82D657C3AB246D88956EE4F62972434968

Key	Value
FileSize	93212572
MD5	F6794ACA0A7A2EEA78DDBB0F0BEE49B6
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0FBFE2E8CC06FEEF4C1313DFD601385645EE2A27
SHA-256	6496DB435F9585E1F1527D9418070F15977B049C01C37C9BD33F7CC4152F8677

Key	Value
FileSize	42725424
MD5	7478C7296E4475A69CCA0146E6EB0109
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	36475549CB8767A40EC4EEAA7F859F36BFAF88E0
SHA-256	CF725D92990AFE1DD02E54BEED68CF1C6D3C2C77043E67796136081820588200

Key	Value
FileSize	43106024
MD5	A22DA659B450A3E84C53254A60EC039D
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	3AFD79E7316BB14B09BC04A5EDBC253510D7DACB
SHA-256	64EADDB3D6CED39EA3FAE4E1173945239BFC313BEFE5FE02BFA8CB81E9F2D0ED

Key	Value
FileSize	23093908
MD5	7D820A11A2ADD8A781722F6DBAD1E69E
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	4D74F4CF99AB427203B8B37B9F4ABA8BAFD3DFDB
SHA-256	75559F02BF968476CFD9C144CC80372E7F4F6892D5FFBB303C00F47437CE1D61