← Back to branch summary

~ubuntu-branches/ubuntu/maverick/agda-stdlib/maverick

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2010-05-25 22:13:02 UTC
  • mfrom: (2.1.2 sid)
  • Revision ID: james.westby@ubuntu.com-20100525221302-dlbcjhqc7hfh2lbi
Tags: 0.3-3fakesync
Fakesync from Debian unstable due to orig.tar.gz mismatch
Filename Latest Rev Last Changed Committer Comment Size
..
debian 2 14 years ago Bazaar Package Importer Initial release. (Closes: #522914) 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 14 years ago Bazaar Package Importer Import upstream version 0.3 71 bytes Diff Download File
AllNonAsciiChars.hs 1 14 years ago Bazaar Package Importer Import upstream version 0.3 888 bytes Diff Download File
Everything.agda 1 14 years ago Bazaar Package Importer Import upstream version 0.3 10.5 KB Diff Download File
GenerateEverything.hs 1 14 years ago Bazaar Package Importer Import upstream version 0.3 2.4 KB Diff Download File
GNUmakefile 1 14 years ago Bazaar Package Importer Import upstream version 0.3 140 bytes Diff Download File
Header 1 14 years ago Bazaar Package Importer Import upstream version 0.3 270 bytes Diff Download File
LICENCE 1 14 years ago Bazaar Package Importer Import upstream version 0.3 1.2 KB Diff Download File
README.agda 1 14 years ago Bazaar Package Importer Import upstream version 0.3 8.9 KB Diff Download File
README.txt 1 14 years ago Bazaar Package Importer Import upstream version 0.3 773 bytes Diff Download File
release-notes 1 14 years ago Bazaar Package Importer Import upstream version 0.3 1.5 KB Diff Download File