← Back to branch summary

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

Viewing all changes in revision 2.

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2010-01-08 23:35:09 UTC
  • Revision ID: james.westby@ubuntu.com-20100108233509-z32cspkedler3e2e
Tags: 0.3-1
http://bugs.debian.org/522914
Initial release. (Closes: #522914)

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: