← Back to branch summary

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

Viewing all changes in revision 11.

  • Committer: Package Import Robot
  • Author(s): Iain Lane, f9da3dc
  • Date: 2014-08-12 10:22:32 UTC
  • Revision ID: package-import@ubuntu.com-20140812102232-7w1lc446ouac1zt3
Tags: 0.8-2
[f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: