| Key | Value |
|---|---|
| FileSize | 31861586 |
| MD5 | 393A9BE2BEDD9978784235887058D44C |
| 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 | B0547146DEDC8999C667EBAE74C7BC5F07683029 |
| SHA-256 | E9628C62B4468A4C044479FFAABBF3ED1D4FFFC4BDA8D2F33E697BFA489F3405 |
| 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/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmxs |
| FileSize | 9080 |
| MD5 | 073D9245C5CF407FA9AAC7AA2256D38A |
| SHA-1 | 000AC7C58B6ADB5792EDDD278648168EB60FCDBF |
| SHA-256 | 54021BC841B37A92C258600188FEE53DD50C28CD74474C8712309F4DEFDE3D0E |
| SSDEEP | 96:2W0OS6MBWBPBKd8foBX1CSUXkoXtv8BXDkL7ptWDfJpZh81ifgP9DrY0GOtd0Wzx:uOA8pBA8fo9NIszkA3r80fgPZrPn |
| TLSH | T15D123C4B7B94B57AC47790F740EF1325E4B0E509BAE64F27A309368C1C471DC6A126EB |
| 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/plugins/rtauto/.coq-native/NCoq_rtauto_Bintree.cmx |
| FileSize | 13510 |
| MD5 | 743346853831181549F033FC35EA728D |
| SHA-1 | 0028F9F55D088A808696B08F951D236E00B8AB61 |
| SHA-256 | 81827B5E5CF3DB46E15C15C483A238F93E5BF57B44D864D5F32F002111F1A994 |
| SSDEEP | 384:wszhIi1VOKqWpjFLVOQpNTxjUT0JbrwS/acdmzBPYChpKz46tlhs5v5p0IKkD:wm7GejFLVOQpNTxjUT0JbrwsacdmzBPX |
| TLSH | T1155273D00FB4F602A6AFC8F57679D5128809F10C5EB0659489CA9F2E9F54E43D38B3A3 |
| 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/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/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLt.o |
| FileSize | 1872 |
| MD5 | 83F27A56B888D05E0D327BE65F5CC3E1 |
| SHA-1 | 0055DE55C35B6EBC640B40D4C270D35EF7FABBF8 |
| SHA-256 | CEB87C0F86994B527BE0AFEDD8D354B2EB15B0BB5B1CD6476F8E6C7ECACDB0FE |
| SSDEEP | 24:PddkAaLjecOCnXl6014qa4reapmhKPn1f4Q4xhSg79Dzu8iJQqqW:Pfel163Gr9pXP2TDSAfueW |
| TLSH | T18731BB0A83EACA66C61446B0805E135927A4F6D0A7E4E70F830AB7646F834DCBB75B47 |
| 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/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDomain.cmxs |
| FileSize | 9104 |
| MD5 | D167C8225C363A9C1F6CC5A7313363BB |
| SHA-1 | 005FF27DCC8995083CDA6E2DEF72881B5FD09DB8 |
| SHA-256 | CD0007DEB3A69A5FC5B2670EC10380A00C09F2C40834A272B9482E0986B5182F |
| SSDEEP | 192:iKOsj8pAxcnAwTcew5DInNIszNuA3r80fgPZrvP:iFkxcnAwTceiIuszNu5OKr |
| TLSH | T1D8121B07B7D1F97AC4E260F590E742559170E910EBF18B6E624523C42E4B1DCBA12EDB |
| 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 |