lp:ubuntu/raring-proposed/agda
- Get this branch:
- bzr branch lp:ubuntu/raring-proposed/agda
Branch merges
Branch information
Recent revisions
- 9. By Iain Lane
-
[ Kiwamu Okabe ]
* New patch: Extend haskell-src-exts dependency and fix type miss.[ Iain Lane ]
* [dfbca48] Imported Upstream version 2.3.2
* [7746bcc] Remove all patches — all upstream.
* [2cdb691] Update build-deps to match control file
* [868ebf4] agda-mode no longer depends on haskell-mode or GHCi.
Remove dependency and update .el file accordingly
* [9e0ba22] Add agda-bin package here, as the separate package has been
removed
* [75a240f] agda-mode needs to depend on agda-bin
* [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep.
* [79190e6] Add missing geniplate and parallel BDs - 8. By Iain Lane
-
* [ec6cfda] Imported Upstream version 2.2.8
* [597149f] Update emacs loading script to explicitly load haskell-
ghci. If this is not present, then agda-mode will error out
indicating that haskell-ghci is not available.
* [b16f978] Standards-Version → 3.9.1, no changes required - 6. By Iain Lane
-
* debian/control: Remove the profiling package. It is unfortunate that this
package is proving to be too big to build before exhausting the available
resources on some architectures. Not having it should allow agda to build
in many more places though, so this is a win.
* debian/control, debian/rules, debian/watcher.sh: Remove the ticker which
should no longer be necessary due to the above. (Closes: #572300)
* debian/control: Use shlibs:Depends in libghc6-agda-dev, and not in
agda-mode. - 5. By Marco Tulio Gontijo e Silva
-
[ 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. - 4. By Iain Lane
-
* 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. - 3. By Iain Lane
-
* 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.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:ubuntu/raring/agda