- Committer: Bazaar Package Importer
- Date: 2011-05-24 10:26:15 UTC
- mfrom: (2.1.3 sid)
- Revision ID: james.westby@ubuntu.com-20110524102615-igzw8v3g2qb57omm
* [9251e0b] Imported Upstream version 0.5
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [2c82171] Add watch file
* [0518fa6] No longer need procps | hurd BD as we no longer have the ticker
* [daf2445] Don't use upstream's make install — handled ourselves by
dh_install
* [1b86533] Update watchfile to point at new location
* [637f47d] Remove debian/gbp.conf as we are no longer building for exp
* [cc88671] Require Agda 2.2.10
* [e99dab5] Set maximum stack size to 1G to prevent overflows in the build
* [251cd1d] Run the test suite manually
* [a7db697] Set the variable in the emacs loading script properly
* [540ca3f] Improve short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [3f6879a] Set Maintainer to my d.o email address
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [2c82171] Add watch file
* [0518fa6] No longer need procps | hurd BD as we no longer have the ticker
* [daf2445] Don't use upstream's make install — handled ourselves by
dh_install
* [1b86533] Update watchfile to point at new location
* [637f47d] Remove debian/gbp.conf as we are no longer building for exp
* [cc88671] Require Agda 2.2.10
* [e99dab5] Set maximum stack size to 1G to prevent overflows in the build
* [251cd1d] Run the test suite manually
* [a7db697] Set the variable in the emacs loading script properly
* [540ca3f] Improve short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [3f6879a] Set Maintainer to my d.o email address
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
debian
|
2 | 14 years ago | Bazaar Package Importer | Initial release. (Closes: #522914) |
|
||
|
README
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
src
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
.boring |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 82 bytes |
|
|
|
AllNonAsciiChars.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 879 bytes |
|
|
|
Everything.agda |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 11.5 KB |
|
|
|
GenerateEverything.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 2.3 KB |
|
|
|
GNUmakefile |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 141 bytes |
|
|
|
Header |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 270 bytes |
|
|
|
lib.cabal |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 520 bytes |
|
|
|
LICENCE |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 1.2 KB |
|
|
|
README.agda |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 8.9 KB |
|
|
|
README.txt |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 684 bytes |
|
|
|
release-notes |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 2.4 KB |
|
|
|
Setup.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 47 bytes |
|
|