| Key | Value |
|---|---|
| FileName | 13598 |
| FileSize | 30091244 |
| MD5 | B334B9B2E462DD6926E83BEED9403937 |
| 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-4 |
| RDS:package_id | 182052 |
| SHA-1 | 13D5F46FA117DF418C4EC170E9580F3F6BEF57EB |
| SHA-256 | A5302428643903B615990FBB46442F1ADB5440D8B587B113F56E51B9DBB3FF6B |
| insert-timestamp | 1679408379.4200697 |
| source | RDS.db |
| 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 | Cyclic31.vo |
| FileSize | 597827 |
| MD5 | 641FD15B24E1E98A9CE8BBB85B724040 |
| RDS:package_id | 182052 |
| SHA-1 | 001B09CA3AD183472F97B9807E7055AC5DFEFCC7 |
| SHA-256 | 4FBB627C1992670498945DCFAABBE4EC3AA7FBDA6561A686046E1C372A809E78 |
| SSDEEP | 12288:33/T5OpsUW8L3+Kux53CqpO7LIZeBgpxMVPZZ:33/T5OpsO/uxtCqSdZZ |
| TLSH | T1B5D47C7C96C9CEB0D9DEADF1D738F80D264305CF217AD1922658A73C89CBA8CA41D85D |
| insert-timestamp | 1679425902.9586284 |
| source | RDS.db |
| 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/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 | NCoq_Numbers_Integer_Abstract_ZSgnAbs.cmx |
| FileSize | 3834 |
| MD5 | 5C97171DA1D45F244A15EFF23F2D64D4 |
| RDS:package_id | 182052 |
| SHA-1 | 007941764D81193299EE8E5CE4539AC45C45801C |
| SHA-256 | 115E299C70E89FAE45BD2BEB5EF8797CCF1B32051D6A4F26017CFE62ACFC4D09 |
| SSDEEP | 96:6ZCy9CIt1erLvHhSetUB9WCQfiAHhD3jUi2h7+ZjgkXQ:4ChUyzI1QKAZQi2ZPkA |
| TLSH | T1F4812B5ED281712E0EF7C4E782590070ADAC65431333C4FCD7961A9881A9EBC7667E1F |
| insert-timestamp | 1679425905.478462 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | NCoq_Reals_RList.cmx |
| FileSize | 8934 |
| MD5 | DA7589EE7BF5DD215387F05CB45C4CCE |
| RDS:package_id | 182052 |
| SHA-1 | 00911E2254AE3E649CD48904B6535710742AFF52 |
| SHA-256 | 85D1AC8AD16D5EFAD9E7E1D45A60A6363F880A5C1EE0020F61DFEAFE5B236DE6 |
| SSDEEP | 192:eChUyzizSM6hf1QKAZQi2K++HFgPiOBPQd+ZVaHACinjeN9+v8ZGo:emcSM6h+KCQi2KD50VaHrXZGo |
| TLSH | T127020F524E99E815CBCBD4FE216EB46F4D21C0C60B2E4D61CF990B1D9F268C097AB327 |
| insert-timestamp | 1679425929.9461203 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_axiom_L.html |
| FileSize | 19336 |
| MD5 | 397A9AD33159FA2BD791D41E7B2D85D8 |
| RDS:package_id | 182052 |
| SHA-1 | 009E0B73461E505C11A968F64B0189809D289A30 |
| SHA-256 | 99A25B500640B8ED4B0AF4141C831DF85F797735263480413384C21C47446F42 |
| SSDEEP | 192:KpWEMfhjgJPQJV7rQs/JLqVYhV06CEM8/3QxcMVCW+ykJT:0xSTxRmc3 |
| TLSH | T18D92EB4614C6646E42597A2E4AB47CA962F31BF54B243C04EF9FFD7FCBA2794120D283 |
| insert-timestamp | 1679425890.8832495 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | NCoq_Strings_String.cmx |
| FileSize | 9159 |
| MD5 | 6B33CF20E13F6030ADED151B6E677C3F |
| RDS:package_id | 182052 |
| SHA-1 | 009F50BA63442F7270F38BBF641A269D5DF004EF |
| SHA-256 | 362A455F6B9133AD91B27AF3E828D76D8A3C7B05781F2F0CC69D4A6E487D4C82 |
| SSDEEP | 192:8ChUyzxBhDMhhov1gDQKAZQi2Bs+F4wAfDN3hwEUwip0vicv/8oNEp7JD:8mFDMhheKCQi2aPwArphwEUwip2D/pod |
| TLSH | T1A2121B60B690F0566E1F76F906BD64E28C4DA5CF2A3949F4CA89095CFF64B04C6EB343 |
| insert-timestamp | 1679425914.78679 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.glob |
| FileSize | 27575 |
| MD5 | 45ACCC8E621B40BB8740FBEE959D807A |
| RDS:package_id | 182052 |
| SHA-1 | 00BD085CF62FB331A6A8087D81BC748E9BF81E8A |
| SHA-256 | 1AC3EF556B972F70C1C833D6B3D19B08A3E524638D955ABE86D2910BCFBF03CC |
| SSDEEP | 192:r7RrKvUqOZrjaWgZeqXZfsqq9d9d9vbvG7:IPOZCW8eqXSqq9d9d9vbvG7 |
| TLSH | T149C2907932D7C3F14396183068DB14FF88A9C74266DF00EB6A4E568ABAF345E60BD711 |
| insert-timestamp | 1679425907.4292421 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/Classical.glob |
| FileSize | 154 |
| MD5 | C8E5E93EBB946F8F1B6D5724D3761B26 |
| RDS:package_id | 182052 |
| SHA-1 | 00BE1DA50BF7A7E36A7A2DFD404283D85EDF0249 |
| SHA-256 | 1C7A60F589FB57015783B70B248CED5AECE1D9F01AED3C2FD5E3C4DFEEF6D81C |
| SSDEEP | 3:JhH7gUd/MhBc0E91GSJEWWkhTPfc8GSJEWWkMenFZkrXL1GSJEWWkM6mbgP:b8US3cx1GSJ93c8GSJUeFaNGSJU6mkP |
| TLSH | T1EAC08C32EA0424F83A9308300C8402F022312104EF09C972A1AEB88D0AC8E4CB4203AE |
| insert-timestamp | 1679425915.3505614 |
| source | RDS.db |