Debian Package Tracker
Register | Log in

News for package proofgeneral

  • [2002-09-26] Accepted proofgeneral 3.4-10 (all source) (Stefan Schimanski)
  • [2002-09-24] Accepted proofgeneral 3.4-9 (all source) (Stefan Schimanski)
  • [2002-09-23] Accepted proofgeneral 3.4-8 (all source) (Stefan Schimanski)
  • 1
  • 2
  • 3

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing