Version of libfiat-dev: 2.0.0-1
Architecture of libfiat-dev: amd64
Version of fiat-utils: 2.0.0-1
Architecture of fiat-utils: amd64
| libfiat-dev | fiat-utils | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 959 B | ./usr/share/doc/libfiat-dev/copyright | sha512 | ./usr/share/doc/fiat-utils/copyright |