← Back to branch summary

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

Viewing all changes in revision 34.

  • Committer: Package Import Robot
  • Author(s): Colin Watson
  • Date: 2013-10-27 23:38:41 UTC
  • Revision ID: package-import@ubuntu.com-20131027233841-w3ktj3o19ombvgaz
Tags: 2.3.2.1-2build1
Rebuild for new GHC ABIs.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: