Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/ExtLib/Data/LazyList.v |
FileSize | 323 |
MD5 | AC8C4FE1F63437085A308C1108C2007A |
SHA-1 | 092AF0AF59100EC21275788E4506A28CD27651DB |
SHA-256 | 080FB7F1EE93A8BE959CFF47CE0A5BFA4AB1F1AC2CA059D842177284E606566C |
SHA-512 | 3983E2FF09739827EA743CBA25A6BC6ACBD148E6805D19551837FB7C586B073B12B0E918582A49D1403ABA5134101E936F76866B0DF47507D3F1F5551C45973F |
SSDEEP | 6:G56JNexrfxkjFFhE+Ob4bFJ7x0RDAJWfFxFa/aNBL7qmaiUiNGCDLfuY:xuxVkj/7ObCJ7xDCxFB/qIBDaY |
TLSH | T1FCE0260B3454206771F3583B49D152A1D605C8C482847180262FC0C83B229BC03EBF2F |
insert-timestamp | 1727037282.4973636 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
hashlookup:parent-total | 20 |
hashlookup:trust | 100 |
The searched file hash is included in 20 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 758412 |
MD5 | 35C9FAE7CF715BABEDCEBC02F3DD7997 |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-1+b1 |
SHA-1 | 08307502CE13574F1A2125C694793E3AC0553C22 |
SHA-256 | 0EE7D1F0CBDFD0142659C05941AB9C0108164F07B9168A33124C5C87DA95B918 |
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 | 757444 |
MD5 | A91E9E43C129138B8003B3333ADEFCD0 |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-2+b1 |
SHA-1 | 3C5A42827B2ABF80DE5097905CE5E9DF9F445734 |
SHA-256 | 3EF988F7301C1536FEDF16C4441F6701AA4BA170D5826B4EAD39AB65BBAAC2D6 |
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 | 757360 |
MD5 | 8D9F5EE285FD32566E6F072EAFBB5F5E |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-1+b1 |
SHA-1 | 400505FF551681EFB76722B1737995BA2C461209 |
SHA-256 | 1D3E06DC79106F3B8713EA68CA33005631CB1EE64777EE793D94F3718DF46BBE |
Key | Value |
---|---|
FileSize | 757268 |
MD5 | F966C27B4CD388A53024E5E3A0C1FB6D |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-2+b1 |
SHA-1 | 4111DBAAA4CECC6EBEB16CADF28FB72495D89D9B |
SHA-256 | BC318A5A84730A920779538EB916062D577C7422CF8130EA655F047BC79847B1 |
Key | Value |
---|---|
FileSize | 758312 |
MD5 | ED2EA9EAAE1130A94866CF167AA3569B |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-2+b1 |
SHA-1 | 5547C0DCDC736A7E12063E504429C7AECD1E49ED |
SHA-256 | B8F024D7EDFC62BB680C76B9CD4619411E2C99B21FF3CCDCAC52F79979C982A2 |
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 | 757308 |
MD5 | 6279ADECB48D38CECB6BEEF59DFE88F8 |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-1+b1 |
SHA-1 | 61B54F1E5CC82978BAD0CD034457CD6AEF2EEADA |
SHA-256 | 1F2B3A68DECF86331D8DB4DC55CA3C97BC3D9EA755C3DBC7F407400FD6FB66C7 |
Key | Value |
---|---|
FileSize | 758112 |
MD5 | 6B26680DF3AD02ACB445CC176A556F99 |
PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-ext-lib |
PackageSection | ocaml |
PackageVersion | 0.11.7-1+b2 |
SHA-1 | 724C77111D63AF5F26D845AB5F718D9F3DAB8CF8 |
SHA-256 | A40349AD3559FAE9231D5BFACDE7DC24D660F1E2E8B5BA283C13F87E6FCC4A85 |