← Back to branch summary

~ubuntu-branches/ubuntu/quantal/agda/quantal

Viewing all changes in revision 20.

  • Committer: Package Import Robot
  • Author(s): Leo Iannacone
  • Date: 2012-01-23 10:50:43 UTC
  • Revision ID: package-import@ubuntu.com-20120123105043-ox1plcaonxvw1qmh
Tags: 2.3.0-1build2
No-changes rebuild against current libghc-agda-dev.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: