Parents (Total: 14)

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

Key	Value
FileSize	388908
MD5	A2E6C0AF24C23F6A54E9577C36380309
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.16.0-1+b1
SHA-1	C01CE73E258DA3942C7BDB5C53A56318F2F9C504
SHA-256	8E489B7493706C3727EB3A227923E1530692991F4033363886A86E03F12096D3

Key	Value
FileSize	398216
MD5	20C904752DFAB6DC9621A1F286F3BE47
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b1
SHA-1	B9FA8BF9D766B789DAC0DACAC18E40A9E1B9AD47
SHA-256	92B0D5154C04E76384BDA35BFE35E1B3A9FD6F1703456F1602EFCEE8614254EE

Key	Value
FileSize	388588
MD5	A4A6E7352440E480206C53A780FF8331
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b2
SHA-1	967C1A4EB0357E3F4A0FA2C61BFDF12F4D471915
SHA-256	D65E22ED5A66943B0199DAFDC4037B6649DF33522F4EA999DF8A2E44BF534301

Key	Value
SHA-1	3CD816764D8EC7B86844A32300164DC73F73C1AD
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap

Key	Value
FileSize	381496
MD5	249FBDB76E5436B582D5AA1C60E83F36
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b1
SHA-1	C6BB4CCD9133A8F92A8FD9F3E69E406F07C461FF
SHA-256	AF2DEFB891AB97F67D0024E58FF3125964AAF387A98ECEC7715AE4FF18161D02

Key	Value
FileSize	388616
MD5	A32193333B26363B64BEAFCD8B07A1AB
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b1
SHA-1	D1F73DBBB201C4A83254EDC2B19933F49D093F84
SHA-256	3410D4722C91A7C5BF998EBE28C0FC8E59AA6F0D79B5FDE1D2FC902A30ED5A5A

Key	Value
FileSize	389872
MD5	A82A4C250B92A37433665FD8471BF011
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b1
SHA-1	1F9D62E1404F2B60AEBF670C4484F8066A8E4303
SHA-256	A5ABC5E90056553BC927FEE1181CA75F364F1D7505E3CF8FE091EA82E60EC1BC

Key	Value
FileSize	397868
MD5	6CF7CC46DBFA8C81B7CF02A9220B5EC1
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b2
SHA-1	13007698816875CAEEFE5A759A64785630A13BAE
SHA-256	0775B148F5AA8992AA05FE559B97B0738AF9253F22110CA24952B67D3A6207A7

Key	Value
FileSize	381620
MD5	FC88F17C8E11B80679AF949C8303E834
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b2
SHA-1	974BC821E7C29CFF64CAA9B8CD5A03A443519BDB
SHA-256	18EC02FA10892F8536027B7BE5B3F1847FFBA0DD853608244EF778C24ED816EF

Key	Value
FileSize	398264
MD5	8B43C16F6B80ABA394030EB6ACDB5686
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.16.0-1+b1
SHA-1	E01E15191144AB65714F70A90C939EF8D00BB642
SHA-256	707A7DEEC8DC3BC1470CF46C4B159EBC426E0D59CB0C463C43020C0FDD577757

Key	Value
FileSize	381928
MD5	3F4AFB2860EEEA361339E4861B5955F4
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.16.0-1+b1
SHA-1	B7B8BC7333340C8DB1E448BB8661BE580C818403
SHA-256	4A6D5B6F9B41256B56C8B97CC4C5032AED407194F3A903346DC8F1337B56CFCB

Key	Value
FileSize	389900
MD5	12F837C872613729CC90E7AE656D6312
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.17.0-1+b2
SHA-1	1BAA5795D2E7D1F677B8C309CC3F863E83659590
SHA-256	B7652582AD548C9015F11B428A9B719DC06B1C6BDC8E7C2DD7949DFA9149DCEA

Key	Value
FileSize	390444
MD5	3B24AC8D0653A0FDDF2D381DB8A7E76D
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-aac-tactics
PackageSection	math
PackageVersion	8.16.0-1+b1
SHA-1	AFC6F0DB2F0F736C86122410E62E1E21ECEA9413
SHA-256	537DE1C9BA3F40ECFFE54979FF6CCFC6DDE1812219E934D139BDF11F251CDBCF

Key	Value
SHA-1	E6F159361B70AFEFC73C1D69AD523D934AA9CAAB
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31.snap