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

[Hendrik Tews]

The annotated tag, debian/20120602-1 has been created
        at  40c4ed43ed4fbf1f9966024f0b958b26fb857200 (tag)
   tagging  1b178e5e97d09de4a500ccf103454e315a067ddc (commit)
  replaces  debian/20120530-1
 tagged by  Stephane Glondu
        on  Tue Jun 12 08:09:11 2012 +0200

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

iQIcBAABCgAGBQJP1t0HAAoJEHhT2k1JiBrTwt8QAK+fQng6Hqsi9YZBVarMGuEp
6TqRzF3A+DuPjY/T69Eqp6sRw561iA0ILJ05QHzvLNZa0GCu/I8fOtJIe/PcGHA0
rP+AXEDaf+dZxQ/BFYrZzmr2GrawXQE+KPsL7j7kbA3DVnqOV9CovuvPG3ynLz/R
BZvu98EBgILpNMps1/r7T/kmZLj9SN/4uevV6/uYQ+4cegFODZwjBZIqfHwUvlU6
QBbLSkr6AaOpo+hLvxr5ltyvNGrPyvi3ULdVO5YrGUAUNeDN2wQQ8KKsfFJEdIDT
NagdOqaXN3+FwrNiRPfkZ+GRaJhakEV8R5CesMWljO6WaTRJWagNuU2mogAZ8yXi
6uWwMLq/zMDcds3FZF2MWfizpJZhVc7VQapTdCK/6lV8Fnn5IHeKreQkXszIDRw5
yF5oHUatrjmK6Z1zIycEF6r7S8yyhCVnIt4IGVEHqNUD7NxvNQXgP+Vp6hvHFaWg
Bj6ph5aneIj+o0f1EQlWQxDAWUPE2ljm9R3kh5Y+PROAih9ZxTkXNWcNIWGTkRIN
cPB7GwuAsE6/MnMa7mpJE1ChsxOFxn+eltbGYjNnpAFDviljnVPwuoehaivZ7gxM
+9+YUX/gZLyhmQk82arAX9fcbtHIheroIs9Lx6XTxBaPzKwcq0vtqaA2dZoF6AwS
gji3xyNs4rs41WnUV/BP
=VRSP
-----END PGP SIGNATURE-----

Hendrik Tews (5):
      unapply debian patches, remove holtest-dependency-hint patch
      Imported Upstream version 20120602
      Merge tag 'upstream/20120602'
      update changelog
      refresh patch holtest-no-proof-recording

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

-- 
hol-light packaging