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 Vernooij ]
* 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-----