[Pkg-ocaml-maint-commits] [SCM] dose3 packaging annotated tag, debian/3.1.3-1, created. debian/3.1.3-1

[Ralf Treinen]

The annotated tag, debian/3.1.3-1 has been created
        at  d6ac8d6eba1d43a174e92964799278f4c23009db (tag)
   tagging  2bee0af8fa9b6cdf162073b8d88742865be6c10c (commit)
  replaces  debian/3.0.2-3
 tagged by  Ralf Treinen
        on  Sun Jan 13 22:28:06 2013 +0100

- Shortlog ------------------------------------------------------------
Debian release 3.1.3-1

Ralf Treinen (18):
      new location of uspstream on gforge.inria.fr
      Imported Upstream version 3.1.1
      Merge tag 'upstream/3.1.1' into experimental/master
      drop patch vesion-3.0.2 which is no longer necessary
      dropped patch multiarch-conflicts
      dropped patch apt-cudf-pinning
      dropped patch builddebcheck-manpage
      refreshed patch binaries-prefix-edos
      don't run aclocal and autoconf
      debcheck primer directory has been renamed
      Merge tag 'upstream/3.1.2' into experimental/master
      Imported Upstream version 3.1.2
      new upstream 3.1.2
      skip generation of html versions of manpages
      Imported Upstream version 3.1.3
      Merge tag 'upstream/3.1.3' into experimental/master
      new upstream 3.1.3
      standards-version 3.9.4

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

-- 
dose3 packaging