Ubuntu
agda package

  1. Bug #1478802
  2. Comment #3

Comment 3 for bug 1478802

Revision history for this message
dino99 (9d9) wrote :

Package fixed but not upgraded to 2.4.2.4

agda (2.4.2.2-4) unstable; urgency=medium

  * [d59dba4] Revert modification of upstream source in
    a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
  * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
    #793194)

 -- Iain Lane <email address hidden> Tue, 04 Aug 2015 14:46:23 +0100