-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 10 Dec 2016 02:03:58 +0100 Source: minlog Binary: minlog Architecture: source Version: 4.0.99.20100221-6 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packages@qa.debian.org> Changed-By: Andreas Beckmann <anbe@debian.org> Description: minlog - Proof assistant based on first order natural deduction calculus Closes: 825402 Changes: minlog (4.0.99.20100221-6) unstable; urgency=medium . * QA upload. * Set Maintainer to Debian QA Group. (See: #846851) * Switch from plt-scheme to racket. (Closes: #825402) * Add build-indep/build-arch targets. * Depend on emacs25 | emacs24. Checksums-Sha1: c4014e81898bee699f361d08da49b743cae60c15 1779 minlog_4.0.99.20100221-6.dsc 64e7bd4b828058359360894f724d17e72422f42c 4604 minlog_4.0.99.20100221-6.debian.tar.xz Checksums-Sha256: 79dbf38dd7329ce2a6475feb36301ebd0ed5e4e7368bc58c478405fe9eca2335 1779 minlog_4.0.99.20100221-6.dsc b29c283b92aac17358c37237b2e2cc68b12f74fa229e4bd14549ea2f4ab9c04c 4604 minlog_4.0.99.20100221-6.debian.tar.xz Files: 4cbc36d3aeafe38802c98bcc4b14e709 1779 math optional minlog_4.0.99.20100221-6.dsc abdad467703073effac8b0be4c45c7e6 4604 math optional minlog_4.0.99.20100221-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJYS1TxAAoJEF+zP5NZ6e0IGWQP/iEcq+y04vSMicOwiXMOaGTX tYIJ6YgmUrqf6XsV8sZd5M6zDIh/sHF9PxM+Ca9uUHhPiS6+SX5JxIttJhVhLc7y y3Y1lVooVbmk0HWKYSmspY4sLSr9F2B1lgp4b1VBHJGzTqOEr05l+abwoDJJ+paJ p4/HX2MjwUIR6zmYB4zrZuesDquWJArQ/RJF8iU8mV4aTogxRz3mm7mZCXMocSdW kByANwfbl2Eb1+bFCoSuam5sIy5AGFxpA+gd2uPOcPO7meibRPpyaAoCiZajV0ju jdIyJVC8O/ozoAxcuvUZAjbg4wwP2MPpON8l9y5u8UJj9Goig05m1dCmqjw8nnT6 hn2VBsN1UyPPQT/4LeoZHclkKEbfdd3Ol40bO4CbylQvoD0xI0MS2kdp3kgADQE/ 01L6hLW0RO2ILXQXvVAZ4njiprfzgQwtGTQz9C0+V3gC8uBXpNy5x7T7LdtIxZSf xoIH4PPwEGU96qHrncMn5pfTWCneQedFtRfoy+1iGHucT6Td4eX022vjzU0xDERq HtiDlzdPj1BJ/Uzj4lFP4bxzrat1vJL78hUf5b566Es2NRcEgKW541PQVVf+6Srs kmi54+Y0KT+RKM536WntenmV1n8yAO06eSTNo6iUNkVqo87jJ7OQPDccijBSEMeI l46P9np6e401zq7NZrIq =uwQc -----END PGP SIGNATURE-----
