← Back to branch summary

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

Viewing all changes in revision 10.

  • Committer: Package Import Robot
  • Author(s): Joachim Breitner
  • Date: 2012-03-14 10:30:26 UTC
  • mfrom: (2.1.6 sid)
  • Revision ID: package-import@ubuntu.com-20120314103026-e1ggvw2d7ze4xaa7
Tags: 0.6-2
* Relax agda dependency a bit to allow for minor releases 
* Add the Debian Haskell Group as uploaders, by Iains suggestion

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: