~ubuntu-branches/ubuntu/trusty/agda/trusty : changes

~ubuntu-branches/ubuntu/trusty/agda/trusty » Changes from revision 35

From Revision 19

Rev	Summary	Authors	Tags	Date
19	No-change rebuild for GHC ABIs No-change rebuild for GHC ABIs	Iain Lane	2.3.0-1build1	12 years ago
18	* [c0e4746] Imported Upstream version 2.3.0. New/changed fea... * [c0e4746] Imported Upstream version 2.3.0. New/changed features include: + New more liberal syntax for mutually recursive definitions + Pattern matching on lambdas + New syntax for updating (some fields of) records + Universe polymorphism is now enabled by default + New type of hidden function argument: instance arguments + Dependent irrelevant function types and records with irrelevant fields + See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0 for a full list * [369ed3a] Update BDs in line with cabal requirements in new upstream * [3798aee] Remove all patches. They are all now upstream.	Iain Lane	2.3.0-1	12 years ago
17	Rebuild for new GHC ABIs. Rebuild for new GHC ABIs.	Colin Watson	2.2.10-4build1	12 years ago
16	* [16d953e] Remove old left-around patches * [16d953e] Remove old left-around patches * [af671fe] Explicitly add haskell-mode directory to load path. Thanks to Joey Capper for discovering the bug. * [6fa096d] Update to use my d.o email address * [f228ca0] Add an alexGetByte function for alex-3.0 compatibility	Iain Lane	2.2.10-4	12 years ago
15	Rebuild for new libghc-src-exts-dev ABI. Rebuild for new libghc-src-exts-dev ABI.	Colin Watson	2.2.10-3build1	12 years ago
14	Extend haskell-src-exts dependency range to include 0.11.* Extend haskell-src-exts dependency range to include 0.11.*	Joachim Breitner	2.2.10-3	13 years ago
13	No change rebuild against new GHC ABIs No change rebuild against new GHC ABIs	Iain Lane	2.2.10-2build1	13 years ago
12	Adjust conflict on haskell-agda-doc to exclude the dummy pac... Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes: #629572)	Joachim Breitner	2.2.10-2	13 years ago
11	* [60c4b8a] Imported Upstream version 2.2.10 * [60c4b8a] Imported Upstream version 2.2.10 * [81c6857] Add haskell-src-exts BD * [d0ce959] Add QuickCheck BDs * [5c875b0] Update short descriptions to reflect best practice * [705223c] d/copyright: Update copyright years * [ee8a4bc] GHC6 → GHC, for GHC 7 transition * [12d4e49] Standards-Version bump to 3.9.2, no changes required * [9244cc3] Add 'agda' meta package * [c28c44c] Relax BD on src-exts * [86be090] Backport upstream patch to add syb-0.3 compatibility * [828c999] Lexer: Compatibility with the new GHC * [db55ca5] Clean up some autogenerated files	Iain Lane	2.2.10-1	13 years ago
10	* [60c4b8a] Imported Upstream version 2.2.10 * [60c4b8a] Imported Upstream version 2.2.10 * [81c6857] Add haskell-src-exts BD * [e7b276a] Add QuickCheck BDs * [d807f09] Add new patch from upstream to build against versions of libraries in Debian	Iain Lane	2.2.10-1~ubuntu1	13 years ago
9	Rebuild against new library ABIs Rebuild against new library ABIs	Iain Lane	2.2.6-7build2	13 years ago
8	No change rebuild to build against new quickcheck No change rebuild to build against new quickcheck	Iain Lane	2.2.6-7build1	14 years ago
7	control: Use versioned Replaces: and Conflicts: control: Use versioned Replaces: and Conflicts:	Marco Túlio Gontijo ...	2.2.6-7	14 years ago
6	[ Iain Lane ] [ Iain Lane ] * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent timeouts on some arches. This was taken from the GHC6 source package and modified a bit to add some rudimentary locking. Previously the build was timing out on some slow arches (armel, mips) but does actually make progress and complete when given enough time debian/control: + Add field ${haskell:Provides} to -dev and -prof packages in preparation the upcoming GHC6/haskell-devscripts uploads into unstable + Standards-Version bump to 3.8.4, no changes required [ Marco Túlio Gontijo e Silva ] * debian/control: Remove unneeded Build-Depends: on libghc6-utf8- string-. debian/control: Bump version of haskell-devscripts on Build-Depends to 0.7. Remove versioned Build-Depends: of ghc6* and remove hscolour and haddock from Build-Depends:. * debian/control: Split Build-Depends in Buid-Depends-Indep:. * debian/control: Use all haskell: variables. * debian/watch: Use format that downloads current version and checks for new versions.	Marco Túlio Gontijo ...	2.2.6-3	14 years ago
5	debian/rules, debian/watcher.sh: Add a ticker to the build t... debian/rules, debian/watcher.sh: Add a ticker to the build to prevent timeouts on some arches.	Iain Lane	2.2.6-2ubuntu1	14 years ago
4	* debian/control: Set priority to extra per archive override... * debian/control: Set priority to extra per archive overrides * debian/copyright: Update upstream source to a more generic location * debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed to generate HTML documentation.	Iain Lane	2.2.6-2	14 years ago
3	* New upstream release 2.2.6, for headlines please see: * New upstream release 2.2.6, for headlines please see: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6 * debian/control + Bump standards-version to 3.8.3, no changes + Fix Vcs-Git to point to correct URL + Update build-depends for new upstream release + Undo arch/indep split per current pkg-haskell practice + Add Homepage field * debian/copyright: Fix encoding to UTF-8 (thanks Lintian) * debian/README.source: Remove, no repacking so not necessary any more * debian/50agda.el: + Only load file if it exists, prevents a non-intrusive emacs warning where 50agda.el is left on system when package is removed. (Closes: #559197). + Do not load file on XEmacs — agda-mode is not compatible with XEmacs.	Iain Lane	2.2.6-1	14 years ago
2	* New upstream release 2.2.4. * New upstream release 2.2.4. * Repacked to fix a couple of DFSG problems, see debian/README.source for more information. * debian/copyright: Update, add missing copyright holders. * debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc packages to build-depends-indep.	Iain Lane	2.2.4+dfsg-1	14 years ago
1	Import upstream version 2.2.4+dfsg Import upstream version 2.2.4+dfsg	Iain Lane	upstream-2.2.4+dfsg	14 years ago