| Key | Value |
|---|---|
| MD5 | 41416B41BBA10CFAD20B3A84C69C37CB |
| PackageArch | i586 |
| PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq |
| PackageRelease | 4.mga8 |
| PackageVersion | 8.11.0 |
| SHA-1 | CFB2E9B5C687CE3DC94B208B90F442C4F3F146FD |
| SHA-256 | F6C99A602FC093CDAD855C56CB41F775B4169763D02B7AA31322FB21CB956247 |
| hashlookup:children-total | 5377 |
| hashlookup:trust | 50 |
The searched file hash includes 5377 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/ssr/ssrast.cmi |
| FileSize | 14886 |
| MD5 | E690E20D11FB7B524858742639FF06D1 |
| SHA-1 | 00051D7FC000647493D141441F7FC9D28F0438BC |
| SHA-256 | F9FE6DCAA9621694A38270DAA48567353A200CD0C5EFCE19AE808885CE31FD63 |
| SSDEEP | 192:853FVNxFDF5blrH0irvZAgHTBp59rTvw+NL5ku3QMFFYUsAZQCn3kFBSZirzpoz0:ktf5vhA6jGu3QM3RfcBSZivpozYym |
| TLSH | T15462B27F675219A2EC460FAEC5F8025719210B7DC2C7CC3B911C0BF301A596DA7E680B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.o |
| FileSize | 3704 |
| MD5 | E7675794A0269156AC9F2C731F6DDA5F |
| SHA-1 | 00120EC52FAC3557C5150179447BB435434B8C07 |
| SHA-256 | 5C7DAB58A94A6A0CBD5523A6CD28670D0CDE1066A033E37822326BCD29C57938 |
| SSDEEP | 48:PYhmPSDbgVx97UasHafbijihJDiy0lq8q8PvXPvXPvXPvXPvwA0uHBZ:PYhmWbgVH86a6tixq8HPvHPvcuh |
| TLSH | T1F2717D07ABCAEC3BE6284FB5D5B917466220E400EBB6E707B515972A8FC3B83570154A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/Pattern.v |
| FileSize | 5525 |
| MD5 | 2C8D6F7C051DF2B69ED6336FA0EB4FC4 |
| SHA-1 | 002488933C88853969D39B67727CBD45834447A5 |
| SHA-256 | 74908AA1931DB4E7EC82EBBF8E1B07A8F9FEDABA4080C651E0719BE5628D7452 |
| SSDEEP | 96:eDCcFAvURXEB4OfaU6yIb1vG2DIG0PPILZa74IdoMHZJtSS/siRn/siaAzI1/sHY:2CghQxDNSNimiaAJxu |
| TLSH | T185B1E27606F81F32E5E280EA514BA0D5DB06D4AB5701B056F09CB1A51BCF430E2F7ACE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/.coq-native/NCoq_setoid_ring_Integral_domain.cmxs |
| FileSize | 40368 |
| MD5 | 1FFB1A4BB182140DA6860563676354A0 |
| SHA-1 | 002D185CF7B9C5DD3D6DE94274E1348B6E4BAF08 |
| SHA-256 | B3E1F6B87A52596D96EF5F3536D953B0A0DCC819FBC2FB995108A511B1A12FB4 |
| SSDEEP | 768:CmTlOWAoWmtWFXiyrWDcJhR0NPYUSll0xtu/959:CmLht+yCUNu |
| TLSH | T17403B2933F9F44F9C4A65DB98CEF53B79630E2290A539001E6081F4DAFF93C44E1899A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.o |
| FileSize | 5524 |
| MD5 | 353C3C112110DE9A7CAC8C30443056C7 |
| SHA-1 | 002D1B79A249336499DDA547C040370A9B473E01 |
| SHA-256 | D655D6EF5AB00B76DA8079325F64B539E8B6886EF451405BC23D51C595C906F5 |
| SSDEEP | 96:PiZKndbTlH7UCa80wA2T0f3h9Ex2l6H/Ok47fqaenniv2u:qZKdbJbhrDT0fy2gHmeaen6 |
| TLSH | T1C5B1F25367C7AD3FE20A1EB18A7E1B057531E8209FBAF743A066721F8FC2706470185A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/ssr/ssrtacticals.cmi |
| FileSize | 7533 |
| MD5 | 4C5D8F3C78850C1991038A9E4166718A |
| SHA-1 | 00362DA500B46BE8C75F177BF2991C6FDC058956 |
| SHA-256 | 44A39A5082F513BB07E1BFADB19A5324B4C2539C66A647FACE2EBA3BF5912B5E |
| SSDEEP | 192:5kXtGPY2QRpu4KsAZeCn3kFBSZirzpozYym:5gvqf9cBSZivpozYym |
| TLSH | T16DF109EC738128E7FD6691AEDD4800274A71027DCBF9CC7F819903D545A2A8E97DB60B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/68/dfe419623e0e33c52f1f6e1d6481452eb8f547 |
| FileSize | 80 |
| MD5 | 79881AD7BF231DEDA3897720C3C07821 |
| SHA-1 | 0039B677BFC85E20B1EE5303283AEDE5873DDA1A |
| SHA-256 | E873B2D1EC627571D32706D91C9C7B37880CCA9673A039888C5E568DCF2B04AF |
| SSDEEP | 3:gCD/ptAW64KUhKq6xJW9tESdGgWn:X/YWBKUhDN9tDdc |
| TLSH | T11BA0025596692215650168F45920384F574569D4B5546D50D3AE0164D0455444315536 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs |
| FileSize | 16816 |
| MD5 | 5CDAC45295B6CFD8A2ED7987829217A9 |
| SHA-1 | 004A3B1E178399F04BB6160DF62EA2937834EA8A |
| SHA-256 | 21D6352F766FFC3FEE3B407B69077232400A249A65D889ACD1DFA1A9DFBE6C2B |
| SSDEEP | 96:886EETQBWB1phhXGFtm7kja19vWfoYXtJfAkMU6/Kg5SDWwIVmpgO+vLn/N70TO:T6EN8B2gsa19v1At5/6/QWwpa |
| TLSH | T15F721B1B7B98E87EE47093F2805F476232F4F411A5E14F7F965511080EA3F886AB298B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/5a/3e3a61244bf2ac6d7ff8f0dac1c9245f6521ff |
| FileSize | 65 |
| MD5 | 6902CE00EFD73462845B4633B28D9E80 |
| SHA-1 | 004A5311082FE1F98373E39037FCE3BE2D251309 |
| SHA-256 | 99890147A100019881F11D8C57EA0FA1BB628A43EC8C55C8C718AF30C9FAA806 |
| SSDEEP | 3:gCD/pnzuxFPV6jQzLc:X/daUjQnc |
| TLSH | T10CA0012165EEBA2065A624019042088423AE4EC83249EE302E394AA46EA41951363500 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proofs.cmxa |
| FileSize | 40130 |
| MD5 | F001BD732456B3865AFD18563A2919E5 |
| SHA-1 | 00511A791575CF4CE11870FDB01135C5130CC42C |
| SHA-256 | 471ACAC806BEFF4DBB1A6D5FCD0234D1BB18C51F2781C63BD54997AD51E4FEC9 |
| SSDEEP | 768:9gqK0qKFf/+7B2X26xSF6Bir+cFwB/CgimFjt55dLgKrDzYQdX6EVbDFgKp3zz:VYR7BXD6TmwBqtmZvXoKDDz |
| TLSH | T1DE032BA4B690309B74B3D2D75E9C043B17B4442BDAA288B982FE07F54673B13D4D7E29 |