Parents (Total: 10)
The searched file hash is included in 10 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 7940984 |
MD5 | E823EFDA59737C84B3D1E2D0DF0534DE |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | CDB68C5CF5988FF223BA28BF83ED1E25FB8AA850 |
SHA-256 | BDDD22D96C1781F9BB0BD33F30011E681B4E0FB51963E92ABBC1BFC95FE3867B |
Key |
Value |
FileSize | 14001864 |
MD5 | 28FE9C69860DF6AD927263319F49B077 |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | 6894B230B3D0DA599554574F21690FAEDF7187AE |
SHA-256 | 8FD42F1730A8BE52FCBFB3FB24D65266B9B3BDB3788FB25D4F6F13421572BF3B |
Key |
Value |
FileSize | 13728788 |
MD5 | 6F3B7D9AAD34E5EC14F64CB0DA69452E |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | E97F0BC6395A9F3ECD9C563D05A0BCF53B529CDB |
SHA-256 | 654A40B3ED446D5D3DEB4D0CFB4AB6EF67F929E10EC1060CB15212AAA2DF2FD0 |
Key |
Value |
FileSize | 7940256 |
MD5 | BE7A8BA7D349D890470524E615FBD37D |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | 5938002A8714B2EDE35CD938C135CD6C21BB0C85 |
SHA-256 | 154F625D58BC8B08475F085789661A764ED202E19D92FFEF0708CC2571CD1161 |
Key |
Value |
FileSize | 14094956 |
MD5 | 28E7B24B3012EABE57830EB52102967A |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | B4FDBA2992B78EAC5A52D8C7891DCE889C1AF29C |
SHA-256 | 63ECE43E9C4BE8ADAC74FF721C9486AB2E87E63B1C9146FB991420FC4C52CD5B |
Key |
Value |
FileSize | 14391840 |
MD5 | AE52FDF3FCC9AEB5A13824D0FB1B4B5F |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | 8046755248E196DC914CCB69A051C50DB7FBE2BF |
SHA-256 | 939680821DD64992B928DEC286C83C17C53BE9B47522112B1269118B1144941F |
Key |
Value |
FileSize | 13703936 |
MD5 | BEF748649DB0E9238B454381879E938B |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | 4E5AD529C09EB21295CE0A479B6D1C4EE71C56C0 |
SHA-256 | 380B71F424D119587D5387055AE272FE33CF187F4C84FC5131AF659FB659E474 |
Key |
Value |
FileSize | 13779508 |
MD5 | ADFB03D4760C30E6A1D354E1E9DBCAE1 |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | E6624BA42E5E6AA39669C3DE85CCCB618C721C36 |
SHA-256 | D986300C499E203494BFCE56D5BF859571A7491219E5D28293988DA27A8CF59C |
Key |
Value |
FileSize | 7940696 |
MD5 | DB9DF22E6E84399D76EEA1C7D8BF7E47 |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | 29911E777A2C9AC2FF08CF9CC5FFC2CAEBCAEF32 |
SHA-256 | 6CA8E60CBAE2EBA00BC7CFEEA7C5852518E08D5029533E616D47FDFB357D3A0B |
Key |
Value |
FileSize | 7940648 |
MD5 | 310D52A64378A6571DAC264C43024687 |
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-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 8.9.0-1 |
SHA-1 | BADE98B7940F13D4730EA75304A6DA1C71038193 |
SHA-256 | A4A5A72996ED786F475AFF007459F703990CAAC929E1445F3FA9A453E9CCEFA8 |