Accepted minlog 4.0.99.20100221-6 (source) into unstable
-----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-----