| Key | Value |
|---|---|
| FileSize | 18658564 |
| MD5 | 01DC9D28C30C6F5AF4FF293B64883AA3 |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.12.0-3+b3 |
| SHA-1 | 34BAE399854D683AF3F2CE573864C2811712C082 |
| SHA-256 | EDA154D012FD00F4CFCFC5B9F7DB0DFB30ECBF72DB47C74BBB76FC2979CB8A1A |
| hashlookup:children-total | 1074 |
| hashlookup:trust | 50 |
The searched file hash includes 1074 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/configwin_ihm.cmi |
| FileSize | 14824 |
| MD5 | F0424B5399B87A2A9DF42801020DDD42 |
| SHA-1 | 00032A0AFEED0AC933869A4782E3D353A536FA3A |
| SHA-256 | AA274A379AAB60EA64F0EFD3E6D3C158F6CC001CC82943703F3C08CE8413251B |
| SSDEEP | 192:ADXtG4RlQqFNm48tGd3J54VyxT/VZjr3a91cipSJ+3Y/q5rfuU:r4Rm+N4tGVznK3cN+oC5F |
| TLSH | T17A629ABE317F06A1DDCB116C966601FB253406FEDBE26E37C42606D0112E04E67AD2CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmi |
| FileSize | 67455 |
| MD5 | 1845D760F84B8C23FB8B881F5A783B08 |
| SHA-1 | 001435E5C98F11D7611BD61F3AFB0959342AD5AA |
| SHA-256 | E276171DC5B6743FF427B2F43A291C9C06576D7CB452FD5B37A3671CDF467C9F |
| SSDEEP | 768:al5ZwuGeC5mwXAWKlDqDJkN32OZaBTgrAknWBDkEuhy8whiusWRwzfXiL0p:cuFzPKlDqe32OI9grMBAnhy84y+8 |
| TLSH | T13C63B6AD283FA7A5DCF525DDA6AA0167976547BEF2E28C7BC11A43D0935C00D13FA083 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmx |
| FileSize | 50487 |
| MD5 | 9B36EE4759751B55A7E297CBF0C0C2DF |
| SHA-1 | 002B53E48D296BB2BE15906645581675FFA3F31F |
| SHA-256 | 1A6E6C08564B6B120D01A671AEE4EF8739D420DA53142EE0C93488400433AE9E |
| SSDEEP | 768:YCtSRJ0CRCsSd9b1TVI/LRPyBG4Lu+BXUEerpFVGhrWpV8YQtncwJ:7Anlds7T0Byg9DcrWpIpcI |
| TLSH | T145333B65964C7E3490FA4F3EB95EE0C0843CCFD76BE9D42600687A1A7F59528B9C3A07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/cLexer.cmi |
| FileSize | 5771 |
| MD5 | FB375E274475B867EAA9FE25F08E45AE |
| SHA-1 | 002B757163561D8CF64D21CF95936BD2B4258DF6 |
| SHA-256 | 20DA27099F5CEE27EFDC46E59FA00E65DC2E53AEE8EC22F6BD31A8353CFD0A35 |
| SSDEEP | 96:odDzHP3iATaUIyD+c4rQtDc8Ir342RBxXUeLEfboRW7y7LBzcqUvHpeL5Rx:IzvSAOM+LrQCH34qlLGKW7y7LBzcxsVD |
| TLSH | T1BFC1305FA3612B86EDC86EBE53A871E74124233DD9E58CBF98280FC4914345C534A0DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.o |
| FileSize | 38324 |
| MD5 | 164025210C172EDB8CD1CC7AB969CCD6 |
| SHA-1 | 004C03ABAA093205B637916C7FEE65E2E1F15A96 |
| SHA-256 | D27DB62DCDCB4379F03F8A5D7D48685ABD464B37AEBF17D0FFCE4D3856A88F07 |
| SSDEEP | 384:aA/Cf3qeBvVUEMSMPVTlIWrRPcgf3eSBLlMz1Pmm/BGlJD7TEddtHbm1lEz+Wg:Z/C/RBVHMSMtTpye3Vq7GlJDkDK1lEi |
| TLSH | T13403509A9FA85ABCD0540EF2D4DF07D63175DAA61A71B60F48BCBF0A3E452D102D638C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/g_class.cmx |
| FileSize | 6791 |
| MD5 | 68F6B76F4E91C05B3271D0C5C49CFB22 |
| SHA-1 | 006DA8F68065AD8CF95A3BB36EBC89E495F639F6 |
| SHA-256 | 1AEB7C22F4546EEEF6CD0F446F5B6118F87E0FC34A1A15F5284108BC6ABB694E |
| SSDEEP | 96:SJEIheiSl9jUvx2vvCQYFb8mfKAhePImtwrA1+gt0PLH4mSXZ4cvS8trLAaGhCo6:SjPCYAvU8OKiii7b4f4cvS8V2gE0i0 |
| TLSH | T14BE10865B381737279F7C37B9D1E40E6867093ABD22B80AC12FD0DCE281456684E796B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/states.cmx |
| FileSize | 2986 |
| MD5 | 5441D5D4491D7A7C3EED1200F4C38A6D |
| SHA-1 | 007B4CDA4F3027E9E3D46648E08D4E21C21DFCE4 |
| SHA-256 | 0F210D90FA05BCF9103A225DBBCD191922DAD7E7D8BFA4D2A744F3A995EBA117 |
| SSDEEP | 48:7Wh/MhUvVzH/encWOEcj1MODNVdRQL7JyhL0lzFuVMc/Caxnkj3GAGUdNF6:Ch0hUvx2cWOEpODNTRQLt5NoOcTkKaPk |
| TLSH | T1C1511A0077943E42BD7AD3739C4F20A605B0E1875DBA087E42CC079E5A65AA785CC6CE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/lib.cma |
| FileSize | 1149297 |
| MD5 | 7DF9C44148239539C5BA9AE2EDADB12C |
| SHA-1 | 00B4150E7943F8B627905107234190CF103D08CB |
| SHA-256 | 18C7A78C943EC7EB0DE0884C06E2D25A18FACD7CED5F94C5CD35DB0D794CDC41 |
| SSDEEP | 12288:hByXBH61s7FwrZ7U8nmi+yKCXGkIOrTYbhqD7dzTabqQXz/YclVBmPg3Pm7K8Jz:GQJnMkykDh2fbYA7nfIK8Jz |
| TLSH | T19C35E50FD7665E66CCE819FDACEA424306F01A3D85E64E2BD04B06D9D083B0E6F92D57 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/formula.cmi |
| FileSize | 7287 |
| MD5 | 689622BD174FCCF7A6788625D2316305 |
| SHA-1 | 00E327917B175BCA193AB463EAC629076514D546 |
| SHA-256 | DCB28CF5C0CA59F4B4D23DC6F019F139397B3058E7ADF103105F320C1F802F69 |
| SSDEEP | 96:9iBCU9qCDBaVGxuCmgDEjJrWYxD67JgcQQUrY6x/sSNkPveyUvx27iQSFd5xheyS:y0WQ0xuC7mJr3xDSQFEm/s9O6QvRXB5m |
| TLSH | T103E1926F63652B58FD891BDE8ADC029706301A3ED6F78CBF425D0BC110A102DA3B95D7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/g_omega.cmx |
| FileSize | 5864 |
| MD5 | A442D3A70B5FDC6EB5EB0CC10E7E2E60 |
| SHA-1 | 00F4CC9FF6C9568D3FF685B4A48BCF7C152F9899 |
| SHA-256 | 19CC3B5E4FBAABC91038FD53AFC02EFF70B53C2B403A6E794595317F14BD72B4 |
| SSDEEP | 96:lIheSUvD2vvCQYFbu5txBXtqUhePRmTi4rA1+gtSHLHn0imMTXZ4c1T0aGhTcV:6UAvUu5t3Xtz+qrHbnFP14c1T0bTs |
| TLSH | T134C13AA53285B5A276B3D257EE1E40628B746347D373C0FC07D903CA5C205ABD6D3D6A |