| Key | Value |
|---|---|
| FileSize | 32856452 |
| MD5 | 875E23C885363B2B2701C039857D6E1E |
| 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.5-2build1 |
| SHA-1 | 07EA024FCBBCF4FDEE47B15C781CC8A80628B485 |
| SHA-256 | C6E8BD28AF61B806A2D7A805F8974F9A2E8342DBD42C3911CE05FCD566D942CA |
| hashlookup:children-total | 4253 |
| hashlookup:trust | 50 |
The searched file hash includes 4253 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/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmi |
| FileSize | 2818 |
| MD5 | 51ECDBE5AF4DCE487BE48911A1052048 |
| SHA-1 | 00199C7AEC24434210462522996AD742863B31B4 |
| SHA-256 | 9DBF7E6ADEB4E63149AF631DC5FAD8C5EB4164AA2513B6D475D2D51C70BA56D0 |
| SSDEEP | 48:WHlLRMPLiGStf+kkYVtxV/bBeHKl1V2/P9CXvcmmnKMP23Wqu32hW4w18:WRCPLWtf+kVdBuk1s/lezUA3WqK2hY8 |
| TLSH | T1F7513BC8F790B101A497C0B6C1E5547159411A7319B3CCBFAE4462DE8BACD581B03F9B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/html/stdlib/index_constructor_I.html |
| FileSize | 52373 |
| MD5 | FF06A978F55FE3A5DF1CCE0AAE617346 |
| SHA-1 | 0023150BBB823A4F015ED4A24578221D35C8A33E |
| SHA-256 | D03F8062FA98B9A232363A9BB855644913175B26389B1BED55AD5FDE1B75BACC |
| SSDEEP | 192:KpWEMf0jsJPgGJV7HXQsQJLeVYhV06CEM8e3QxcMVZWfykJA3kSggOmEMf0jsJPY:0CgsPctFckDg+gsPctFcS |
| TLSH | T13033790115C2207E9759B66E86B53D9926F35BF70B103C649E9FBC7FCEA27A0021D293 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmxs |
| FileSize | 61008 |
| MD5 | 5E408991B96E17A305DCD7CE18B0B9F7 |
| SHA-1 | 0026737D5E3211BA030CBF3897B2339DAA3614F4 |
| SHA-256 | 82444CD8416B0F4D2A0251FF0CD50C734CEA8EF85DC18767229967EEE10647FA |
| SSDEEP | 768:RkE8dt3DZlgj6sNWFZQhx8Ao6qFEIo8dHYuQJtF:Rk1XZlLWsPJNQJtF |
| TLSH | T13F53C64B71A789ACD2ABC3BC8647977239F9B4111F215B0271507B2C3F026D81BAEBD5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_EquivDec.o |
| FileSize | 507008 |
| MD5 | 558B8CA35F631D8722E7E3B7BA57B32E |
| SHA-1 | 002BB1C5CFF5F8B610B0FEA1CE2BED015C3FA50E |
| SHA-256 | 40D57EA63BD2163D90E06E27F16A9D6FBE3E2BE6355732DDC018B7B0F13C8B53 |
| SSDEEP | 6144:khvAscg626tR+UcWbjA79KiYUaiAApHnZNwoSnwGMXQjkdQF40FJ4nm5kNBg:HJ4m5kI |
| TLSH | T1A8B402037657497FC3568B7602B3812177BABD69EF2237065A62321E1F31FC61FA9128 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/ZArith/BinInt.glob |
| FileSize | 254399 |
| MD5 | F58B32ED1FE4480AFCF1BEE59E4C0A08 |
| SHA-1 | 003F580DEF773D6C58B8CA74B7744D17E75300C7 |
| SHA-256 | 782C9D3AB53BD11DD34D45D7D9D49B4A75ECE37C23EBB70B82C2E92080773D5F |
| SSDEEP | 3072:vnCh2hcbaYZ44449LtLkkaUqq0brHieeeeejtuAq8Um4NPhfmDuuBq511111111O:PN8g7 |
| TLSH | T14C44A928912601BD606C1C74A77123A562F57CDAFE6A22B0BD8E475DBFF1A1C033BB45 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Integer/Abstract/ZParity.vo |
| FileSize | 166091 |
| MD5 | 8DE678F26BB44093A701D85007B36AD2 |
| SHA-1 | 004043326363CB2B42EB7698F540DA293DC5FDA0 |
| SHA-256 | BD71AF9B6A02C07490BF2AFE9738442D02629C34AD1D9F923E72CA641BAAA47F |
| SSDEEP | 3072:Ytob1EswxURo7WrBrkhy+7pPl+Z/W+hjsJDCS:KIJIURo7RwzjZS |
| TLSH | T1C0F30D15DBEBED20F848C86B735C7D1BC95059C5B2AED1CB93098B7B5942C4A37C02AE |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/html/stdlib/Coq.micromega.Psatz.html |
| FileSize | 18458 |
| MD5 | 8E212D91700281133F7C17981456B243 |
| SHA-1 | 0061E62956372298A9FE0D97F4741E58E72CEA24 |
| SHA-256 | EA70E2D5FAC5F7E533118C5697D4C8E312178E6A3FC41A65DA24255CC14B2733 |
| SSDEEP | 192:KpElyK0S0vnkq0vnk2mC0vnstMCv8U7pAIPqOwWs7pAXzMCvI591S:0EM+0vL0vV0vKMCJ7p87p+MCl |
| TLSH | T1BC82B9D843A2783749338AEA62FD5BAAF4E00A8DD4C94940F6FD06F706CDE647152873 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Wf.o |
| FileSize | 45928 |
| MD5 | 13071FE582523DFE17749476A4C407B4 |
| SHA-1 | 0068D36FFB9C2DC2F94AA4B8E3575233395AF6E3 |
| SHA-256 | D2A202B68024FA5CCF9B1A9E9CBE422454E77A42C6B9C85A29304FC30462FB71 |
| SSDEEP | 768:gS6SvNg+SqxnQ6xNQSos88bGzYbsq/CVl0ZGfqLLVXTPK6uFlmbpWNOgApriuVzz:piEhQ6vQSh88KzAsq/CVCZr8Apri3i |
| TLSH | T18123ED0B75A38A2FD31A8BB443FB616171B9FC65DE533B026718372E1F35E44CAA4528 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmxs |
| FileSize | 184528 |
| MD5 | 3476A3A64013D75A349C0BBFF691EFFA |
| SHA-1 | 00B17FDCC1A86CB92505F92A30057025AF31283D |
| SHA-256 | 3650E2C861121A0E8AA71CE3229A1A6BEC90EB2F7DD1F8B3A949CAA714228EC6 |
| SSDEEP | 3072:jq5PiZSTV85t2Z6t1kBIHvP3ZMZqUeH9Q8QJw7Kf5LZDdblTBw8ps4fUrXbjkOIr:e5KZSaiMvP3UqUeH9Q8QJw85LZDdblT5 |
| TLSH | T19104813B24E495FEC6AED2B9436B86B677A031E146512BA1B4C2F3251F01C401FEF6D9 |