lp:ubuntu/natty/agda-stdlib

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

6. By Iain Lane on 2011-02-25

* 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

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