Key | Value |
---|---|
MD5 | DA39DE9AF59970953DD3F3605060C90B |
PackageArch | s390x |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | 6F0FB63514414159E78DB9035E9ACBCD644BD673 |
SHA-256 | 619EB041B63C084AAD143D12D2C7AF23F6D591EA144FEB9B6D6AECC0FE9BC2FC |
hashlookup:children-total | 5000 |
hashlookup:trust | 50 |
The searched file hash includes 5000 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/plugins/ltac/ltac_plugin__Tacintern.cmt |
FileSize | 414433 |
MD5 | 1517668006D730F871A3E037151E4C2C |
SHA-1 | 0001A8B3C53531D7CE3E9DD6173C40A83A1157E4 |
SHA-256 | B5DB8BF085370BF6921D7D0A2C851422321B41757EEF12A7C92D21D171265E11 |
SSDEEP | 6144:FUjT+31KZ+I+ZppuNY0oeEQqytKhTQMEjX0RChV1KSPZxSf0gkt5b6HKSSA5SzhA:FUjCsZKzSZzZRk5UjLsiS |
TLSH | T14A94C42FEC667E65FF803CBF4619839B2662453D56E0EEEF910A07E4006365D0319DEA |
Key | Value |
---|---|
FileName | usr/lib/ocaml/coq-core/proofs/tactypes.mli |
FileSize | 2322 |
MD5 | 58912F09193A67DDE06D337A2EE1058C |
SHA-1 | 0012D2F862EB32F89DE956B6E47CB0FA7053D324 |
SHA-256 | BF00F9DBE2AD29C1C2A5DF44AE0B63E915BB821E2CB1AA49262A352F43E8EA83 |
SHA-512 | 5C51E49379EFD1675CE0D939931F9F9FDAE2A47EBF04275B7208EF4D63ADBD235CB665500D6B8BAF56D04269BEC9B0F2F5CA31C1F612FDB35136C3A79CB080FC |
SSDEEP | 48:eDG9zPqcNExQLbIk8oFjSXXfFa2spvC1rF9j5:eDCzPFAQ/KvFa2sZC1rF7 |
TLSH | T1A541B125FAA41F13C1F7005AEB42D4FA823444683DB2A556FDCDB3B01B4DE55A570F2A |
insert-timestamp | 1664889645.4042492 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/interp/constrintern.cmi |
FileSize | 17077 |
MD5 | B45CB429BE187265853E75739D52A6F0 |
SHA-1 | 002D83ADE29729A51F75CB868DAA86BE47A435D6 |
SHA-256 | 6CA19874AA9E45A94FFC508C53B21FF88E833652C3371351B22BE4F95B98BE1F |
SSDEEP | 192:m9FuZkv2FkV4/MAS1w6CbLusV1CZkEWk6m1GBXD0CN6Diq1ayDFu2ik8qP:m9MivWaAS1w6C/nV1OkveGd6Din2jim |
TLSH | T1577250AC7A6F2D72ED9E66DE4A78412702214BFFE5E89CB7C06803C40194A1D477F297 |
Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/clib/cObj.cmti |
FileSize | 10169 |
MD5 | 830280DA1BBE9FA4C14FC6CCA53BBF2F |
SHA-1 | 00354E11AE06D3439C5802265B405F0063CBE240 |
SHA-256 | 49CCD8EA7A14E283B0EAC9F1CE618E045DF1B9F4FB1FD49975907BC3445C3C30 |
SSDEEP | 192:wcPgGHNqNNpbhY/0VUEIs1vmR/iE41A+GbigIYJzUUUUU8Yy6tF6uQCwFBoiE/JV:9gwqNw0GZsJm5iE06lYy6tFmCwFBoiE/ |
TLSH | T14E22D65AC494CF27EC82967D3D0713CAFB60D11AA9B4CD28B48CB4D4530E86E17A96DF |
Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/vernac/declareUniv.cmi |
FileSize | 3630 |
MD5 | 9DF2C1C23BA547A5B6F0F958D39E2C4A |
SHA-1 | 003A244758E7B976BFDCF76B972FA5031053753E |
SHA-256 | DE85C361A19508EA52965194FCE2C52A6E2EA39BBBB3A85A9C1FB606E27997F6 |
SSDEEP | 96:FJIjuQ+aSqB1XDQ3BFW8CNSNGciOLGaWJfwG8PDmlP:3IC4PXD0CN6Ni2GacfZ8qP |
TLSH | T1D071E798378464B2FC2292BBBC4C415B6336136A98A38DBC868503C90060A3EA3D950F |
Key | Value |
---|---|
FileName | usr/lib/ocaml/coq/theories/MSets/MSetPositive.v |
FileSize | 34912 |
MD5 | DC079FE3E29B0DB91B563237C228F2E8 |
SHA-1 | 004852320EE92C44685C51BDD65014E6FB5D15A3 |
SHA-256 | 9ACD9B779B2A06D75363197EF0E1994C36C69962DB1C458D44C0AB3FFD244757 |
SHA-512 | 60E4F308E1CA1FE033ADD053C37B79C23F00BE9F7E510C2DE2DA3C8806F585BBC1EC8CE5990E2E398074A40339325C1D1A9AE6C34D8F7D798F40F5E386C75E1C |
SSDEEP | 768:DNOUpg3Tz7h63RBs0ShjtznEDbkmRcA6U855uAwxf19kkaFER/bA5aAbH9O9jJFt:5Ajz7h6hBs0ShjdnEPkmRcA6U855uAwn |
TLSH | T1F6F2740F34DA0A226BA9DDBAFFD171C3E936C58761B2129074CC907C0F1E675AA61DD8 |
insert-timestamp | 1727037319.7115743 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | usr/lib/ocaml/coq-core/vernac/comExtraDeps.mli |
FileSize | 848 |
MD5 | 5D2C58A649D9455EEA0EFC1E185B782F |
SHA-1 | 0054514859B5D4407F11165746416B4DA8C7A933 |
SHA-256 | C8FF659E3B8AFD7585EBF2D46EF1D728CB5CB1B029C94F1A9A44C7012164A5E0 |
SSDEEP | 12:eDUt93laAT6Il4OBKrxAfBvECk41AybWwWyXXpB1a:eDG9zl9qcNEx4KC9LX5a |
TLSH | T19F01286A19D04F3245A610528F8FD0C6CB454A6E2066622AF9CE7B751F1DD3B12F66E0 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmi |
FileSize | 9611 |
MD5 | B769F561B69ADD7CA378A1F43D736121 |
SHA-1 | 006144CFE672EF833287F086D815387F1A52F6EA |
SHA-256 | 4081C6CFA9E61C5C266BEBF6C717F2435CA8D7BC1BD819FE291580147EE51231 |
SSDEEP | 192:V3hrHY90YtYLojEZT45sUrSpt1gED+CNfZLH0M/GTmhSM:BdkXfj6csUGT1fZLHbEW |
TLSH | T1D612EEEA1A201D1CED5E24E8A79406D383519B7FD7F16DBBA43905D88F5101C1BC6E8B |
Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/toplevel/g_toplevel.cmt |
FileSize | 38226 |
MD5 | B5D32F95D5674F179DDF63441502517C |
SHA-1 | 007B08AF007FE754196FA45A8AEE70A676BF6BB1 |
SHA-256 | 4297C2078A648ADEF10148B6E6F77D51D62C6722A1ABCAC985D330911E4BFBF6 |
SSDEEP | 768:Ls8HFM/aBOjrOa82IBf4aAswK0QMZ9mjFg64+XLgdWBQDxeA:bMCmQ2Y1uxvmjFg64+XpCn |
TLSH | T12D03E867C61F1F15FD617DFF4A5943A3AF72042E85E68ABFA80A06D24082C2C6757CA1 |
Key | Value |
---|---|
FileName | usr/lib/ocaml/coq-core/kernel/univ.ml |
FileSize | 18188 |
MD5 | 582E0DE2B6717843EE7FD15136736876 |
SHA-1 | 007E07E57164C1334188D177C6DCB0FFD029005D |
SHA-256 | B056739A1CD545EF3EA4E816875150CF35FED35FA29FF3F596A58628526346BB |
SSDEEP | 384:2CzNXgtU6buN+X/TI3EW4WVyDg1dIuqiku+HACWTrBT:DNyCN+X/6UgXIJiV+HARTrt |
TLSH | T10582873677D40D35E0F2C06455CF64F1BAA8819B1685AADD7D0E72646F1FA3942F0BC8 |
tar:gname | root |
tar:uname | root |