Version of vdr-dev: 2.6.9-3
Architecture of vdr-dev: amd64
Version of why3: 1.8.2-3
Architecture of why3: amd64
| vdr-dev | why3 | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 2 B | ./usr/share/vdr-dev/plugin-template/compat | sha512 | ./usr/lib/emacsen-common/packages/compat/why3 |