-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 05 Apr 2016 10:48:06 +0200 Source: maude Binary: maude Architecture: source amd64 Version: 2.7-2 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: 819948 Changes: maude (2.7-2) unstable; urgency=medium . [ Andreas Tille ] * Moved packaging from SVN to Git * cme fix dpkg-control . [ Alexis Bienvenüe] * Strip build date from banner to get reproducible build. Closes: #819948 Checksums-Sha1: d6dceec8509bc743e33432dcd9d87502ecff9e1b 2007 maude_2.7-2.dsc 9bfd10cae003ab253fe1c1db65a379471a1c7472 6736 maude_2.7-2.debian.tar.xz da62f86ddc2b60c2d13e184541d69b3672ddae64 9296498 maude-dbgsym_2.7-2_amd64.deb 81fa94952a04a1af9858099776a4fb84830ed534 774434 maude_2.7-2_amd64.deb Checksums-Sha256: 640243df6e33c7032cd399a7512c75c2f3c48c4889876fb260a6bee0a095ca04 2007 maude_2.7-2.dsc 96c7c7a8998ad199cbb87b3bcece2ee191a4b5969061173359cabe6c8965b6be 6736 maude_2.7-2.debian.tar.xz df8bd44fa4ad8c2a1ef85b4379b8541ffe92f9c93edf12928cca4b2e5c08df39 9296498 maude-dbgsym_2.7-2_amd64.deb fe175417200991f19b9c19cee46e3e91b9cae6d9600492420913d960d84a7bba 774434 maude_2.7-2_amd64.deb Files: 18193aafddde58540fce241937d5f3d7 2007 science optional maude_2.7-2.dsc a251a737c7d0b0e8992fc51f7b2409c8 6736 science optional maude_2.7-2.debian.tar.xz a9f9205cbebd89855310221e90556c65 9296498 debug extra maude-dbgsym_2.7-2_amd64.deb 8e43c5b699bd8376b462809f78c77c9a 774434 science optional maude_2.7-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXA30OAAoJEFeKBJTRxkbR5JgP/iGr6Qlz/rkcCutmP6pawckf mblZzgoCGPSNbmScyH7SHkGo4bbOtlHHcwjrkCdonyegitHCgV00+JuuMExepJBc DOQ6VmhkvTEfOexXQaHNBZ+/Q7umdqGjFFj1672qcIBE59BapnTnP6s0T+2EyzUE t+n/B8XdegYmklPtLb/HNwNUZ3kEs5UIKrj71fECmwooHFNf58ojPF3iIckEozTX R3NPi77uc7sw7F8ATLX7hEVki5i8xwMyA+gW74+V8W1WegsRgkRoYPYdhuHcBoQS 4amXToUASoRqRno7NQYRC5t/WMe0WStEWiu5mrHuFJreX6AiNn4GOFEOa9pm02GE g3o78CFlfyeSuja1Wkp47Bq7j9Cb/ohwXlQI72+hNCPIQasS84DmV60I6IQv3qwv mQraq0vTwLgWpwK8V8anBUUUeAWlDROpgUrh3px9Bch//78VXqQx+AQOkI8TID/g bgoS7B9ivwlbdg2Mf8MiEe24fkojbdMyZthtIXQdkaxEZK6m4ExnpqpGbRwf9ki9 Fe8Tv2hD0M2QD0O0zqu6XVkGPLBpeNdc9Eo0xTrWxkLEW5NiVl6FdWkDCgZ92AhG kOg+qRUvpSI8S05nr/mG+V7SNhMO/QHMT1mqBmQ6iEnWJeLNrOd/t+GNPaVCDRGr NmTWZJgq7myYBQUtN+p4 =gA7e -----END PGP SIGNATURE-----