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

  • Committer: Bazaar Package Importer
  • Author(s): Marco Túlio Gontijo e Silva, Iain Lane
  • Date: 2010-03-02 20:56:49 UTC
  • Revision ID: james.westby@ubuntu.com-20100302205649-swyj0947yuvjr8u0
Tags: 0.3-3
[ Iain Lane ]
debian/control: Add missing procps | hurd build-dep so that ps is available
to run the ticker.
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