Back to minlog PTS page

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-----