| Key | Value |
|---|---|
| FileSize | 31788186 |
| MD5 | 8160FB65BBCFDBE7794E798CE595C45B |
| 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 | 5ED3F1E6DBB2793A1D0D86EA714DA58AB5AC00D2 |
| SHA-256 | A48AD2810595977F5DE2D634038BE91AE35B301E95D48D9CDB1D2CDDF54062BF |
| 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/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.o |
| FileSize | 142332 |
| MD5 | 406260C91DB531C4BFE8E3CC6C58B1B2 |
| SHA-1 | 0022F8EE771ACC1C4469AB340724E806A3BF0622 |
| SHA-256 | 2809AA53FB43CD2E3290F7ED94D7BEE8DAAB9AC08BB58209068075387DA75579 |
| SSDEEP | 1536:ObkpCTaAdImqHjPT+/ERlW9hCcTwc6dClWiGLhk79Wfx3WG5V6wWnhQnqwhY7qbd:ObkpCT8o/oIzvUkIeC5AprZ89Dd |
| TLSH | T11ED373C787E58A7EC24E0FFC48AE0BF65C70884B5B996B255549F22E9F85BCD4F21408 |
| 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/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/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/Classes/.coq-native/NCoq_Classes_SetoidClass.cmxs |
| FileSize | 22544 |
| MD5 | E004380DF45582814E5B227AB96C6C88 |
| SHA-1 | 007E9DCF55CDC1B7A4709BB83BA7334E718F2CFE |
| SHA-256 | 0348ADEC446D9F687488787C0F05F1F01C30575E5E8F51E14E6F42EC99262249 |
| SSDEEP | 384:uZg/sHApuqHcAQanFkcmk5MjhvuwUsKMsEG2yJc:uGsHApuqHcAQukcUjhvuwUst |
| TLSH | T1D2A2B85377BC85FDD76B8FB848EF076638A0D206AC95790EB429E60C7E4269903C14DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qround.cmxs |
| FileSize | 14124 |
| MD5 | 6F0F84F8276BA6ACA27E1A470A681E88 |
| SHA-1 | 009851D80DCB7F3E8AD5CF49F2E4435670A6386B |
| SHA-256 | AEBA0BF387E150DDE1DA34639012918A44827308FC9EC5CF63DFADDA6AFE6E94 |
| SSDEEP | 384:uqvd64HQBSMhYtw5lLl3eZT5gsEG2Oh8Iv:uqvd64HQBSMGt6AHhv |
| TLSH | T19052C65B7388DE7ECA734AF048EF17962061E15C9BE39B67BA00620C6F02A4947658D3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.o |
| FileSize | 3008 |
| MD5 | 329643A677FCFB028479A07BCB06BD2F |
| SHA-1 | 00AF50D5D8023FADE5C35D3BCA8235E56909C1AF |
| SHA-256 | 953C15B4FDCC0E53B6D50CAE450F6F5EEE5E893BB2EFC11C23B823EDA541C942 |
| SSDEEP | 48:P0WsmNnN3hGsXvmZaZB91jZi21jrz72fuWe85:P0WsmNN3VmuBXz1vPquJ |
| TLSH | T1D9516B47AB88683FD6284FB5D8F927567520E00095E9AB07B921E718CF82BC75B118DD |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/html/stdlib/index_global_P.html |
| FileSize | 397384 |
| MD5 | 8E493717DE832AC25E0B35D9CD76C219 |
| SHA-1 | 00BA713A2DB2324DEDAD6113BA493E17D0CF823E |
| SHA-256 | D71DF37B87D56D430A7671D32FBFD874FD143AD8D0EAF617095B65C4402CED15 |
| SSDEEP | 3072:Xw0wdygy3yhy/aWzXvtvSapm3UsfgqNBW7x2sylA5:qygy3yhy/aWzXvtvSapmvBW7x2sylA5 |
| TLSH | T155846AD530E1425ECB5A623A08BD7EAC716345E31C812C98F81F7957F967F0E22A91E3 |