lp:ubuntu/utopic-proposed/agda-stdlib

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

11. By Iain Lane on 2014-08-12

[f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation

10. By Iain Lane on 2014-08-05

* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script

9. By Iain Lane on 2013-05-27

Upload to unstable

8. By Joachim Breitner on 2012-03-14

* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion

7. By Iain Lane on 2011-12-30

* [a88bdc0] Imported Upstream version 0.6
* [7aea5f2] Update copyright for new copyright holders and for new DEP5

6. By Iain Lane on 2011-11-29

* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640
  + Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig

5. By Iain Lane on 2011-05-24

* [9251e0b] Imported Upstream version 0.5
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
  #599958)
* [2c82171] Add watch file
* [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
* [540ca3f] Improve short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [3f6879a] Set Maintainer to my d.o email address

4. By Marco Tulio Gontijo e Silva on 2010-03-02

[ Iain Lane ]
debian/control: Add missing procps | hurd build-dep so that ps is available
to run the ticker.

3. By Marco Tulio Gontijo e Silva on 2010-02-27

[ Iain Lane ]
* 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 because upstream's buildsys invokes
  runhaskell, which isn't available everywhere. (Closes: #569262)
* 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.
* debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
  timeouts on some slow architectures.

2. By Iain Lane on 2010-01-08

Initial release. (Closes: #522914)