lp:ubuntu/saucy/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

12. By Iain Lane on 2013-05-27

Upload to unstable

11. By Iain Lane on 2013-04-10

* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
  with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required

10. 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

9. By Iain Lane on 2011-12-30

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

8. 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

7. 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

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.