# Upstream source tarball is not (yet) signed: request to the Singular Team
# was sent -- Jerome Benoit <calculus@rezozer.net>
debian-watch-does-not-check-openpgp-signature

# These documents were imported from the AP and AMP libraries
# by the Singular Team and are packaged as-is.
source-is-missing [Singular/svd/libs/amp.english.html]
source-is-missing [Singular/svd/libs/ap.english.html]
