← Back to branch summary

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

  • 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
Filename Latest Rev Last Changed Committer Comment Size
..
.pc 8.1.1 11 years ago Package Import Robot * [6d52289] Imported Upstream version 0.7 * [54104 Diff
debian 2 14 years ago Bazaar Package Importer Initial release. (Closes: #522914) Diff
ffi 1.1.3 12 years ago Package Import Robot Import upstream version 0.6~darcs20111129t1640 Diff
README 1 14 years ago Bazaar Package Importer Import upstream version 0.3 Diff
src 1 14 years ago Bazaar Package Importer Import upstream version 0.3 Diff
.boring 1.1.2 13 years ago Bazaar Package Importer Import upstream version 0.5 82 bytes Diff Download File
.gitignore 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 62 bytes Diff Download File
AllNonAsciiChars.hs 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 1 KB Diff Download File
GenerateEverything.hs 1.1.3 12 years ago Package Import Robot Import upstream version 0.6~darcs20111129t1640 2.8 KB Diff Download File
GNUmakefile 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 326 bytes Diff Download File
Header 1.1.3 12 years ago Package Import Robot Import upstream version 0.6~darcs20111129t1640 302 bytes Diff Download File
lib.cabal 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 522 bytes Diff Download File
LICENCE 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 1.4 KB Diff Download File
File publish-listings.sh 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 451 bytes Diff Download File
README.agda 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 10.1 KB Diff Download File
README.md 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 163 bytes Diff Download File
release-notes 1.1.6 9 years ago Package Import Robot Import upstream version 0.8 4.6 KB Diff Download File
Setup.hs 1.1.2 13 years ago Bazaar Package Importer Import upstream version 0.5 47 bytes Diff Download File