Parents (Total: 18)

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

Key	Value
SHA-1	198D3BB17C0DA24D5E7AB88D549B081076EC2C79
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
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_28.snap

Key	Value
FileSize	14083724
MD5	5433E1000FBB33228BE32192123C5A15
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-1+b1
SHA-1	1F96EC6A3616E1990732C1ADC02982756783E345
SHA-256	2E89F4F78D4582CAE5B5B4409700A5F092F53E3EDF6DE6BF9E40B43773125C8B

Key	Value
FileSize	14110656
MD5	003732525E6EAC9D1758B92E743B1C68
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-1+b2
SHA-1	2D65F753212A01FF406D4823CAECFF573980BD7B
SHA-256	64E577CDD8746B4FA4B3F4076B76A4B0A5323790C3133915E7F8B20A76CC772B

Key	Value
FileSize	14096728
MD5	441583A9BE5C353AF7559C0D5457ED81
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-2+b1
SHA-1	2F0C373A1431E36C042508408D498B46C0F6AEE0
SHA-256	453EF8661C6BC0D57E600E2D80F16491610102E899A5D478A7FD7FAA5AFA1AC0

Key	Value
FileSize	14103632
MD5	16BC99FDFC99F77A957A01E9ECD3AC31
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-1+b1
SHA-1	3316ECF3093BB8488727D494E53729DA793F9693
SHA-256	50FC81BAD147F343C7F30677019D0309EDCA176C4CC0BAD54649B8E1826E4568

Key	Value
FileSize	14102856
MD5	C74D9C97CE73274FAA83ABBEA2B3DD91
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-2+b1
SHA-1	4B14643D8C2AC2736B5AA99C0ECE039537FA4DD6
SHA-256	4A5BA86A3AB752470FEF68E3ACA544E21692594C94EB23EF648E85EDD873A208

Key	Value
SHA-1	56D588354E77E8AAA0B3E024F0CA8BD06C383CF8
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
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_30.snap

Key	Value
FileSize	14104768
MD5	10EED8130816EBA4EA3F3AC0734EE03F
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-2+b1
SHA-1	7C184349A1178FFFB1697BA1C4C8BC0DF973DC70
SHA-256	9B84D4762469E27CBA66BA63D775EE5DF0C69C288E4CCE4CCE86F2F471A4D309

Key	Value
FileSize	14095988
MD5	83430813A80A585FE6279B8A7EA06526
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-1+b1
SHA-1	85588CBD85E7D3619F56866173097E823FF370A1
SHA-256	754FF7F3FD8CDF01E84DB0A95E11C291FCEC19DF5BC87947E03048FA6B508535

Key	Value
SHA-1	88B3EFBD3EA5DFDB002DE7C9EC3B3F28F2DC3022
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29
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_29.snap