-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 20 Feb 2010 17:55:50 +0100 Source: minlog Binary: minlog Architecture: source all Version: 4.0.99.20100221-5 Distribution: unstable Urgency: low Maintainer: Freiric Barral <barral@math.lmu.de> Changed-By: Freiric Barral <barral@math.lmu.de> Description: minlog - Proof assistant based on first order natural deduction calculus Closes: 570235 Changes: minlog (4.0.99.20100221-5) unstable; urgency=low (high for users of mzsccheme) . * Closes: #570235 due to incompatibility between mzscheme and r5rs * upate to svn head Checksums-Sha1: 2ddd74d61f10ba4a7c9a520918f1de382342352b 1039 minlog_4.0.99.20100221-5.dsc 20f8345f7cc1da49c061c350dea550602edf46b5 1181084 minlog_4.0.99.20100221.orig.tar.gz a25e79f62db7134dd435073c6e080fcea09e8114 20 minlog_4.0.99.20100221-5.diff.gz 94b187a7b0bf9b795c8171fa92d66e8aebeb9f4a 2883530 minlog_4.0.99.20100221-5_all.deb Checksums-Sha256: 1fb7a20d7e929f258525977a7d85fe992fc46e7831ba46029d743c20823d3ae0 1039 minlog_4.0.99.20100221-5.dsc a0dee50fce2956024a4feedc6154d8a5d9714d91cf134bf48e240c17936b7b23 1181084 minlog_4.0.99.20100221.orig.tar.gz d0d8e7d066cfc0119258550d7d1b51ce8999c21cf538f22a5e56aba625f6aa00 20 minlog_4.0.99.20100221-5.diff.gz 3b85e7a2afb16194cc6078a1826ae3aa17a2dc67816fcee40cfd90a038c4f025 2883530 minlog_4.0.99.20100221-5_all.deb Files: 2ffa7d6a0fcb48cfe6cecd60e38746aa 1039 math optional minlog_4.0.99.20100221-5.dsc debaa2592081eac38ba540a620f95897 1181084 math optional minlog_4.0.99.20100221.orig.tar.gz d9e8846c09c1e902e1ba0c798a9f849b 20 math optional minlog_4.0.99.20100221-5.diff.gz 5920132a5cf87b248d71e771a81971b1 2883530 math optional minlog_4.0.99.20100221-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkuBhpMACgkQHUDhE+YrLEVQbgCfYPIgbRNwe9i8c2AG7stpJ8KR GvIAoKMXbXqwgqM23UXfPl16uF+tWXj8 =FJqx -----END PGP SIGNATURE----- Accepted: minlog_4.0.99.20100221-5.diff.gz to main/m/minlog/minlog_4.0.99.20100221-5.diff.gz minlog_4.0.99.20100221-5.dsc to main/m/minlog/minlog_4.0.99.20100221-5.dsc minlog_4.0.99.20100221-5_all.deb to main/m/minlog/minlog_4.0.99.20100221-5_all.deb minlog_4.0.99.20100221.orig.tar.gz to main/m/minlog/minlog_4.0.99.20100221.orig.tar.gz
