← Back to branch summary

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic

Viewing all changes in revision 7.

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2011-12-30 20:02:46 UTC
  • mfrom: (1.1.4)
  • Revision ID: package-import@ubuntu.com-20111230200246-xl31fi4bnippohay
Tags: 0.6-1
* [a88bdc0] Imported Upstream version 0.6
* [7aea5f2] Update copyright for new copyright holders and for new DEP5

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: