[DHG_packages] branch master updated (3381ed9 -> f3c2dc0)

[Sean Whitton]

This is an automated email from the git hooks/post-receive script.

spw-guest pushed a change to branch master
in repository DHG_packages.

      from  3381ed9   mueval: patch for newer hint
       new  07b62c5   start working on agda 2.5.1
       new  11a0808   Initial packaging of monadplus-1.4.2
       new  9f48ae3   monadplus: modernise d/control
       new  2ab4bf0   monadplus: fix generated d/copyright
       new  6ce228f   monadplus: description: drop trailing period
       new  f3c2dc0   monadplus: close ITP bug and release

The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 p/agda/debian/agda-bin.install                     |   1 +
 p/agda/debian/changelog                            | 320 +++++++++++++++++++++
 p/agda/debian/clean                                |   2 +
 p/{alex => agda}/debian/compat                     |   0
 p/agda/debian/control                              | 194 +++++++++++++
 p/agda/debian/copyright                            |  69 +++++
 p/agda/debian/libghc-agda-dev.install              |   2 +
 p/agda/debian/rules                                |  14 +
 p/{alex => agda}/debian/source/format              |   0
 p/agda/debian/watch                                |   2 +
 p/haskell-monadplus/debian/changelog               |   5 +
 p/{alex => haskell-monadplus}/debian/compat        |   0
 .../debian/control                                 |  25 +-
 .../debian/copyright                               |  16 +-
 .../debian/rules                                   |   2 +-
 p/{alex => haskell-monadplus}/debian/source/format |   0
 .../debian/watch                                   |   2 +-
 17 files changed, 632 insertions(+), 22 deletions(-)
 create mode 100644 p/agda/debian/agda-bin.install
 create mode 100644 p/agda/debian/changelog
 create mode 100644 p/agda/debian/clean
 copy p/{alex => agda}/debian/compat (100%)
 create mode 100644 p/agda/debian/control
 create mode 100644 p/agda/debian/copyright
 create mode 100644 p/agda/debian/libghc-agda-dev.install
 create mode 100755 p/agda/debian/rules
 copy p/{alex => agda}/debian/source/format (100%)
 create mode 100644 p/agda/debian/watch
 create mode 100644 p/haskell-monadplus/debian/changelog
 copy p/{alex => haskell-monadplus}/debian/compat (100%)
 copy p/{haskell-refact => haskell-monadplus}/debian/control (68%)
 copy p/{haskell-path => haskell-monadplus}/debian/copyright (83%)
 copy p/{haskell-decimal => haskell-monadplus}/debian/rules (82%)
 copy p/{alex => haskell-monadplus}/debian/source/format (100%)
 copy p/{haskell-data-hash => haskell-monadplus}/debian/watch (50%)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git