Debian Package Tracker
Register | Log in

News for package agda

  • [2012-06-14] agda 2.3.0.1-2 MIGRATED to testing (Debian testing watch)
  • [2012-05-26] Accepted agda 2.3.0.1-2 (source all amd64) (Joachim Breitner)
  • [2012-03-12] Accepted agda 2.3.0.1-1 (source all amd64) (Joachim Breitner)
  • [2011-12-23] agda 2.3.0-1 MIGRATED to testing (Debian testing watch)
  • [2011-11-23] Accepted agda 2.3.0-1 (source all amd64) (Iain Lane)
  • [2011-09-14] agda 2.2.10-4 MIGRATED to testing (Debian testing watch)
  • [2011-09-03] Accepted agda 2.2.10-4 (source all amd64) (Iain Lane)
  • [2011-08-10] agda 2.2.10-3 MIGRATED to testing (Debian testing watch)
  • [2011-06-17] Accepted agda 2.2.10-3 (source all amd64) (Joachim Breitner)
  • [2011-06-10] agda 2.2.10-2 MIGRATED to testing (Debian testing watch)
  • [2011-06-08] Accepted agda 2.2.10-2 (source all amd64) (Joachim Breitner)
  • [2011-05-20] Accepted agda 2.2.10-1 (source all amd64) (Iain Lane) (signed by: Marco Túlio Gontijo e Silva)
  • [2010-12-15] Accepted agda 2.2.8-1 (source all amd64) (Iain Lane) (signed by: Giovanni Mascellani)
  • [2010-05-27] agda 2.2.6-7 MIGRATED to testing (Debian testing watch)
  • [2010-05-06] Accepted agda 2.2.6-7 (source all amd64) (Marco Túlio Gontijo e Silva)
  • [2010-04-27] agda 2.2.6-6 MIGRATED to testing (Debian testing watch)
  • [2010-04-16] Accepted agda 2.2.6-6 (source all amd64) (Joachim Breitner)
  • [2010-04-04] agda 2.2.6-5 MIGRATED to testing (Debian testing watch)
  • [2010-03-16] Accepted agda 2.2.6-5 (source all amd64) (Marco Túlio Gontijo e Silva)
  • [2010-03-12] Accepted agda 2.2.6-4 (source all amd64) (Iain Lane) (signed by: Marco Túlio Gontijo e Silva)
  • [2010-02-27] Accepted agda 2.2.6-3 (source all amd64) (Marco Túlio Gontijo e Silva)
  • [2010-01-18] Accepted agda 2.2.6-2 (source all i386) (Iain Lane) (signed by: Mirco Bauer)
  • [2010-01-07] Accepted agda 2.2.6-1 (source all amd64) (Iain Lane) (signed by: Joachim Breitner)
  • [2009-08-10] Accepted agda 2.2.2-1 (source all amd64) (Iain Lane) (signed by: Joachim Breitner)
  • [2009-08-10] Accepted agda 2.2.4+dfsg-1 (source all amd64) (Iain Lane) (signed by: Joachim Breitner)
  • 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