-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 11 May 2010 13:36:50 +0300 Source: minlog Binary: minlog Architecture: source all Version: 4.0.99.20100221-5.1 Distribution: unstable Urgency: low Maintainer: Freiric Barral <barral@math.lmu.de> Changed-By: Jari Aalto <jari.aalto@cante.net> Description: minlog - Proof assistant based on first order natural deduction calculus Closes: 577343 Changes: minlog (4.0.99.20100221-5.1) unstable; urgency=low . [ Jari Aalto ] * Non-maintainer upload. - Move to packaging format "3.0 (quilt)" due to patch. * debian/compat - Update to 7. * debian/control - Remove EOL whitespaces. - (Build-Depends): Change obsolete mzscheme to plt-scheme. Patch tanks to Hideki Yamane (Debian-JP) <henrich@debian.or.jp> (FTBFS; Closes: #577343). Add emacs23. Remove emacs21. Update to debhelper 7.1. - (Depends): Add ${misc:Depends}. - (Homepage): New field. - (Standards-Version): Update to 3.8.4. * debian/copyright - Update old FSF addresses to point to URL. - Point to GPL-2. Remove EOL whitespaces. * debian/doc-base - New file. * debian/rules - Remove EOL whitespaces. - (install): Update dh_clean to dh_prep. * debian/source/format - New file. * debian/watch - New file. Checksums-Sha1: 236e34d67592de6557e42bd2aa075e61c1133aef 1117 minlog_4.0.99.20100221-5.1.dsc 02b0543e4da5cffcdf894e53e444331f73f004bb 4533 minlog_4.0.99.20100221-5.1.debian.tar.gz 9de1a82d85b270f315b7bbed16e74a2e13e44707 2888676 minlog_4.0.99.20100221-5.1_all.deb Checksums-Sha256: 0d772cc7cecbadc2c2e3c7cc3c244d77adf4608cc7400f3079e0d09c040a3d75 1117 minlog_4.0.99.20100221-5.1.dsc 9f0500466f7c02f9d130b3152439a38233b2f2ecd8e16992de9b844140c85351 4533 minlog_4.0.99.20100221-5.1.debian.tar.gz addeb6a7ea898d1b94744303ef893c7d92a8221679db18cc2b17f8a636ac7234 2888676 minlog_4.0.99.20100221-5.1_all.deb Files: 2d9b691703ecb9ca23c7c16886afb122 1117 math optional minlog_4.0.99.20100221-5.1.dsc 78a8bbe3b271a1cdba7d54b02ac4884f 4533 math optional minlog_4.0.99.20100221-5.1.debian.tar.gz 567a1968a3184a4114f92066e4156d4f 2888676 math optional minlog_4.0.99.20100221-5.1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvqM3oACgkQpdwBkPlyvgNU7wCdE5hWbBJAGYHPoSzgDsSsyFD/ U6IAniqvtmguqfK1L6/46MLcm+4PWVow =8sAU -----END PGP SIGNATURE----- Accepted: minlog_4.0.99.20100221-5.1.debian.tar.gz to main/m/minlog/minlog_4.0.99.20100221-5.1.debian.tar.gz minlog_4.0.99.20100221-5.1.dsc to main/m/minlog/minlog_4.0.99.20100221-5.1.dsc minlog_4.0.99.20100221-5.1_all.deb to main/m/minlog/minlog_4.0.99.20100221-5.1_all.deb
