| package | filename | size | different function |
|---|---|---|---|
| libwhy3-ocaml-dev | ./usr/share/doc/libwhy3-ocaml-dev/copyright | 21.1 KB | |
| why3 | ./usr/share/doc/why3/copyright | 21.1 KB | |
| why3-doc-pdf | ./usr/share/doc/why3-doc-pdf/copyright | 21.1 KB | |
| why3-examples | ./usr/share/doc/why3-examples/copyright | 21.1 KB | |
| why3-doc-html | ./usr/share/doc/why3-doc-html/copyright | 21.1 KB |