Parents (Total: 13)
The searched file hash is included in 13 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 40797644 |
| MD5 | A12701941D74B7C70A05B18F667A5465 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b2 |
| SHA-1 | 3A145A19E7D058D6D9C989151E4011CB58CA8760 |
| SHA-256 | 25F76531726F526791EC4599FE7015E16C7F560C72665720261BFC3F262ABA31 |
| Key |
Value |
| FileSize | 40755800 |
| MD5 | B179BBBA227E67C5243CD20EAD794617 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b3 |
| SHA-1 | AAA3C3843191CD3C8B64C9A5664857BD05FE3CE3 |
| SHA-256 | 957475A7F3F810FEA5CA572BED5C9A193AE76E5E322EEECB7B0D7156F824AEA5 |
| Key |
Value |
| FileSize | 40907568 |
| MD5 | 7626BCD100ED651CB2086F98890F292E |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-2+b1 |
| SHA-1 | AC857CA5624B1623DF5AFD5C17BE3F8FB3151D0E |
| SHA-256 | E42EC8DF7689319584558D739F5629D9801C38B79A04BEE7FAF0F6728A42F40B |
| Key |
Value |
| FileSize | 40758652 |
| MD5 | 3D81B72CDD88874F08DFAAA6F3BF4EF1 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-2+b1 |
| SHA-1 | 63A2C04329F3A6A05AD118787B1F5362C5013F79 |
| SHA-256 | 54CEDC8E4A429C9097A9B61306EB6AE5EA83404369711CE08D60F4FD4C63381A |
| Key |
Value |
| FileSize | 40775876 |
| MD5 | F77005AE4011F9EDC5533D8DAC3F7967 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b2 |
| SHA-1 | 205994F13ACC9D0E49C3E51222B11995090BDEFB |
| SHA-256 | E58A82013B1E58E39E2A097C125E32AF29D72FFC497D0124EACB003680B32077 |
| Key |
Value |
| FileSize | 40803524 |
| MD5 | FD25E0AFC87F700E8B7D85322411099B |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b2 |
| SHA-1 | 433C414CEC44B42AF1A0C8166E637EB4DC93D04F |
| SHA-256 | 5D9E948D54EEAF7C8D1C40426EC013CEC9B0490BC0F6422CC8C9083FD3957C01 |
| Key |
Value |
| FileSize | 40774360 |
| MD5 | 8F7333C81C59B16D3273D07244E3D111 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b3 |
| SHA-1 | 362C3004134FB61EBFCCCCE76DC526D5F5F5D3DA |
| SHA-256 | 6C5C734108AF4B16A48E9B04D389CA19B1EE0B653224A0761ECBC54C0EB51526 |
| Key |
Value |
| FileSize | 40803152 |
| MD5 | 610C09660113F3120069394B2AC42872 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-2+b1 |
| SHA-1 | 411A5D392268BA26227C60D3F4436D644DAE6E99 |
| SHA-256 | F5DA7130D562130AFAA117BCD60E76A619AEC101C900DE1E64B98E9B6B72CE56 |
| Key |
Value |
| FileSize | 31167776 |
| MD5 | F3F7497291D730AD40FD93D892290FB2 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220204-1+b1 |
| SHA-1 | 050F30CDB768E9DE07302306AA58D2D8B761DAF3 |
| SHA-256 | D75699F9957E9B9D1B3D00927684E10DEE6B102EB1A61CF5961F3EC540EA4B02 |
| Key |
Value |
| FileSize | 40790484 |
| MD5 | 52D49BE4F392BF0969023D33C4D7DDEB |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b3 |
| SHA-1 | E00AD4597F4F82068EF3AACC8635F0AB608D7546 |
| SHA-256 | 036AE2DA029C9E285793290B28BC08E602668B14E95B061C38CB4682971F9B23 |
| Key |
Value |
| FileSize | 40782708 |
| MD5 | 5D85CE720AC6483A3FC9DE8F9A5F9106 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-2+b1 |
| SHA-1 | 342FC0C073E1EACED9C86D270E99E2F4AE979ACB |
| SHA-256 | CC9D12700BA975BE193F206160B921205FDF90CD4E0D3E93C6102CEA08B72F28 |
| Key |
Value |
| FileSize | 40825984 |
| MD5 | 9A8C78E54AE03BB4AE259A7D6D731FB1 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b3 |
| SHA-1 | 6952A30983F7F18E12BA3E15A1418A00140A1649 |
| SHA-256 | ADFFDE4427969571B3B4EDCCE559D1146D56271B4880579A168108A793922A99 |
| Key |
Value |
| FileSize | 40834356 |
| MD5 | A293A5450D9E40F223EE5844BBE92BD1 |
| PackageDescription | univalent formalization of mathematics for Coq
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-unimath |
| PackageSection | ocaml |
| PackageVersion | 20220816-1+b2 |
| SHA-1 | 3B3B975A08890B240706A4CCF70E9D6F624C5361 |
| SHA-256 | 05062D8B1DCF30054856E015C75A8A014F504A6B7BCF8473863CB4A9B8241BE5 |