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