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