Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	13908856
MD5	BC60D3E76EB884C9621CDBB03686D6B7
PackageDescription	Coq library on floating-point arithmetic This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libfloat-coq
PackageSection	math
PackageVersion	1:8.2-1.2-7
SHA-1	DBB1A4BFBA90013C4BEC6A850FB6006626BA7D38
SHA-256	0CFF0B3EC483B69B7ADD16C95C7FCCA9F2E4C51244043376B939158DD060680C