← Back to branch summary

~ubuntu-branches/ubuntu/trusty/agda/trusty

Viewing all changes in revision 21.

  • Committer: Package Import Robot
  • Author(s): Joachim Breitner
  • Date: 2012-03-12 14:12:34 UTC
  • mfrom: (12.1.4 sid)
  • Revision ID: package-import@ubuntu.com-20120312141234-wfgwr3b5u1yswama
Tags: 2.3.0.1-1
http://bugs.debian.org/663048
New upstream release, GHC-7.4.1 compatible (Closes: #663048) 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: