Parents (Total: 90)

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

Key	Value
FileSize	46732
MD5	058AA5746FD0A15A7A5BC7D0F72DCBBB
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.12.0-3+b3
SHA-1	019A3D1B1A36D6B9424011F5354917663F8FC025
SHA-256	A03CC22DC04B5AF0888089AD2465E460687AAEB08DE06F9587FFF80D5E5C9BD3

Key	Value
FileSize	7758156
MD5	2438578B8FCE027A3BE422D4CA2E7443
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-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	06206D670135067F428C8FF09A10AEFB346DE578
SHA-256	1E9EF830EE90B7E829E04009FB79637795C3CB8FBE16C9E39220A75D4FD05E92

Key	Value
FileSize	7575772
MD5	0CDA97F51035C8C190C341D8F9987CA5
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-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	0CCB257431A90B2CC1A1261E33CCC01CE29E0651
SHA-256	F857F52C1AC0F4E965A746843163CDC2161A0F606F407FEBC9729B5680CF82B7

Key	Value
FileSize	16465272
MD5	5425976A23BA5A9F7F3010730B63BC8B
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.12.0-3+b1
SHA-1	0D12C51A329C0618ED4E9758BBEBE7D6F51C4582
SHA-256	C13BD27322A7696F2A47B430F0AE03BDCB7C0D63EA343800497F0179C11B2357

Key	Value
FileSize	1723020
MD5	FF879B2572BFE90E6C83B6B262340BBD
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.12.0-3+b3
SHA-1	116192D75CD953ED5035A269E4D6EA1B58C979CE
SHA-256	9057E709CDA8D1C9179E932C3D4327483C33266A2CF7D4908464FF423F2A17F0

Key	Value
FileSize	11282888
MD5	EB69E22A946622AEA8EC1561EF8A3CC5
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.12.0-3+b3
SHA-1	11AB4FBCD84C8B49543DB58F15B451E1C9FCFF0D
SHA-256	1ECED9DBE7E4179D8489DF6527377CCB08BDFC2B1B5A3DCD7D1A65666E95FA9A

Key	Value
FileSize	1736840
MD5	8253BDBF3499D54B9FE2E97779A83A5B
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.12.0-3+b3
SHA-1	126B261B43B61AC64AA9E18EB61EDE156F14ADBE
SHA-256	CD8A39C002D84198FB06D791B48BD4A54AE13105267AD1C03199980EE62311C1

Key	Value
FileSize	5460152
MD5	2207CBE0AC427CBCC0E52D04CE5BFB4C
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-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	15D9148C641540A14070B4EC72E5D74D4BE3E983
SHA-256	C8B7D6D456A79BEB331700D6862BFE4E0717CDAE5A89C95CCB2A558A5E68532E

Key	Value
FileSize	11283240
MD5	99D4B5AEA59EED04D489D484858BED7D
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.12.0-3+b3
SHA-1	17E578D6108D759CCB22FBA7F5B075FC7D1D4821
SHA-256	09D60148A5C9A72B6829D319A6D6EEAB88BD9B048FDEC3C8CCD3729DBDCBF33D

Key	Value
FileSize	18723976
MD5	69A37254D6511FDCBB1DAE61BC30A74A
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.12.0-3+b2
SHA-1	18DC050352FE5C561B5231632ED7C790D606CB35
SHA-256	3E3C0CD85A1620BE0236FFF9B87D35B9E20D382EA7EC75D5E4B2972D8154F106