[Pkg-haskell-commits] [SCM] Packaging for Agda annotated tag, debian/2.2.2-1, created. debian/2.2.2-1

Iain Lane laney at ubuntu.com
Sun Jul 12 11:22:09 UTC 2009


The annotated tag, debian/2.2.2-1 has been created
        at  b5da91a83fd6b95e5af7062305c5336da7b48103 (tag)
   tagging  63f6ad61efc072836f9ca5ecbf1fcf04dea8d49f (commit)
  replaces  upstream/2.2.2
 tagged by  Joachim Breitner
        on  Sun Jul 12 13:21:46 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 2.2.2-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEABECAAYFAkpZx0oACgkQ9ijrk0dDIGyzowCcC8h7WBd6lZLd4UX2Bnz+4DrR
0tYAn0ZMjcqFchGt5ZT7HzYLi1yuGNIW
=BjG5
-----END PGP SIGNATURE-----

Iain Lane (34):
      Imported Debian patch 2.2.2-1
      Delete emacs working files that somehow slipped in.
      Fix up utf8-string dependencies. Others need altering in the same way.
      Rename dependencies to packages which are in the archive and remove those which do not exist (only docs/prof, hopefully shouldn't matter)
      quickcheck -> quickcheck2 (the former refers to QC1)
      Version dep on QC2 so that it is actually satisfiable
      Merge branches 'master' and 'master' of git+ssh://laney-guest@git.debian.org/git/collab-maint/agda
      Rough description of emacs mode
      emacsen dep for agda-mode
      Expand long description for agda-mode. Word-wrap the rest at 80 chars
      add missing alex build-dep
      Add another missing build-dep. Test building is such fun!
      Merge branch 'master' of git+ssh://iain@jacob.cs.nott.ac.uk/home/iain/packaging/agda
      Add some missing doc build-depends
      Aaaargh. Add missing hscolour build-dep. Last one, srsly now folks.
      Install emacs-mode files
      Add initialisation for emacs mode so it works straight off
      agda-mode really should depend on agda
      Fixed indentation in debian/control
      agda-mode -> arch:all
      Fix "E: agda source: not-binnmuable-all-depends-any agda-mode -> libghc6-agda-dev" lintian error
      Fix whitespace, line length and encoding problems in control
      Expand descriptions. Depend on haskell-mode for agda-mode (required)
      Fix some indentation, remove unnecessary code from rules
      Merge branch 'master' of git+ssh://git.debian.org/git/collab-maint/agda
      Fix encoding with iconv
      Fix "agda source: debian-control-has-unusual-field-spacing line 134"
      Shorten short descriptions and depend on a real package as an
      Remove some stupidly copy-and-pasted stuff from long descriptions. Copy
      Various final touches.
      Standards-Version bump to 3.8.2.0
      Switch to team maintenance
      Set vcs info in debian/control
      Fix maintainer

Marco Túlio Gontijo e Silva (4):
      debian/copyright: Use new proposed format.
      debian/control: Use Section: haskell for source package.
      debian/control: Use haskell:Suggests and haskell:Recommends.
      debian/control: Use more strict versioned dependencies for ghc6 and haddock.

-----------------------------------------------------------------------

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list