Result for CFD87497682DD0A5338FBC3B7D3939662B89509C

Search result
Graph view
Children (1570)

Query result

Key Value
FileSize14074532
MD51B01052782FB64E52D9B179DAB4C8BDC
PackageDescriptionCoq 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b2
SHA-1CFD87497682DD0A5338FBC3B7D3939662B89509C
SHA-2563B78F77B7A76A51DDDD25DFDD5A0E57A1FE420E1F60E48EDD5E5FDCC40ABD591
hashlookup:children-total1570
hashlookup:trust50

Network graph view

Children (Total: 1570)

The searched file hash includes 1570 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Comma/ProjectionFunctors.vo
FileSize71076
MD5795D843B819D2B6F91B11A189AD88B2D
SHA-10016F6B12E29C553301C4C93A951DA340246BD79
SHA-2560220B7E72F60176FDA232896DFB0CB557C0A75BC59DEA7553F8637885264BDB2
SSDEEP768:mFJ+PHYtX70Ppk52X8sG/F4q0ub67btpiMhKonzakQ0z50V1E1ucJl5a:mFdr0xk8X8tKq0ub6L1wonhBda1kJl5a
TLSHT1B163A54FF40FE472D7BE15B6A755854AB3A8134E94F349481D1E864898D31CF228BBCE
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Metatheory/FunextVarieties.v
FileSize7908
MD538F0B9D0F9D100E1C47D0DA024972E74
SHA-1003016A342505715A710EAB65EFEAB255DB812C4
SHA-256B34CA8B4D33D2D66F67B8904466FE2FF454B0748EC35999730834BD235B94395
SHA-512A7E89FBA9B1F28AE93637C5B04690B1D6D2DC5F6EE891D2D2DEE4521A7DF4CE3C411449759EB86198C319790A551B003D9F4FD914FC4198B1EC6065503A81FCB
SSDEEP192:11Oy870rKP11kcqkeyGlJz6nxueeSBZcGOY:GyAGkerlwh/OY
TLSHT1DEF17429F8C14A31E1A781205E1546D65B2DEFA5E27604A5F4DCD3AC9B420B803F6FCE
insert-timestamp1683748232.5597696
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Basics/Overture.vo
FileSize80140
MD53933E281A7C4FC74CFE8C3D14BB9DE72
SHA-10042D3EDF5EC2D899A647744518E033E5389781D
SHA-2569883C5BC181F8D759DD8AF0F87985B7B234F97B19C396AD9660DF7BE65444A31
SSDEEP1536:qYZe1+fUEuJtiJiVIPuDD2BbdKIIK9oWdoIevyt:je1QBBJi0BbdgK9R+Irt
TLSHT1EA732B9C57070996C79E1DB9DE7A7208A3A027D333B7C203A62D53250ED17F6E90F686
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Classes/tactics/ring_tac.vo
FileSize34277
MD59DBBD31F8AD6BFA7EDA7151040557CA9
SHA-1005432B4F46A2199258CAAD1412E1E6BF76B3C21
SHA-2561E2081FA2BFD86131B4136183AC2B1DDD5D6A57D12309A634BEC65D0805C9FF4
SSDEEP384:0al/wxVsr54ti5YpJe82UgBoBseXRLQlpQxtw9uCcLDC9JSgOKZrUkuJxhI3vsY0:c25485Yfe8r5fQFQP/kTl3NxFvmlpPh
TLSHT160F2179EF21324F596DB2AF1DAF3B7A1A0F8678F19374C86966A430854D06D8870F743
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/PseudonaturalTransformation.vo
FileSize34039
MD5E8CA6B2D9A29DD5D91C5063C2F00284D
SHA-100D6D6E3E4F77AF8FD91B6B6A73C2080CC7D2D83
SHA-256B5010C2242B5C7C150714315A13F281406F466780B5C45BC1CC7E9D4C1A1B2BA
SSDEEP768:+Iqdef1UNa+hcxKRlo/QVeGgBOyy/vcrpOdd0ud1/NlJzK/x:bfUa+hcxKR7ViqXcrcdR/HJzk
TLSHT1A8E2749FF00DC8BFD75D597DA6595A9C38B1702F8DB7C4D11E089B2829C2ACE064AB43
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/WildCat/FunctorCat.glob
FileSize25041
MD5C84EB2241A317965CE0CF8589715BD1D
SHA-100EB6D61A4C36AFA6AA162A9D00F2759F992158F
SHA-2563522532995494B23A61736F5B42CA15CD66349901EC49A5F3A6AC5C06BE1260D
SSDEEP384:iCOKzloS/tRZHx6rLB61oLdkH2VR7fby4p+T/Scp:erZRKz
TLSHT18AB238FDD28849E4C38EA40B5AF13769D337434E0176E2CB0B97975DCB67528837A982
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Profunctor/Notations.vo
FileSize5335
MD579BBB3F39B530A89005BB5FB99BA0B3C
SHA-1010CA87C073411FE589B5E68A0E8231363EC5E4F
SHA-256CA695C3912CA81A6639D805EBF7522948B9A6242A0A03FC4EC2F761A08945D9C
SSDEEP48:oNhrIJ/rJgDEazd1W16BwnRU8vmgK/PScr15FkWXzd+tlSXwD20Jr2J0pYfhdYQ5:dJKXWfbmWOFkWDcGyAJVgDfgBvhpV
TLSHT1EFB130CEB64D64F2A3E474F1E6822689A07E21830C774D90660CDB9C4A857CD638FF5B
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/HIT/iso.vo
FileSize12445
MD5DF5D4D7181DFC755F2C4B44408396ABC
SHA-1019493CFF8514F779241E22C656095F2E09EB0FD
SHA-256DB9E82DD88587E42A6101F5194C8B0B8AEBFE35C15CBCFED960A9F25957A52AF
SSDEEP192:3ZsRtH6Hw7/hGTbI/MRCcwNEV8xsocsUVXWG3uzlJ:3ZE2w7wlcyVEs3seXDezD
TLSHT16142A69CF88289F0C6D8A6B1C679524AD23CC2CF4C7B4E852F1C83884B963DD571B702
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Category/Sigma/OnMorphisms.v
FileSize5784
MD58BF889F33C743047EAB27B1E1666C7C3
SHA-101B0FBF6CA5CE661EF266F2F214051169934CD63
SHA-2563B9EA2E31093B5CF420086F6BF0649E2A6ED02F8B0405928461B0A5631BE2C5D
SHA-5128B988B54CCF66AC91DBC7487F94D4C882199F102868FA163CE9252CFD5D12CE0342B1A166F0532E4FD0B603A127F57897E84DB25D28E7F015EC5106C0DFD7961
SSDEEP96:3hff+KW7nFqLkmExLghEBNn8VQsB4yYwnmyL7nFqH9bPukgTaqiNLtN:3hffg2rE1EEBh8VQsB4yYwnmW8uVuqKT
TLSHT182C1256DA0EB010363A78B7AEFA60049971D69C6CA092C417E1DE67EDFC617C13D8DD8
insert-timestamp1683748234.820182
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Finite/Tactics.glob
FileSize681
MD539C66C513AEB18CC4A85C37CC8966246
SHA-101B1A9682E05CD1D63FEB0105A12BF0EFB5D0F3B
SHA-2567AA566904D481452F317A1BF75FC0A3118D80F837CC945E9245644D3E43238FA
SSDEEP12:btiUywF81CiUXMPk08D28DkkSvkSPSAvSgSAvSNV5VJvRaSNvRaS0:bVF80iRPX8D28DolbkbJr+
TLSHT1C401D63B514F08BF97CAA16722D10783EF1801515EE0DB336641C36C4CB9B4C944D297





metalookup is a service from miwakeru.com