Back to minlog PTS page

Accepted minlog 4.0.99.20071012-4 (source all)

To: debian-devel-changes@lists.debian.org
Subject: Accepted minlog 4.0.99.20071012-4 (source all)
From: Freiric Barral <barral@math.lmu.de>
Date: Fri, 19 Oct 2007 15:53:57 +0000
Message-id: <E1IiuAf-0007nQ-8S@ries.debian.org>
Sender: Joerg Jaspert <joerg@ries.debian.org>

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