| Key | Value |
|---|---|
| FileName | ./usr/share/doc/gappa/html/bibliography.html |
| FileSize | 10407 |
| MD5 | DC9677798BDE02311A0AB3E2A1A7BFE8 |
| SHA-1 | 3AF086733FFD252F1F986FA7F92A533E9D1ECF60 |
| SHA-256 | 03A475055ED6E6201229285A8C9F6F2F90045863BDD4589EBC2F0CD0A113C611 |
| SSDEEP | 96:0BDmSHxDaBHruplBnllfubcHoKvidkv5cCuDktW1qG79TDv/sMf507UZ/k5SnD+d:sRIylBLokcSbuh7VDv/rx071SDZCrT7 |
| TLSH | T15822B736E584663F034356D57A963319D9E7885BD2121D05B0FC8AAA1B52FB0EF3B30E |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 404400 |
| MD5 | 0C8B664FFE46B648EB573E316C96D5FE |
| PackageDescription | Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. |
| PackageMaintainer | Debian Math Team <team+math@tracker.debian.org> |
| PackageName | gappa |
| PackageSection | math |
| PackageVersion | 1.4.1-1 |
| SHA-1 | 9DE7AA9731C3475EB350F159B9E20549CBE098EB |
| SHA-256 | 20ADEBA08DC652ECCEFF31DE94321CBC8B57EBB742BD0146231CF2B004BEF562 |
| Key | Value |
|---|---|
| FileSize | 435600 |
| MD5 | 9333E7C911304E2DD7BE63D8192283ED |
| PackageDescription | Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. |
| PackageMaintainer | Debian Math Team <team+math@tracker.debian.org> |
| PackageName | gappa |
| PackageSection | math |
| PackageVersion | 1.4.1-1 |
| SHA-1 | AE656D5F9FDC5A04EED7F66DE8B9A95AE0B4E79D |
| SHA-256 | 5B1D657C9ADCD54011416FA529E433B3A0790911443CDE7A5D90D32A762F5EDC |
| Key | Value |
|---|---|
| FileSize | 400788 |
| MD5 | DB2C19A2CEB1E886CC16601B5FD76CCE |
| PackageDescription | Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. |
| PackageMaintainer | Debian Math Team <team+math@tracker.debian.org> |
| PackageName | gappa |
| PackageSection | math |
| PackageVersion | 1.4.1-1 |
| SHA-1 | DAE47D67CD4B768FE10C70B7545C80FCA110749F |
| SHA-256 | D47A3840FA7B6743D74E061013F3C0E6BF24ED88CC8D86C78195977CDC3F9869 |
| Key | Value |
|---|---|
| FileSize | 454564 |
| MD5 | 743F29A39BF3CFCE3D9E9B646CE8EE6C |
| PackageDescription | Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. |
| PackageMaintainer | Debian Math Team <team+math@tracker.debian.org> |
| PackageName | gappa |
| PackageSection | math |
| PackageVersion | 1.4.1-1 |
| SHA-1 | 0AD0D05CBC240076401BA3F7912C099A0B73C3A2 |
| SHA-256 | 78343EBD30D41BF2F8D19EE10DE9C71C64F4281B55F8109CE7ACB3DA166FBAD6 |
| Key | Value |
|---|---|
| FileSize | 391684 |
| MD5 | F421834CC565B1743773C8D6FE3DC872 |
| PackageDescription | Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. |
| PackageMaintainer | Debian Math Team <team+math@tracker.debian.org> |
| PackageName | gappa |
| PackageSection | math |
| PackageVersion | 1.4.1-1 |
| SHA-1 | AC499EF88BAB8CCC67C683B354DBC0BD7228E5DC |
| SHA-256 | A0E4F1FDBC95DD7265AC37F0446091A5F3C1F960504F893AC648C0097ACCD074 |