Parents (Total: 3)

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

Key	Value
FileSize	315944
MD5	8599B8C5AE100B5F209FBBE248B9F7D9
PackageDescription	Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libaac-tactics-coq
PackageSection	math
PackageVersion	0.2.pl2-4build1
SHA-1	173DCE03E488A3765F3AF519B1F8288F16FEFDAB
SHA-256	A480ABD302F96E407659D94A54C33AECD6508715C44356858B2E6949AFEA8237

Key	Value
FileSize	304850
MD5	9C351162B617B42B35E6BF6EA7ECC541
PackageDescription	Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libaac-tactics-coq
PackageSection	math
PackageVersion	0.2.pl2-2build1
SHA-1	497FA1B770C9E7CADDFA63054C242DF3A2FAFF10
SHA-256	2C3E75DFEC2C3707338D4A7BA47A9E8DFE233B4C99672B71F0FC8D156C553104

Key	Value
FileSize	319622
MD5	A3F8856DFD860DB06ABC657D0247D8E3
PackageDescription	Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libaac-tactics-coq
PackageSection	math
PackageVersion	0.2.pl2-7
SHA-1	F0A9927A181AF57FC382925DCC4B0D0CFA06EE1D
SHA-256	B56B90275EA0C1382A6B31DCFB7FE00CDBDBE6890147CA3BC0330DA73C5D6DB1