~ubuntu-branches/ubuntu/lucid/agda-stdlib/lucid : changes

From Revision 4

Rev	Summary	Authors	Tags	Date
4	debian/rules, debian/watcher.sh: Add a ticker to the build t... debian/rules, debian/watcher.sh: Add a ticker to the build to avoid timeouts on some slow architectures.	Iain Lane	0.3-1ubuntu2	14 years ago
3	* Upload to Lucid. Cannot immediately upload to sid as agda ... * 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.	Iain Lane	0.3-1ubuntu1	14 years ago
2	Initial release. (Closes: #522914) Initial release. (Closes: #522914)	Iain Lane	0.3-1	14 years ago
1	Import upstream version 0.3 Import upstream version 0.3	Iain Lane		14 years ago