Version of why3-doc-html: 1.6.0-1
Architecture of why3-doc-html: all
Version of ubuntu-packaging-guide-html-uk: 1.0.4
Architecture of ubuntu-packaging-guide-html-uk: all
| why3-doc-html | ubuntu-packaging-guide-html-uk | ||
|---|---|---|---|
| size | filename | hash functions | filename |