Accepted minlog 4.0.99.20100221-5.1 (source all)
-----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