Ubuntu
agda-stdlib package

lp:ubuntu/maverick/agda-stdlib

Created by James Westby on 2010-05-01 and last modified on 2010-05-25

Members of Ubuntu branches can upload to this branch. Log in for directions.

5. By Iain Lane on 2010-05-25: Fakesync from Debian unstable due to orig.tar.gz mismatch
4. By Iain Lane on 2010-02-16: debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures.
3. By Iain Lane on 2010-02-10: * 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.
2. By Iain Lane on 2010-01-08: Initial release. (Closes: #522914)
1. By Iain Lane on 2010-01-08: Import upstream version 0.3

This branch contains Public information

Everyone can see this information.