Key | Value |
---|---|
FileSize | 758148 |
MD5 | 241ECB45D326B9F8A8FB1044C91A3CD0 |
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 | 7485C8448B57450DD1CEA94C65F166A8DBF18A48 |
SHA-256 | 1486C553951F249756061B7138463571F1997475D70ECBFC6D3385455D42D4E7 |
hashlookup:children-total | 358 |
hashlookup:trust | 50 |
The searched file hash includes 358 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/ExtLib/Tactics/Consider.v |
FileSize | 4492 |
MD5 | 241AE0EA4D6AEB0F00ECEB5D4411BE42 |
SHA-1 | 00343478B19E4B08211035A4BFFCA1926CE00EBE |
SHA-256 | 637A1DACBFFC36F31AF9E9794E90CFB6273C90AD71033BEA099172B713BBBE52 |
SHA-512 | 63FA62DF46068DDF90BC35A03600486B68F5D519BEB03FD7A36FA608555CF83E045AAC16196EFCD2730EE2696895A50D09789DBA424FCD10E6483B22593B44C2 |
SSDEEP | 96:LVn8jv93ddpb+ZtLJ7QPpgVm86unaaGgSWv0ll73TPgK/:t8D93ddpb+xUPpgVm86OadgK/ |
TLSH | T14D9171462AF0466141F648EADD020D46E91B4A87036E1EB1B4CCA2ED1B0E3F8CC779DF |
insert-timestamp | 1727037283.2341127 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/HList.glob |
FileSize | 121813 |
MD5 | 14764089E9E0AE6A88472B4181DC69B8 |
SHA-1 | 02CAF3A00B1CDFED918E34B8F7FD7C0DA3323CE0 |
SHA-256 | ECE2AC9E9A0084B666FB4CA352C0A38E67043CF7461188D4DA9BF00675293A22 |
SSDEEP | 1536:vnIL8sesef8JFo887EfyNaXcXMMNogzdcJ2y1eknbNDmBjBKJe:fIL8sesi8JFty46MMNoqda2y1HelF |
TLSH | T1FBC35B9D9206081B17D6281A3B4D83464F66C4826DC71735F7AF4BFC6E63EEA351B223 |
Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/ExtLib/Data/Z.v |
FileSize | 1453 |
MD5 | 24803560553AD0266D9E18E5D27080ED |
SHA-1 | 0369BE480AD94ED8D04A3DD3325013225DE5884E |
SHA-256 | E8C1429D652B2ED9365B3D8C7358348A1EFCDFC07AB491109F97D39CA752C7F7 |
SHA-512 | 932203005167F62D6969A1CAAFAAABDDD152F48A43DFD7D40549A18F29A5303B9D6AA6111E2D63E81008C03A510D70FA5A534AE51947E9D2029829949E862730 |
SSDEEP | 24:NF85aQAf0oYFsuQuq/qeCcmqx3V5A6q1raV++qKlVZ:+7oYdQpy9sA1hu |
TLSH | T1E2315C0B6335101B0ACC7469779066136D372FE5A2EC8620AE7C32A9471D266907FCFE |
insert-timestamp | 1727037282.3464394 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/ExtLib/Tactics/Cases.v |
FileSize | 2767 |
MD5 | 79CAB66D5BCA4CA0D53CA23C3DAB6344 |
SHA-1 | 03765E41152597685FE344CB4AAB3E9003A14498 |
SHA-256 | 360C022D00CDE3D41A92B04CB88A8FDBF17D8FD5AF67C97421A0B1AC0BD57F2C |
SHA-512 | 4F188A79A0D967B5C1A459A3AD8B44B890F54E2410BBADE5C298135DCDF8AF1C32EE4ECFDC46445AC02DDD72BB4313B538DA3801A5ABC0FA7B5A05AB91A8F4A3 |
SSDEEP | 24:2OWdZHG43caM5xFRdM0Rd7YruqjYDdFtabaM5xFicYruqjYDdLSktaHgAEgNNdCj:NWvQBJYanoycYanNSroRWxzWNLWYP |
TLSH | T1C6517AB374E64B11A2E0943BA2D7F211AE1DE2E7E354860437CCB5D51F560B572B3A82 |
insert-timestamp | 1727037283.1855583 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/String.glob |
FileSize | 17292 |
MD5 | 3103C6BE75144B43A7286A9EAFF8D4ED |
SHA-1 | 052230B8AE97EC76DCEBBB734DDD6B6645BE6405 |
SHA-256 | 30E2C9522D69BAD74BA7B40F6A4B49B52F89228A4707AA054D3A134E2CD147FD |
SSDEEP | 384:yGgslzIffeFOSCSHYD91gsrc0lEITJEU2iUPWL3RzPT:yGKffeFOSCSHggf0lEITKYAWL3Rzr |
TLSH | T1E672D8BD72120C2A460D2A35639947490F7940E573F752F1D79F8CC88CAAEB9217F792 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Cases.vo |
FileSize | 11028 |
MD5 | A21F0074D6506DCEA33B928BA00C6A29 |
SHA-1 | 0670EE546C57D5905D99FC3D20EA90362DC3CB7C |
SHA-256 | 76DD877EA09837ED114954046A5E4E3F9A25A3E04E760BB1868C95A08BC95222 |
SSDEEP | 192:JRmMCiObuh3cYb5jW0dDTFaZyyw8jtNlQ7JhnEpkujP/gix1:JUFiObuaqjDdDTFDywf/EppzL |
TLSH | T18832B78DD4614B53E666C069CD24F386058896574F27F3290170AB4C9B8EF473F6BC9B |
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 |
Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.v |
FileSize | 5993 |
MD5 | 60718840E237D76C340D6E76F0110C7B |
SHA-1 | 09F9973CF32CBC8AD0FBE1B4B6C57924DCABB1B5 |
SHA-256 | D44E8AFCE81987FF30D200C7F50D4AE0E78D14FD2B93B5C2A5EE3AE57171D34C |
SHA-512 | 0855E4785A89E289C476B460C15AD6666A3D735CEA1BED220085EEF0A51B3DA888C2F2DFC20157DE2B1ED71480F22E0C83B19089430B19D41AF7359D73A9D00D |
SSDEEP | 96:dBxm6N6YzLEIbcsS6Hcx3ITPdj/LeHla+HQMypmvVW:5m6sYkIU3ITFDqH8+I4NW |
TLSH | T12CC1CF0F59F2510A1603CF7A9ED7E60955A5AF68DA34B90C787CB0ACCF07A3C0129E78 |
insert-timestamp | 1727037282.6241913 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadReader.vo |
FileSize | 5676 |
MD5 | 11BF80B0FD636B4FA3AAD4F15BDEB2AC |
SHA-1 | 0AB465BD456614D3FC35CAD0E18B511697658674 |
SHA-256 | 96736D4B78FB6E6691B523BECE7996058D6B01DEE2A4573CDD4D3CECE1FBFF8D |
SSDEEP | 96:h2Qdui6n6prXpRYEwWitbUfl7tI6afB/hKhjV:hBdXvYceu9KhG |
TLSH | T128C1E84D53119F53C87D8EBED6797200139C5B871385BF4210A842490F9A2BBAF67297 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapPositive.glob |
FileSize | 28164 |
MD5 | ADD8CE4FFE1EA420228A36716BAF5867 |
SHA-1 | 0BE8E4193AEA4F76E8C8A4DA0347393C39342BE8 |
SHA-256 | C9F14FC9789708CE6371D17214AC4F02773801A36244144FCC6C1C5B34BC7C6B |
SSDEEP | 384:AW6VhqTOiZ8kJzUri/Zla5GpZZuDCFfnB94PvUUpsG4:R6bqf8kJzUri/ZdfFfnB94Pk |
TLSH | T133C2D09D169B1F5B0317B51F87DEA7818B6E104861C31F69A36F488C046BE3731B7A27 |