← Back to branch summary

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

Viewing all changes in revision 25.

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2012-08-27 12:15:30 UTC
  • Revision ID: package-import@ubuntu.com-20120827121530-zl5t54f2kyjmn103
Tags: 2.3.0.1-2build1
No-change rebuild for GHC 7.4.2

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: