Back to prover9-manual PTS page

prover9-manual 0.0.200902a-1 MIGRATED to testing

To: prover9-manual@packages.debian.org
Subject: prover9-manual 0.0.200902a-1 MIGRATED to testing
From: Debian testing watch <noreply@release.debian.org>
Date: Wed, 25 Mar 2009 16:39:20 +0000
Message-id: <E1LmW8O-0001Tb-4y@ries.debian.org>
Sender: Release Managers <release@ries.debian.org>

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

  Previous version: 0.0.200811a-1
  Current version:  0.0.200902a-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.