Parents (Total: 5)
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 |