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

~ubuntu-branches/ubuntu/saucy/agda-stdlib/saucy » Changes from revision 12

From Revision 12

Rev	Summary	Authors	Tags	Date
12	Upload to unstable Upload to unstable	Iain Lane	0.7-2	10 years ago
11	* [6d52289] Imported Upstream version 0.7 * [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	Iain Lane	0.7-1	11 years ago
10	* Relax agda dependency a bit to allow for minor releases * Relax agda dependency a bit to allow for minor releases * Add the Debian Haskell Group as uploaders, by Iains suggestion	Joachim Breitner	0.6-2	12 years ago
9	* [a88bdc0] Imported Upstream version 0.6 * [a88bdc0] Imported Upstream version 0.6 * [7aea5f2] Update copyright for new copyright holders and for new DEP5	Iain Lane	0.6-1	12 years ago
8	* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640 * [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	Iain Lane	0.6~darcs20111129t1640-1	12 years ago
7	* [9251e0b] Imported Upstream version 0.5 * [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	Iain Lane	0.5-1	12 years ago
6	* Upload to Ubuntu from Debian's VCS due to delays in unstab... * 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	Iain Lane	0.5-1~ubuntu1	13 years ago
5	Fakesync from Debian unstable due to orig.tar.gz mismatch Fakesync from Debian unstable due to orig.tar.gz mismatch	Iain Lane	0.3-3fakesync	13 years ago
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