[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20131026-1 created (now 72b4d98)

[Hendrik Tews]

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

hendrik-guest pushed a change to annotated tag debian/20131026-1
in repository hol-light.

        at  72b4d98   (tag)
   tagging  ef43ed5d055ebaed7491aee28fcf85cf6a1acad8 (commit)
  replaces  debian/20130811-1
 tagged by  Hendrik Tews
        on  Tue Nov 12 08:55:53 2013 +0100

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

iQIcBAABCAAGBQJSgd8JAAoJEOxoV33tyu5o16cP/jnbs4bSZN7WLwSW5IVrBl45
6RWMUrkv1M+6Yl78BPEGmbKivgVVl/FGtl6bkc1Xe5LTAec7bfYSLIUyQiKWD4NI
szIWCmqM4LwT7oRGa1MT9KLE/PrKPTU9k+QdY5XbaYJj9CMPB2UlDJIOTR5pdSlk
J4i3Nve3rdXX5x5vbEh9vZGwTT4tMxlYXtRmh1TaZWdtVLw/lPoav9/hGX5qg+U9
3Miajah7nM0aDRsm6LIl0g40f8f9Fmo8C9lnfAb4aJc63/AUO4mE2PybMFJZVsPh
1Rt9FiP+AcdxgRJ74NH/VSyqi4Syax0kcre6HT/0ohj+OPQN/Q6COmxvTMhqQjC/
5+lMOy2t+rV3wmBbAy/IjEwDHU+0KhIwH95thF7gbI4o4kkah4pSHIZEq1HCjnky
dpfjsX9+fEneo7RCvlaUwu5iQWZcKyp6empEcFDtnz1hGwDAsyj6OLBGiq1Qsr6s
6Fl5FJ1rH32xBbOdFcSktY2FXBfVcRe5K3hfEaaHAEQChYNkbSILK2bc1F8URk5L
wCvSgwCp/2tZWljNXaGWKp0qprfkHZV8bL/JStbl1vGZoa5QMc939XBf9hZA8fxI
FVxJzysbPKT8NlypjMysPgYEXv3r3S2UUoejaPFLfZEg3RiTj/OlxuLv7DPobv5d
EAiYxkVAPNR4ZIqpEhi/
=DVBz
-----END PGP SIGNATURE-----

Hendrik Tews (5):
      Imported Upstream version 20131026
      Merge tag 'upstream/20131026'
      imported new upstream
      use new pa_j and adjust camlp5 dependencies
      delete exe bit on RichterHilbertAxiomGeometry/Topology.ml

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git