| Key | Value |
|---|---|
| FileSize | 33079952 |
| MD5 | EC8B9139F36FBB813A0459BC16EC4A5D |
| 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.11.0-1 |
| SHA-1 | 71E6C54E386BEE1B42F785BF40646FBBE49DA0E7 |
| SHA-256 | 21F4032BE83DF12BE62F0BFE3E6BE56D950034207D568A13DA8610BBB3FD7072 |
| hashlookup:children-total | 4638 |
| hashlookup:trust | 50 |
The searched file hash includes 4638 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo |
| FileSize | 74916 |
| MD5 | 851010B312A95CDD66918A70AFBD44F8 |
| SHA-1 | 0010589387B85DCFEA951906F7AC078BAD9643B2 |
| SHA-256 | 04DADF3E36E76A628BD8EE69F6BC13F39800FC9D724B322B0E52A713482B557D |
| SSDEEP | 1536:cA1aXXofIKXBdojDXM/NuIypMuM8PE70/EZEEVLO++nsX:cAwXofXBdoXUPXuUdKK5a4 |
| TLSH | T14773F7C2A5438091E96117BBB325B81CD7B9493503BFB7D0ED2FFD158607A8662B13CA |
| 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/share/doc/coq-theories/html/Coq.Reals.Rregisternames.html |
| FileSize | 853 |
| MD5 | C500C2B5B94FBAA03050E96508E6966A |
| SHA-1 | 0042BB1F6675E7E97AA7855D406A2F7F26D907BA |
| SHA-256 | 746D2E5B146E5E7C76F5D774FC9FFD00B8AA41BD5D02333CA041061DE6940C7F |
| SSDEEP | 24:hUdsmIZ5fsplpoxVH1I4bBRXmJHdEYJTbB6dXS4bB0:TmIDEplpE1DbKCIb0ZbO |
| TLSH | T1A801C27DA18159378EE246F324E6276AF0C14A07C0C50CC4F6F85797A7C6E55E0225E6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_BoolEq.cmxs |
| FileSize | 36504 |
| MD5 | D8E26A87D4B818EB46E1E946A0D784EF |
| SHA-1 | 004B60FC0B5E76CE7D37E8FF64516641E63DED87 |
| SHA-256 | D91C15EAFD6DB747F51C9BA936121C1A076C3627F3A15D5AC87514257EC6B862 |
| SSDEEP | 384:7JaIb3De2G1TFlHrI/+FiccpTQbW3wiWeTUZ7ffUE:7t3De2G1TFi+Ficc1dpTm7 |
| TLSH | T149F2C996BED7CC7DC67D82BC419B017276B47818DB812F1372807B1C1DD6A897B8AE84 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZSqrt.cmi |
| FileSize | 2273 |
| MD5 | 8A66EF07FF2A5782D47EB4ED706F43DB |
| SHA-1 | 0066BF9154E4FC009408D10DC04F35AB85E3E135 |
| SHA-256 | 092E1846273B94C8B7EB83EF8B1715307561EB21095AFA17D0C11D3C9BE98BF4 |
| SSDEEP | 48:9+JdLHQpMRKRi1wDji/N0ARGYDTcsEshGkRqyZ/JKx7g8sHKgu6:9+JtQpMWiMARlDTrXhfBZheg8mD |
| TLSH | T1D941C6F93BC1765AB82002B3F899009A01721827CB50CC7D2ADD634C47BAE3A61C2E27 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rregisternames.o |
| FileSize | 2704 |
| MD5 | FEA7A0B60054459A48288E45E3ACE60D |
| SHA-1 | 006DED6C028CCE7AB041C09452D0064EE7E048CD |
| SHA-256 | EF2C1BB61E73D5537C77EAA40FCC2E6F1EF26E53735C98A27191ACFA7D5D9658 |
| SSDEEP | 24:bikEGf2CbWFbk9pBls51TLaT3DJtVpZ6fTPTWrZuMkRfYNUMeNv6w:biNG76A9DlszW3dTi7quMkmNiN |
| TLSH | T18B51976BAB89CD6BC99981F468993232A796FC1079D28B43D3C072584F73AC4DE11863 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_WeakFan.cmi |
| FileSize | 7819 |
| MD5 | 5F28D80979DA8BAF7D90FFB8D6E58F5F |
| SHA-1 | 007C692E75A195B3EBECDB13C09A078196799A21 |
| SHA-256 | 58FBF7AB37D0488E7494D338706B9117F50310E665AA313A1F747E3ACF3E4135 |
| SSDEEP | 96:mVGGXN4zQO5pSB6H42gmqw248QzItEfRoLQpMWiMARlDTrXhiBZheg8mD:m3d/sS8gmqwlhzIC5oaiMQTk7p |
| TLSH | T1B2F1D7EEBB426B58FC1026FDC2A943B3036143BEC6F59CBB90144BF48A5051E538B293 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/Ncring_polynom.vo |
| FileSize | 205066 |
| MD5 | 87EDD9BF4FC7FF3CC7F19B0C33AC57F7 |
| SHA-1 | 007D4FCE2C0269062B57584CD51C0E58A18E57AB |
| SHA-256 | 3B48DB6BD7762B44C70D78509FCC07DD3991391FADBD0939213E0153839E6F2E |
| SSDEEP | 3072:btdSkvlnrco+NBBbS8PoKzsy+9cZhV8KbpXOZEsZmrP4a4P+Rk20YS3umD:JdR91+LBRky+9UdXRJTRk2zMuK |
| TLSH | T167144A61A128E561CCFE4E72D75AD1C8B3214A4EE1FA068B1D4D831C8DC72FF9952ED2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/Lqa.glob |
| FileSize | 752 |
| MD5 | D1649B4BF3D7B1A8EE44BC9DB1852482 |
| SHA-1 | 007FF8CFCDC570B61689DB6A872B4F197D9C6E29 |
| SHA-256 | 92932ED41649F1FEDE95E27C40C60FCD68468DF7648EAE84744189E6864987C4 |
| SSDEEP | 12:VpNRKTNziny9R5yijinaE2Nma9Y3cT0iINNzWLnUS9IzRsNzaZETgccD9I89IQ:1sTNzina5yiOnaBNma9YM01NzWLnUF9l |
| TLSH | T1B80192BE0217C4F0E5060F79801CEBD99E62049EA96604B6E3CD192D6C10ACDA2E6AA0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmx |
| FileSize | 2194 |
| MD5 | 73317830C3EC2F7B29D6681088B02E13 |
| SHA-1 | 008501B51F3D2A84F130A844675E41F356DF1ACB |
| SHA-256 | E900BEB30786533B8DD22FF41D64FA772DA2375F1CBD929F7F884582F81870C9 |
| SSDEEP | 48:vQpMRKRi1wDji/N0ARGYDTcsEshGkdqyZ/JKx7g8sHKgu6l9:vQpMWiMARlDTrXh/BZheg8mF3 |
| TLSH | T1F341D7E9BBC635AA78604373BC8D409612712417EB20DC6D16DD534C46F4A3F70D2A47 |