- Committer: Bazaar Package Importer
- Date: 2011-02-25 22:28:40 UTC
- mfrom: (1.1.2 upstream)
- Revision ID: james.westby@ubuntu.com-20110225222840-jt16gl302kca7h0g
* Upload to Ubuntu from Debian's VCS due to delays in unstable caused by
the GHC 7 transition (LP: #725364)
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [0fb0600] Standards-Version → 3.9.1, no changes required
* [d3f13b8] Update required Agda version to 2.2.8
* [cc1f5c8] Imported Upstream version 0.4
* [2c82171] Add watch file
* [9251e0b] Imported Upstream version 0.5
* [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
| 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 |
|
|