Version of libfmt-doc: 11.1.1+ds1-2
Architecture of libfmt-doc: all
Version of why3-doc-html: 1.8.2-3
Architecture of why3-doc-html: all
| libfmt-doc | why3-doc-html |
|---|
| size | filename | hash functions | filename |
|---|
Details about this service
- More information: see wiki
- Maintainer: Helmut Grohne <helmut@subdivi.de>
- Source: git://git.subdivi.de/~helmut/debian-dedup.git
- Bugs reports / Feedback / Patches: to the maintainer