-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 02 Oct 2014 08:03:45 +0200 Source: maude Binary: maude Architecture: source amd64 Version: 2.6-6 Distribution: unstable Urgency: medium Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Changed-By: Andreas Tille <tille@debian.org> Description: maude - high-performance logical framework Closes: 763694 Changes: maude (2.6-6) unstable; urgency=medium . * Fix Build-Dependency after renamed libtecla-dev Closes: #763694 * cme fix dpkg-control Checksums-Sha1: 171dab2793e0011a53ea0f95237158c849589aa3 2038 maude_2.6-6.dsc e1b68f9c811d796b2beb8f1cb1a434c8b62a768a 6732 maude_2.6-6.debian.tar.xz 0d6fe3e8f180748e239a23bd052ec5885cae90ac 748724 maude_2.6-6_amd64.deb Checksums-Sha256: 3cafa4fa8660cbcd7c0e24984ae8d01e7b9014bd79bfbf4286cb09f5d6e244e6 2038 maude_2.6-6.dsc 5655f1dc6953a56edb21a22b7a8dc827fe8b9008407447f1c4a11c8d18ccec5c 6732 maude_2.6-6.debian.tar.xz 325308919e0ef4221767707c6217ed4e4a6bc1593d299bcaa245b18d74f4e012 748724 maude_2.6-6_amd64.deb Files: ed9fef09921e2aa98cc890f97dc6814c 748724 science optional maude_2.6-6_amd64.deb d4d23265d32749701dc64b69ef85b727 2038 science optional maude_2.6-6.dsc 6efd1454417379e93692af87409b1e15 6732 science optional maude_2.6-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJULO4eAAoJEFeKBJTRxkbRD7wP/3KT6EiDU2hmMpQPjK84O3zN w3QY5wWwMLLWnOdCUNWt0M9yX+uMo+8c3lvcep9c3Dw5Ekbr28p0puwO7nAn1kbi 6MYxuuVgVS0DjgDr026hJNHK8EIK+4zlXfHkONPMicrBTqWY1jvLoxTsgV/ZhG4a j8WNyNcGOZrxu7ZEHaT6dzL5V5UKixwqA7pju+MkTvbpePU7HXfxvg5IH/xXo9og CtR40aSsciJ6X7T3pmWit2m3qf/mlnYAk2TFOzv9cSdsLpSuAPc3y/MVYt0PLbcD kk/U/ttAPqhQvQcCMpoktSkl9IDD2QRjT0ug+BDMs8sFp+HB797BIlO5umADqkMD baEpXs1WAX9CC0gLE66/9ksYcBx7aLdhzZa9oSxMAtbOh2mGWhh/gDX6sTd2zwcH uPsb75AVROmy5buiWvwvPBnH18FM7BmmNZK8Rkujsch73dJtWGutp0ztvpw4eMnl nvVgECp5YA+baDwJDVYnYWkHOhJ9RdD075QWvSGSVFzInoZKtKTgwYenMfYKtJ7v Trjl5dqsioCjePLIMis11o8/bFTOf+te17yvj96TH4E+BLRWKeQNxDf/EmWo9vCt xJePwAnco2cFUgyd40Pp+N65VAMYE5qlVWZCh9AAKlmcqcXk+czWuGDfQImlCmTp JIUrZzWkhD2Qf5Mckgcg =mYGb -----END PGP SIGNATURE-----
