← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

Viewing all changes in revision 27.

  • Committer: Package Import Robot
  • Author(s): Joachim Breitner
  • Date: 2015-07-01 19:26:22 UTC
  • Revision ID: package-import@ubuntu.com-20150701192622-u3hojnr5qhqv45eh
Tags: 2.4.2.2-3
Fix dependency on hashtables

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: