Back to maude PTS page

Accepted maude 3.0-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 16 Apr 2020 15:34:47 +0200
Source: maude
Architecture: source
Version: 3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Changed-By: Andreas Tille <tille@debian.org>
Changes:
 maude (3.0-1) unstable; urgency=medium
 .
   [ Jelmer Vernooń≥ ]
   * Use secure copyright file specification URI.
 .
   [ Andreas Tille ]
   * New upstream version
   * Fix watch file
   * Point Vcs fields to salsa.debian.org
   * Build-Depends: libcvc4-dev
   * Avoid parallel build
   * export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel)
   * debhelper 12
   * Standards-Version: 4.5.0
   * Remove trailing whitespace in debian/copyright
   * debhelper-compat 12 (routine-update)
   * Add salsa-ci file (routine-update)
   * Rules-Requires-Root: no (routine-update)
   * Remove obsolete fields Contact, Name from debian/upstream/metadata
     (already present in machine-readable debian/copyright).
   * Build with --with-yices2=no since
        https://github.com/SRI-CSL/yices2
     is not packaged
Checksums-Sha1:
 bf0c287f1ca73b9a28ce7440d8720ca35505c55d 2018 maude_3.0-1.dsc
 194573d13f88ae58eb2aebdc795dce9500c27c45 2226240 maude_3.0.orig.tar.gz
 5a71c1fd933a8eb09901d7c93ab551061788758a 6336 maude_3.0-1.debian.tar.xz
 c5cb8953610afb7a28f2f623e326e821b6452db0 6632 maude_3.0-1_amd64.buildinfo
Checksums-Sha256:
 1da8a69115a8234a22aea5f27a18e744fc0abc5b59205cd6088155296d2d1b19 2018 maude_3.0-1.dsc
 aacc2046b51fe362f892e3604188378ecc613386c7d497a74e519ac9341d166e 2226240 maude_3.0.orig.tar.gz
 6f43d18d237b35a3182c9eb74ef59adad096752374f3f53427dfa3ad92c3cf3a 6336 maude_3.0-1.debian.tar.xz
 7fe195d674132fd2bc46cf69abba449025da5c5b179b826d3ec588ece2a03df7 6632 maude_3.0-1_amd64.buildinfo
Files:
 2d8ee6a1a574872f9bedaf0dc6e8d0f6 2018 science optional maude_3.0-1.dsc
 044815a355b4c85a247ce44a5bdd29c8 2226240 science optional maude_3.0.orig.tar.gz
 a0a2db3ccff8d2990431833daf82d4c7 6336 science optional maude_3.0-1.debian.tar.xz
 17c8abc6dcbe993d77c7ff5ddb0e409f 6632 science optional maude_3.0-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAl+b6HURHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFPrhAAhEpjI1+DhOZ9Q11xGn42kn1iNj/MHdw1
5LAgIsYNWM6XJoME14zFwpPwX2cTlraMKStIGCaH8pFYUAfMEBJYf2sn6dy8I3l6
n7hUXoi+exHWPnDfvj4Z3hRLU2VwJxIwV1qZY784dniwwlAoAcJ1OwlxHVCr9SZV
9tuKrDbkMBsragWhoVdk8qAeCkcHqemFZPbI+Pm3dYMolL76EkZgcwqpfYwvbl5c
h0mZBs30zeU61opwzw3QWLqFN9jajfghN7Vltd5u6nBuT2q+rpdJJBEMcC7zU7bs
kL5f6RXBtZ3k6H30Evl0MVRFKOwD1/ACHDFPfDp0vbGnbB5AQJ+6HjcXRYBvuZlH
tZeDmw6Cwcte4NImZTsHWbNytlbStru62H51G9vCpK6M9WsGQ/bS729xf5oPKzer
d12Yb5aVqaYmbl+ZETO7j59cDunUvSQ+95bePBRTmIGU/kpWn+7OnpzG+fNCEDD+
Nl/zgDmDOD4CTxBLONoIo160J7YcjwvUsGYcvQhhFEKeYFXa1Jo0DnWdlaDdpB0/
wfYX8bszuUIW+EvEwzcnc/YkRlIfzXLQf7118LMw91bfswYtcNW/1fQSFkcu7a5j
tUYovv3aXBfgDiCmf/576xCNk6SUzHcUBC1HskKGmIolsLOq8WZ57d1Hewbxsfv3
jDP7N1Eut08=
=JKuu
-----END PGP SIGNATURE-----