Back to matita PTS page

matita 0.5.7-1 MIGRATED to testing

To: matita@packages.debian.org
Subject: matita 0.5.7-1 MIGRATED to testing
From: Debian testing watch <noreply@release.debian.org>
Date: Thu, 26 Feb 2009 16:39:18 +0000
Message-id: <E1LcjGY-0002gR-RW@ries.debian.org>
Sender: Release Managers <release@ries.debian.org>

FYI: The status of the matita source package
in Debian's testing distribution has changed.

  Previous version: 0.5.3-1
  Current version:  0.5.7-1

-- 
This email is automatically generated; the Debian Release Team
<debian-release@lists.debian.org> is responsible.
See http://release.debian.org/testing-watch/ for more information.