Hints
Michael Hanus
We have the following e-mail addresses on file:
- mh@informatik.uni-kiel.de
Found 3 issues in 2 maintained sources. To see all packaging hints, please click on the source.
- curry-frontend 2.0.0-2
- curry-frontend_2.0.0-2+b1_amd64.deb (main)
- W hardening-no-pie [usr/bin/curry-frontend]
- pakcs 3.3.0-1
- pakcs_3.3.0-1.dsc (main)
- W upstream-metadata-field-unknown security-Contact [debian/upstream/metadata]
- pakcs_3.3.0-1_amd64.deb (main)
- W duplicate-changelog-files usr/share/doc/packs/RELNOTES.md.gz usr/share/doc/pakcs/changelog.gz