# The server does not provide HTTPS.
vcs-field-uses-insecure-uri vcs-browser http://www.ada-france.org:8081/branch/changes/org.debian.libxmlada

# Adacore does not sign its archives.
debian-watch-may-check-gpg-signature
