Back to minlog PTS page

Accepted minlog 4.0.99.20080304-4 (source all)

To: debian-devel-changes@lists.debian.org
Subject: Accepted minlog 4.0.99.20080304-4 (source all)
From: Freiric Barral <barral@math.lmu.de>
Date: Wed, 19 Mar 2008 00:02:04 +0000
Message-id: <E1Jblkq-0000bt-Mb@ries.debian.org>
Sender: Archive Administrator <dak@ftp-master.debian.org>

-----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