Ubuntu
agda package

Publishing history of agda 2.6.2.2-1 source package in Ubuntu

  1. 2.6.2.2-1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2022-12-28 04:21:16 UTC Superseded Lunar release universe haskell 2.6.2.2-1
  • Superseded by agda - 2.6.2.2-1.1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-09-07 21:53:48 UTC Published Kinetic release universe haskell 2.6.2.2-1
  Deleted Kinetic proposed universe haskell 2.6.2.2-1
1 → 3 of 3 results First • Previous • Next • Last

«back