version=4
  opts="pgpmode=auto" \
  https://ftp.gnu.org/gnu/dejagnu @PACKAGE@@ANY_VERSION@@ARCHIVE_EXT@
