Debian
agda package

Publishing history of agda package in Debian

1 → 75 of 75 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2023-10-13 22:26:36 UTC Published Sid release main haskell 2.6.3-1
  • Published
  2023-06-01 16:40:50 UTC Published Bookworm release main haskell 2.6.2.2-1.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-09 22:37:33 UTC Superseded Sid release main haskell 2.6.2.2-1.1
  • Superseded by agda - 2.6.3-1
  • Published
  2022-12-07 04:43:51 UTC Superseded Sid release main haskell 2.6.2.2-1
  • Superseded by agda - 2.6.2.2-1.1
  • Published
  2021-07-22 10:36:12 UTC Published Bullseye release main haskell 2.6.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-01-24 23:49:50 UTC Superseded Sid release main haskell 2.6.1-1
  • Superseded by agda - 2.6.2.2-1.1
  • Published
  2021-12-05 22:40:44 UTC Superseded Sid release main haskell 2.6.0.1-1
  • Superseded by agda - 2.6.1-1
  • Published
  2018-11-29 04:41:26 UTC Published Buster release main haskell 2.5.4.1-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2019-09-30 22:53:03 UTC Superseded Sid release main haskell 2.5.4.1-3
  • Superseded by agda - 2.6.0.1-1
  • Published
  2018-10-21 04:41:20 UTC Superseded Sid release main haskell 2.5.4.1-2
  • Superseded by agda - 2.5.4.1-3
  • Published
  2018-10-01 22:55:24 UTC Superseded Sid release main haskell 2.5.4.1-1
  • Superseded by agda - 2.5.4.1-2
  • Published
  Deleted Buster release main haskell 2.5.3-5
  • Deleted by
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-10-31 16:46:26 UTC Superseded Sid release main haskell 2.5.3-5
  • Superseded by agda - 2.5.4.1-3
  • Published
  2018-04-29 16:43:07 UTC Superseded Sid release main haskell 2.5.3-4
  • Superseded by agda - 2.5.3-5
  • Published
  2018-07-02 23:16:52 UTC Superseded Buster release main haskell 2.5.3-3
  • Superseded by agda - 2.5.3-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-12-25 04:45:17 UTC Superseded Sid release main haskell 2.5.3-3
  • Superseded by agda - 2.5.4.1-3
  • Published
  2017-10-21 04:42:21 UTC Superseded Sid release main haskell 2.5.3-2
  • Superseded by agda - 2.5.3-3
  • Published
  2017-10-14 04:40:22 UTC Superseded Sid release main haskell 2.5.3-1
  • Superseded by agda - 2.5.3-2
  • Published
  2017-11-21 22:55:27 UTC Superseded Buster release main haskell 2.5.2-2
  • Superseded by agda - 2.5.3-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-09-01 17:07:34 UTC Superseded Buster release main haskell 2.5.1.1-3
  • Superseded by agda - 2.5.2-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-12-22 04:44:47 UTC Superseded Sid release main haskell 2.5.2-2
  • Superseded by agda - 2.5.3-3
  • Published
  2017-07-10 22:33:15 UTC Superseded Sid release main haskell 2.5.2-1
  • Superseded by agda - 2.5.2-2
  • Published
  2017-07-11 22:28:11 UTC Superseded Sid release main haskell 2.5.1.1-4
  • Superseded by agda - 2.5.2-2
  • Published
  2016-12-03 04:25:32 UTC Published Stretch release main haskell 2.5.1.1-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-07-18 23:19:28 UTC Superseded Sid release main haskell 2.5.1.1-3
  • Superseded by agda - 2.5.2-2
  • Published
  Deleted Experimental release main haskell 2.5.1.1-2
  • Deleted by
  • Published
  2016-10-21 04:11:31 UTC Superseded Experimental release main haskell 2.5.1.1-1
  • Superseded by agda - 2.5.1.1-2
  • Published
  Deleted Stretch release main haskell 2.5.1-2
  • Deleted by
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-12-02 22:29:33 UTC Superseded Sid release main haskell 2.5.1-2
  • Superseded by agda - 2.5.1.1-3
  • Published
  2016-06-20 22:35:38 UTC Superseded Sid release main haskell 2.5.1-1
  • Superseded by agda - 2.5.1-2
  • Published
  2016-10-04 04:43:10 UTC Superseded Stretch release main haskell 2.4.2.5-1
  • Superseded by agda - 2.5.1-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-01-25 16:31:13 UTC Superseded Sid release main haskell 2.4.2.5-1
  • Superseded by agda - 2.5.1.1-3
  • Published
  Deleted Stretch release main haskell 2.4.2.2-4
  • Deleted by
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-02-15 04:28:04 UTC Superseded Sid release main haskell 2.4.2.2-4
  • Superseded by agda - 2.4.2.5-1
  • Published
  2015-09-11 04:33:45 UTC Superseded Stretch release main haskell 2.4.2.2-3
  • Superseded by agda - 2.4.2.2-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-08-05 16:24:25 UTC Superseded Sid release main haskell 2.4.2.2-3
  • Superseded by agda - 2.4.2.2-4
  • Published
  2015-07-12 04:42:17 UTC Superseded Stretch release main haskell 2.4.2.2-2
  • Superseded by agda - 2.4.2.2-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-07-05 04:21:56 UTC Superseded Sid release main haskell 2.4.2.2-2
  • Superseded by agda - 2.4.2.2-3
  • Published
  2015-06-26 05:19:44 UTC Superseded Stretch release main haskell 2.4.0.2-2
  • Superseded by agda - 2.4.2.2-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2014-08-22 04:26:48 UTC Published Jessie release main haskell 2.4.0.2-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-06-04 16:19:13 UTC Superseded Sid release main haskell 2.4.0.2-2
  • Superseded by agda - 2.4.2.2-2
  • Published
  2014-08-11 16:29:49 UTC Superseded Sid release main haskell 2.4.0.2-1
  • Superseded by agda - 2.4.0.2-2
  • Published
  2014-08-22 04:40:27 UTC Superseded Jessie release main haskell 2.3.2.2-1
  • Superseded by agda - 2.4.0.2-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-07-27 04:52:29 UTC Superseded Sid release main haskell 2.3.2.2-1
  • Superseded by agda - 2.4.2.2-3
  • Published
  2013-11-07 04:21:33 UTC Superseded Sid release main haskell 2.3.2.1-2
  • Superseded by agda - 2.3.2.2-1
  • Published
  2013-10-20 16:20:52 UTC Superseded Sid release main haskell 2.3.2.1-1
  • Superseded by agda - 2.3.2.1-2
  • Published
  2013-06-18 22:23:48 UTC Superseded Sid release main haskell 2.3.2-4
  • Superseded by agda - 2.3.2.1-1
  • Published
  2013-06-19 10:20:46 UTC Superseded Sid release main haskell 2.3.2-3
  • Superseded by agda - 2.3.2.1-1
  • Published
  2013-05-31 04:23:01 UTC Superseded Sid release main haskell 2.3.2-2
  • Superseded by agda - 2.3.2-3
  • Published
  2013-11-08 17:06:20 UTC Superseded Jessie release main haskell 2.3.0.1-2
  • Superseded by agda - 2.3.2.2-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  Deleted Experimental release main haskell 2.3.2-1
  • Deleted by
  • Published
  2012-06-14 16:28:11 UTC Published Wheezy release main haskell 2.3.0.1-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-06-21 22:20:35 UTC Superseded Sid release main haskell 2.3.0.1-2
  • Superseded by agda - 2.3.2.1-1
  • Published
  2012-06-03 04:35:43 UTC Superseded Sid release main haskell 2.3.0.1-1
  • Superseded by agda - 2.3.0.1-2
  • Published
  2012-06-14 16:58:09 UTC Superseded Wheezy release main haskell 2.3.0-1
  • Superseded by agda - 2.3.0.1-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2012-03-27 15:44:43 UTC Superseded Sid release main haskell 2.3.0-1
  • Superseded by agda - 2.3.0.1-1
  • Published
  2011-12-23 09:45:32 UTC Superseded Wheezy release main haskell 2.2.10-4
  • Superseded by agda - 2.3.0-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-12-03 03:30:00 UTC Superseded Sid release main haskell 2.2.10-4
  • Superseded by agda - 2.3.0-1
  • Published
  2011-09-21 13:34:45 UTC Superseded Wheezy release main haskell 2.2.10-3
  • Superseded by agda - 2.2.10-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.10-3
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-21 13:34:45 UTC Superseded Wheezy release main haskell 2.2.10-2
  • Superseded by agda - 2.2.10-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.10-2
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.10-1
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-21 13:34:45 UTC Superseded Wheezy release main haskell 2.2.6-7
  • Superseded by agda - 2.2.10-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  Deleted Experimental release main haskell 2.2.8-1
  • Deleted by
  • Published
  2010-05-27 20:09:41 UTC Published Squeeze release main haskell 2.2.6-7
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.6-7
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-13 09:25:23 UTC Superseded Squeeze release main haskell 2.2.6-6
  • Superseded by agda - 2.2.6-7
  • Published
  2011-09-13 09:25:23 UTC Superseded Squeeze release main haskell 2.2.6-5
  • Superseded by agda - 2.2.6-7
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.6-5
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.6-4
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.6-3
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.6-2
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.6-1
  • Superseded by agda - 2.2.10-4
  • Published
  2011-09-20 23:24:56 UTC Superseded Sid release main haskell 2.2.4+dfsg-1
  • Superseded by agda - 2.2.10-4
  • Published
1 → 75 of 75 results First • Previous • Next • Last

«back