~ubuntu-branches/ubuntu/wily/agda/wily-proposed : changes

~ubuntu-branches/ubuntu/wily/agda/wily-proposed » Changes from revision 30

From Revision 27 to 8

Rev	Summary	Authors	Tags	Date
27	Fix dependency on hashtables Fix dependency on hashtables	Joachim Breitner	2.4.2.2-3	8 years ago
26	[d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe ... [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps	Iain Lane	2.4.2.2-2	9 years ago
25	[e33e7a9] Pregenerate the Primitive.agdai interface file in [e33e7a9] Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory. Fixes agda-stdlib build.	Colin Watson	2.4.0.2-2	9 years ago
24	* [6e140ac] Imported Upstream version 2.4.0.2 * [6e140ac] Imported Upstream version 2.4.0.2 * [2049fc8] Update Build-Depends to match control * [93dc4d4] Install the new primitives * [e48f40f] Fix typo dev→doc	Iain Lane	2.4.0.2-1	9 years ago
23	* [244f29d] Use new watch file template * [244f29d] Use new watch file template * [16a3f05] Imported Upstream version 2.3.2.2 * [bdb8574] Update BDs to match cabal file * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream in this release	Iain Lane	2.3.2.2-1	10 years ago
22	* [da376f6] Update BDs per .cabal; extend hashable, remove p... * [da376f6] Update BDs per .cabal; extend hashable, remove packages provided by ghc * [e21e765] Cherry-pick from upstream: Suppoert Alex 3.1.x * [2263659] Remove "dist" generated files accidently commited	Iain Lane	2.3.2.1-2	10 years ago
21	* [8cfbabf] Imported Upstream version 2.3.2.1 * [8cfbabf] Imported Upstream version 2.3.2.1 * [74f34b0] Bump BD on mtl per .cabal file * [a3bff17] Drop Debian patches now obsoleted by this upstream release	Iain Lane	2.3.2.1-1	11 years ago
20	[3d77fff] Build-Depend on ghc-ghci; we require this due to T... [3d77fff] Build-Depend on ghc-ghci; we require this due to Template Haskell	Iain Lane	2.3.2-4	11 years ago
19	Clean up build dependencies Clean up build dependencies	Joachim Breitner	2.3.2-3	11 years ago
18	* Upload to unstable * Upload to unstable * [0faee65] Use compat 9 * [02dba24] Standards Version → 3.9.4 * [bd2a43f] Use common substvars for description blurbs. * [06ddb90] Remove obsolete DM-Upload-Allowed field	Iain Lane	2.3.2-2	11 years ago
17	New patch: Extend mtl dependency New patch: Extend mtl dependency	Joachim Breitner	2.3.0.1-2	12 years ago
16	New upstream release, GHC-7.4.1 compatible (Closes: #663048) New upstream release, GHC-7.4.1 compatible (Closes: #663048)	Joachim Breitner	2.3.0.1-1	12 years ago
15	* [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
14	* [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
13	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
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		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

Older »