[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, debian/20120423-1, created. debian/20120423-1

[Hendrik Tews]

The annotated tag, debian/20120423-1 has been created
        at  35958b8d1bcbdd7a5f623a8c67f01dba24a6cd09 (tag)
   tagging  acba4c3a41c04c0067e1616b92d6a3c82c698843 (commit)
  replaces  upstream/20120423
 tagged by  Hendrik Tews
        on  Fri Apr 27 09:51:05 2012 +0200

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

iQIcBAABCAAGBQJPmk/pAAoJEOxoV33tyu5oTaIQAMuN7YmM3hhXcr5LLnkY2eZ9
uLxRkRoZa7LBWJbGniRk/UQcdTt+uH1FFSfYvXLv55hMaDkFuo1txqC/O8iQbkti
Q5k1POERkYu5VBtJl1OFLa8uItXrHlmEX5yfhVt182mz/Nr2xpNHBndab61xcq8k
VfaZZu4hEG231i12iu7a9aeIQ4nD/v/lUxOPtbW4x3uMgeeLR8lSET0oWDI/GGSG
FtA/1cgmpg2KNBfV33DzrJDamKNwrWrSzLl5yMWkjVTttypk92QXFT5LpKcaTFH1
4aKAABEjbKu8fcCF8QXkESJsgayPwcZ5jgkKo3DmYqBgmIVRhVKcFR4H6hl3dfm6
hg2Ilx/ZobzWEQ9M2uhVnlzp08Vn/ZqZttWtQMyR2F3BuGvhgpWyS18a6ciuMBqX
Pv7CDJUQUDUrmA2I+okng0TDp5eB4p8/ygK8VNKH8lltPDgCQPgJvVdLyidRAsUy
5eMObsPk2qSxVGrNU+7ssNrK8BE/HZMFQ8YhaD9B42lbXcc3YlGZvqviv3r10VS2
HFf02ZgB027YHG6LxRZNQVOlnA/y+vU5f5wd4FBaGXwqnwQuC4s/tfArS3WUUnVw
Qtb1KqJBBeRS4r9NVcf92Pi2eWjOUkts5m3EoCWTEsK7j70/z/Wk0f3RHEMihPaq
HN7cY3Kw/V7pT+LsJJOL
=LO2b
-----END PGP SIGNATURE-----

Hendrik Tews (15):
      initial packaging
      dh --with ocaml
      fix camlp5 dependencies and other small changes
      linitan override and hint on command
      tests and other changes
      add quilt .pc directory
      one test only
      prepare holtest
      Adapt README.Debian and holtest
      Merge commit 'upstream/20120322'
      adapt to new upstream version
      reenable test
      copyright refinement
      Merge tag 'upstream/20120423'
      fix copyright file

Stephane Glondu (1):
      Add debian/gbp.conf

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

-- 
hol-light packaging