Parents (Total: 6)

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

Key	Value
FileSize	3798220
MD5	52FB30C5FAA542F64CF544CD1E1CA4C7
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.6-5build1
SHA-1	98E3F29E433E9781DD828FAC797E27217B9D8938
SHA-256	DF681C96EB9F2613DB9DCCBFD46F8DE0231D3F02C8181E7C42ECFCD4F68D991C

Key	Value
FileSize	3624348
MD5	89FF9F73B02A66FF6D1D066DBF782D32
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.6-5build1
SHA-1	75D02BA1515C8D5D068B0573F086F736E371C4A5
SHA-256	EB0C775A58B96F9B1CEB3E0325BBCAB296FECEA1E61215A7285A152E2518B546

Key	Value
FileSize	3498152
MD5	DDC2C5A2CEC9848853E1B2FF3C4F8045
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.6-5build1
SHA-1	554E442D88E9E03DBB9E3D665C61F4CE4D1B9077
SHA-256	D1E1D6B2CB8A421B82AB85187CCE334DC780C668B5DC7E63C72B7E3EE3511982

Key	Value
FileSize	3564612
MD5	870CAC094663757F0ED8833D6FA970F2
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.6-5build1
SHA-1	24A85846E1E8A035E0037FBE3916F1338FD70175
SHA-256	1C474A6826A2B76CCE849A0BCC5679822E43C9567FF01A5752B0117660CCFC6F

Key	Value
FileSize	3394144
MD5	AD723EA161F8C9DCCA13833968E01569
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.6-5build1
SHA-1	0CD8F0033F3641B618110A0139F2B160D42F37BE
SHA-256	DA3BD530F237A50455E34E0FC753CF3917DF2C85072C93EA942F5BA65BE10206

Key	Value
FileSize	3663196
MD5	28D3B4727C1476B1F608C1A33D857D85
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.6-5build1
SHA-1	A3A00051AAAE782231DC0FE6C671D4A93F9AFD39
SHA-256	0622B1C981199BE8D2076407D48E0D3798457B1CA17251272B59B14D42328678