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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
