- Committer: Bazaar Package Importer
- Date: 2010-02-10 10:45:04 UTC
- mfrom: (1.1.1 upstream)
- Revision ID: james.westby@ubuntu.com-20100210104504-ylcxfwjkdywbuq8r
* Upload to Lucid. Cannot immediately upload to sid as agda is tied up in a
GHC transition taking place.
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required becuase upstream's buildsys invokes
runhaskell, which isn't available everywhere.
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
GHC transition taking place.
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required becuase upstream's buildsys invokes
runhaskell, which isn't available everywhere.
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
| 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 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 71 bytes |
|
|
|
AllNonAsciiChars.hs |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 888 bytes |
|
|
|
Everything.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 10.5 KB |
|
|
|
GenerateEverything.hs |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 2.4 KB |
|
|
|
GNUmakefile |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 140 bytes |
|
|
|
Header |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 270 bytes |
|
|
|
LICENCE |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 1.2 KB |
|
|
|
README.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 8.9 KB |
|
|
|
README.txt |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 773 bytes |
|
|
|
release-notes |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 1.5 KB |
|
|