Result for 01635429B37DBAA57B405773268EF571E4ADD7FD

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/SubstitutionSystems/BindingSigToMonad.v
FileSize12099
MD5083BD1E1C2390D44E0D32A4B71204904
SHA-101635429B37DBAA57B405773268EF571E4ADD7FD
SHA-2561B3571527A574CC05699A5A2EEEA14B03D812E35713FA54D127B160EA209DD9B
SHA-5123A4B818A6EB3E7C40FD28AEE6F63B26897D513FACB79D7711565570A76783DFA635E5300F030435E407D350D5ED0153FAA00D3B62DEBF7B7D634840F107B96DF
SSDEEP192:2z9Auy/9CEhGlFX5I7XEn2u+0q0wnZNsUhQIpwyMycETmYJZPimBjd:kSuUMAGibw1wnfZhQmwyMycETmYJZPie
TLSHT1D542522ED5B90A715AE149F9CD7A85A96E02CDF167C704CCBC0CC39C1A2D2567B39C2B
insert-timestamp1683748218.9996862
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
hashlookup:parent-total16
hashlookup:trust100

Network graph view

Parents (Total: 16)

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

Key Value
FileSize31167776
MD5F3F7497291D730AD40FD93D892290FB2
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220204-1+b1
SHA-1050F30CDB768E9DE07302306AA58D2D8B761DAF3
SHA-256D75699F9957E9B9D1B3D00927684E10DEE6B102EB1A61CF5961F3EC540EA4B02
Key Value
FileSize40775876
MD5F77005AE4011F9EDC5533D8DAC3F7967
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-1+b2
SHA-1205994F13ACC9D0E49C3E51222B11995090BDEFB
SHA-256E58A82013B1E58E39E2A097C125E32AF29D72FFC497D0124EACB003680B32077
Key Value
FileSize40782708
MD55D85CE720AC6483A3FC9DE8F9A5F9106
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-2+b1
SHA-1342FC0C073E1EACED9C86D270E99E2F4AE979ACB
SHA-256CC9D12700BA975BE193F206160B921205FDF90CD4E0D3E93C6102CEA08B72F28
Key Value
FileSize40774360
MD58F7333C81C59B16D3273D07244E3D111
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-1+b3
SHA-1362C3004134FB61EBFCCCCE76DC526D5F5F5D3DA
SHA-2566C5C734108AF4B16A48E9B04D389CA19B1EE0B653224A0761ECBC54C0EB51526
Key Value
FileSize40797644
MD5A12701941D74B7C70A05B18F667A5465
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-1+b2
SHA-13A145A19E7D058D6D9C989151E4011CB58CA8760
SHA-25625F76531726F526791EC4599FE7015E16C7F560C72665720261BFC3F262ABA31
Key Value
FileSize40834356
MD5A293A5450D9E40F223EE5844BBE92BD1
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-1+b2
SHA-13B3B975A08890B240706A4CCF70E9D6F624C5361
SHA-25605062D8B1DCF30054856E015C75A8A014F504A6B7BCF8473863CB4A9B8241BE5
Key Value
FileSize40803152
MD5610C09660113F3120069394B2AC42872
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-2+b1
SHA-1411A5D392268BA26227C60D3F4436D644DAE6E99
SHA-256F5DA7130D562130AFAA117BCD60E76A619AEC101C900DE1E64B98E9B6B72CE56
Key Value
FileSize40803524
MD5FD25E0AFC87F700E8B7D85322411099B
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-1+b2
SHA-1433C414CEC44B42AF1A0C8166E637EB4DC93D04F
SHA-2565D9E948D54EEAF7C8D1C40426EC013CEC9B0490BC0F6422CC8C9083FD3957C01
Key Value
SHA-156D588354E77E8AAA0B3E024F0CA8BD06C383CF8
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
snap-namecoq-prover
snap-publisher-idoMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2021-02-26T01:53:46.711754Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
Key Value
FileSize40758652
MD53D81B72CDD88874F08DFAAA6F3BF4EF1
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-2+b1
SHA-163A2C04329F3A6A05AD118787B1F5362C5013F79
SHA-25654CEDC8E4A429C9097A9B61306EB6AE5EA83404369711CE08D60F4FD4C63381A