-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 12 Oct 2007 14:24:25 +0200 Source: minlog Binary: minlog Architecture: source all Version: 4.0.99.20071012-4 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 Changes: minlog (4.0.99.20071012-4) unstable; urgency=low . * CVS snapshot Files: 3f8097f1c4e12dadb9513c199283c5ad 622 math optional minlog_4.0.99.20071012-4.dsc 2e8878de58a995dadb78703857a16a8a 834777 math optional minlog_4.0.99.20071012.orig.tar.gz bc5fa19af5cbc95cd928ff09f6b82cd3 3740 math optional minlog_4.0.99.20071012-4.diff.gz 95e391ee0195f831a679a08590ef862e 1942590 math optional minlog_4.0.99.20071012-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (Darwin) iD8DBQFHD3ejHUDhE+YrLEURAgM4AKCaXTpaEnAXHa/592bV9TuLXE60sgCgiO3n 5lVksD7e3ZQ8iZwtZGlib+g= =iOfx -----END PGP SIGNATURE----- Accepted: minlog_4.0.99.20071012-4.diff.gz to pool/main/m/minlog/minlog_4.0.99.20071012-4.diff.gz minlog_4.0.99.20071012-4.dsc to pool/main/m/minlog/minlog_4.0.99.20071012-4.dsc minlog_4.0.99.20071012-4_all.deb to pool/main/m/minlog/minlog_4.0.99.20071012-4_all.deb minlog_4.0.99.20071012.orig.tar.gz to pool/main/m/minlog/minlog_4.0.99.20071012.orig.tar.gz
