| Key | Value |
|---|---|
| FileSize | 33323634 |
| MD5 | 8221FED5FA89688FE2FA2C724216B02B |
| PackageDescription | proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.6-4build3 |
| SHA-1 | 0404BEB9E0EFE946BA2A8E6CE5B2AA74E0D8F75B |
| SHA-256 | 05E54203580359D358EC964B20F29688C322AF4113EEFDA289BE9DECFCB80E4A |
| hashlookup:children-total | 4301 |
| hashlookup:trust | 50 |
The searched file hash includes 4301 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZAddOrder.glob |
| FileSize | 27187 |
| MD5 | E41A8C255D66CF2EB11ADC356C81F263 |
| RDS:package_id | 182052 |
| SHA-1 | 000A712D1D4A59A039832844D466052406FB72C9 |
| SHA-256 | F41938427CA986351192E3169980081FAE5B4C27231D4381A796D571F94DCC5D |
| SSDEEP | 192:Cdmz/C0KrdLuLSjtrUjE1dbkYzW+mLoh9zeTwhlhLqJ:1/C0KrdLuLSjtrIEnAYzW+mLobSwlhLE |
| TLSH | T109C2D77F2240827496A70EB96F8C5DDC03AE4F96995E1068014FB9C17FC791EA386F93 |
| insert-timestamp | 1679425910.0569463 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmi |
| FileSize | 22708 |
| MD5 | 8E545D3D0F66D73325F2AE5BB584A150 |
| SHA-1 | 00117B22CEA72B4CAFF2FA7DD0F6F5888913DEBD |
| SHA-256 | 7AC22021F8D11A032B3FB28745BCCF4266BA8A7A7CE5B9F0DC0363758729F3FA |
| SSDEEP | 384:E3392uPl8DXuGVPanYFOx07vhGh5BHxfnr9FTBiZt02mdFfTQEoKy1GwwGX7pKvL:SAX0hHQ0Sb/zbRNm8a4Y |
| TLSH | T1D0A2465D5906F0DC1A6E48FDC02F908A9348237F1A768DB7324D4AF998AE90DCB179C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmxs |
| FileSize | 25616 |
| MD5 | 004AA6A00096BED307E09ED9F5C05F1A |
| SHA-1 | 00208D011BC5AAE64A8678B3E1E58BA1CE68F952 |
| SHA-256 | 245A0CF445D5A9A76D3A60C50C68D8B4C33B49ED73046448CE082FFC5B8025F0 |
| SSDEEP | 768:JP0RA34XvyE6w4xw5xjhjhRzkH1kx82dUQVjDfvmia4NtHR:JP0RA34XvyE/4xw5xVjhRzkH1kxz9Vjv |
| TLSH | T12CB2E707B7A7C63EC636C3F8409B42BAA8F4F815E560572B6540772C2D9278C5F6E4E2 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_abbreviation_G.html |
| FileSize | 19869 |
| MD5 | 3E16325C6AB8417C541B1F91A18CFA0D |
| RDS:package_id | 182052 |
| SHA-1 | 002B4D1D28B35B9CF1CFCBE3717E939B7D77B98D |
| SHA-256 | D4816C9239648AEA49FFD8E03187132CC6949378AF4847F24AB1B801B84FF2FD |
| SSDEEP | 192:KpWEMfhjgJPQJV7rQs/JLqVYhV06CEM8/3QxcMVCW+ykJR+UqGUqmUqWUq6UEJ5Q:0xSTxRmcKJ5Q |
| TLSH | T1DC92FA4614C2646E46597A3E4AB47CA922F31BB54B203C44EF9FFC7FCAA2791124D293 |
| insert-timestamp | 1679425892.7810118 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Specif.cmxs |
| FileSize | 91552 |
| MD5 | B83EAEB382E9CFEEA5A0DE189FBF516C |
| SHA-1 | 003108F173E8D7EC7D4604EB51FA1AD685174304 |
| SHA-256 | EADE8E170A7AB57DBA4A1FF948B6BE4452F61F009183002AC6CF902384115E33 |
| SSDEEP | 768:fl9j/8rOIKgL/wgH0TbYfkzcsCoogYWmL4rcvwVEsCPDq6xeMdfepXflW1G9kBI7:fl9j0Af3OMnW5ZbdQjQzdGaIorjfKT |
| TLSH | T1A69384477AFACE7DC3628279074782B565E0B71199A1B74E21403B2C2E0358F5FAF6E4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBits.cmi |
| FileSize | 3432 |
| MD5 | F159587DBF1D648A1690FEBE6006B290 |
| SHA-1 | 004CD6CECA71F77D201FA18A6C68706F54C89EB8 |
| SHA-256 | 6534ECDB54C5067BC18F7321AC5A9FAB1286B17E12DD832B0EE1BF91680BCE8A |
| SSDEEP | 96:3TZY1CSUXkoXtv8BXDuL7ptWDfJpZh81ifgP9DU:3tYNIszuA3r80fgPZU |
| TLSH | T17B612B8ABB9034E2D873C0E742F28058D8446776867B8AAC078333DE59ED4A6B916D57 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.ZArith.Zquot.html |
| FileSize | 120376 |
| MD5 | F0AF6334EDE48043FC8B4DD6B9AB1D19 |
| SHA-1 | 005A889E4C9A2140A376701EC75F17E9CCD9F35C |
| SHA-256 | 6C564BECE234CFD94CEA1C241E286DCE9A6547409E9BCBF07FB46B139FB56EDD |
| SSDEEP | 384:0E8jW/ddQg+pmLDx32bEeIoFgo8RnKZxMCLn7IRJOxmXISexf7JXKw:58jW/ddh+p22bNIR6xf7Jaw |
| TLSH | T157C3F4E843A2193B4A7786EA07F96734F0E14D09E4854D24F6EE46EB47CDF107A66C23 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.o |
| FileSize | 145280 |
| MD5 | 5EE5DED73BABF9D5E5E14372809F531B |
| SHA-1 | 005CA718A10B9518F412D841FC15BA9731AE15CE |
| SHA-256 | 8CBD8EEEB1A660DB9C4C849ABA5CDE97479E0911BF4EB9AAEFA2E74579B635A7 |
| SSDEEP | 3072:D0yfv0+vcq1McssOfOi0oibe34H48O5j+aDLWiuPE5:D0yfv0+vcq1McssOfOi0oibe34H48O5a |
| TLSH | T137E3BB0B79E79D2EC245CB710076626266AAFC68DE123F273E553B0E4F31E898F75124 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Init.Peano.html |
| FileSize | 54136 |
| MD5 | CABCD16AFB5AD8F96F99E47A29526E68 |
| RDS:package_id | 182052 |
| SHA-1 | 00625B45DDDCA69EB57997658C3FD331B9CF7F60 |
| SHA-256 | B7CB5F390034E5FAAACF17479E86319FA0B238611B5C4D6DC336B399017C43F6 |
| SSDEEP | 192:KpE8VSIp+fxpHUE24Yvw/5Xo7bX8/0ENnBmsTJ5YrODJWGu0eeCoYwrPIzuCB7CE:0EgSI4fxpHUE246w/ZjQ95VAtXCoIz |
| TLSH | T13733DAE853A22D774D738AF607FD6724F4F04949D4C64A00F6EE5AFB068EE20B951923 |
| insert-timestamp | 1679425893.0914357 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.o |
| FileSize | 241328 |
| MD5 | 199AA68C58BB9148BD21120663117D0B |
| SHA-1 | 00632B25E64B08D4A9194FA1EE3FEB157558E7AB |
| SHA-256 | 0E9EA996E398F8191A26B33241CAC08420D915A18B42374D9657726E537BF2A4 |
| SSDEEP | 6144:eK95Ag94RSleka7qOnPGV8ctOX3lmg9QTYCRkfRz:TkfRz |
| TLSH | T1E934AD9775A7592DC311CB760076A2A2B1BAFC68DE123B137656331F0F35E8A8FB4124 |