Back to prover9-manual PTS page

prover9-manual 0.0.200712-2 MIGRATED to testing



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

  Previous version: 0.0.200712-1
  Current version:  0.0.200712-2

-- 
This email is automatically generated; henning@makholm.net is responsible.
See http://people.debian.org/~henning/trille/ for more information.