-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 04 Mar 2008 11:21:04 +0100 Source: minlog Binary: minlog Architecture: source all Version: 4.0.99.20080304-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.20080304-4) unstable; urgency=low . * CVS snapshot Files: 5c3395287ba6fae4fc8914bec71a4745 623 math optional minlog_4.0.99.20080304-4.dsc 580ec642c6245f7ca31e04ab784e00aa 909659 math optional minlog_4.0.99.20080304.orig.tar.gz 0665191cf0e788aa95b22d6f01adbae0 3745 math optional minlog_4.0.99.20080304-4.diff.gz df9f0d21c70e15ac00f7a70b1ced9445 2016446 math optional minlog_4.0.99.20080304-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4FTXHUDhE+YrLEURAkiGAKDz044IZ1r1PRpjtxM4gENnG5UbbgCfXHaT re+hK3Wp46cRgjQ0PVQ55NY= =Tdc9 -----END PGP SIGNATURE----- Accepted: minlog_4.0.99.20080304-4.diff.gz to pool/main/m/minlog/minlog_4.0.99.20080304-4.diff.gz minlog_4.0.99.20080304-4.dsc to pool/main/m/minlog/minlog_4.0.99.20080304-4.dsc minlog_4.0.99.20080304-4_all.deb to pool/main/m/minlog/minlog_4.0.99.20080304-4_all.deb minlog_4.0.99.20080304.orig.tar.gz to pool/main/m/minlog/minlog_4.0.99.20080304.orig.tar.gz
