← Back to branch summary

~ubuntu-branches/ubuntu/saucy/agda-stdlib/saucy

Viewing all changes in revision 9.

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2011-12-30 20:02:46 UTC
  • mfrom: (2.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20111230200246-ut2up5hs0d39t4la
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: