| Key | Value |
|---|---|
| FileSize | 22842810 |
| MD5 | 7D7BB938B242D8952C6338D3E1CB1FDC |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | 6C71DFA571CF0AAF433D48FB5658440CCE86857E |
| SHA-256 | CE4B7CCAF978CAC774D922CCD4E760F16EEE555B5B4AAD2904A0554AC4BF6532 |
| hashlookup:children-total | 2326 |
| hashlookup:trust | 50 |
The searched file hash includes 2326 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/share/doc/coq-theories/html/Coq.Numbers.NatInt.NZSqrt.html |
| FileSize | 108246 |
| MD5 | 503740521B79B66F004A723B157724B3 |
| SHA-1 | 00248382FDCACBFC2CB0327F90412728BD0FC257 |
| SHA-256 | 1FD78E5F28E9B3B3BE7823A2AD9CA5EFE574C391818320ADB912DB3785F89525 |
| SSDEEP | 1536:yNSK931+neP1/bIC9mUlSX1YKjt8mYK8VO6u4w7T4Y6u4ZE95+QsCDz8en++HDD5:Z |
| TLSH | T1B4B359E943E1153B4E7386FA17F96B28F4E24E14D4454C10F6FE42EA568EF257A82C23 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Image.vo |
| FileSize | 26277 |
| MD5 | 32CD996EB779B4D6495E9367ED9ECAD7 |
| SHA-1 | 0026CA0D2F53059CB29BD526930DF08E248E4198 |
| SHA-256 | E9E2AB6F3FC0776181E365B21F2910D41A2048CAB67625AE09DA8D2C61CBB2C0 |
| SSDEEP | 384:zGB8VtejvjIvs56VhEBn5bnWY5Dgf6TU5owC5c2uzRy0U2H+r2x/3:SqVtejvjIvsIvEBn5zWY5DgaKSmfzeM3 |
| TLSH | T17AC2B589C5C58FA29CF789B44A34368561051ECF622DB7992624433CDB9FBCF3A7814B |
| 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/plugins/setoid_ring/Ring_theory.vo |
| FileSize | 152737 |
| MD5 | 9D5ABEE07ED1E2125BA9967AD41753C8 |
| SHA-1 | 002FC175E5D05BDC35EBC302387E67D904AF989C |
| SHA-256 | 2F5195718FC52FAE1E0F76EDC162283458223974BF1CD637D7B77D33941458D5 |
| SSDEEP | 3072:MNxFuY2efa8cJ+bRtqoNJXDJgqgsJ+9IAv9TaPRX3hnJcZ/5wcU:M7IYja1JCtqoNJXDqq3JKIAv9TaPD4mT |
| TLSH | T110E3E574D788DD68CCD90EB5CB2B7BC632249ADD36B2E3961A1D43340DD52FAE24434A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Integer/NatPairs/ZNatPairs.vo |
| FileSize | 194154 |
| MD5 | DB46BF1A32FF18F08B188EB8562E280E |
| SHA-1 | 00463B2D00B0AAA154D71684D8EA22C2CA3F7C6D |
| SHA-256 | DAC6863B4749D98B572C513A823BA954C0731B2B22A921EE31D0A5FF54133ABD |
| SSDEEP | 3072:TVGfl5LthLuVtN1ENLfO98X14CKRr5DO7HKAIJgUJlfZr01tvr:RGLpZuVtbEa1RxOzHIqUJlfZOZr |
| TLSH | T15114F8509AC7FE70DC59C8B7B168BC0BE47047C93221E2D287949B7B96C6D853BE418E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zmin.vo |
| FileSize | 26004 |
| MD5 | 1BF1ACA31370402A37DE89DD140FBC6A |
| SHA-1 | 00483CE2E5B848E0B11B669D0FA9495BDEED5FEF |
| SHA-256 | 3A587B5985A09FE6F856B4607177A659945FA0A7B9E2565DD55C56E20D0F18BD |
| SSDEEP | 384:YDiNxehuPGSTdfha10K+iStYUNpmHxQJ4GuPnWY5Dgf2EK:YWNxehuP9Td5a1uKUNpzylvWY5Dgf2EK |
| TLSH | T143C24036DAD1C7911CB1CA7426B8388CA645AF875248D7681631137DDB8FBCA2DF029F |
| 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 | ./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 | ./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 |