Version of librust-salsa-dev: 0.28.2+ds-1
Architecture of librust-salsa-dev: amd64
Version of why3: 1.8.2-3+b2
Architecture of why3: amd64
| librust-salsa-dev | why3 | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 2 B | ./usr/share/cargo/registry/salsa-0.28.2/examples/lazy-input/inputs/aa | sha512 | ./usr/lib/emacsen-common/packages/compat/why3 |