The annotated tag, debian/8.4_gamma0+really8.4beta2+dfsg-1 has been created at 457e71929f14270af33559fe5955ad1c34f3fade (tag) tagging 509d6d4b58f50b86ca482d49fb6b2fee7fc3dfe9 (commit) replaces debian/8.4_beta+dfsg-4 tagged by Stephane Glondu on Wed Jun 6 23:29:45 2012 +0200
- Shortlog ------------------------------------------------------------ Debian release 8.4~gamma0+really8.4beta2+dfsg-1 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAABCgAGBQJPz8vJAAoJEHhT2k1JiBrThQsQAK/lJmtiLqlb29v0j+bfYdCc rhmdJlJeMArPPa198T6WGhva9tt/5B8EpkI7UF6/CanVmL1aMxyYXMu+F4bSZpkp 47iIEMZ46Pg4ENYOFLBW+qxwQyA9y7ByXeIFQnybq74DDdENPUtziQd3Mn12nkDf TgBNJeNC3yXE1Ddjmglw7WriMDZbheaNbmxSQDhcwzl9vsTQHnmBM8qwZwkDBRMn LVyhKBDd9xsnmDqP37m8R+ajaGZhV1nixPdi63bZRV5rB/JwtdakXexOzcW1QJUG jmvj52jyaFFQUPYNthFbYH/zCv9eQYRPlQZDGiJm0yTtjDs7zjYsJKnW1sjDL2SY A6+YQCQS0KHfN/VI6vCajJmXH0XALJXs9FsvIW2baOapNYQQJg0foLhVKLe7Hr5k OjTFIpCKfcLpgC47Lo/UJOZhJW9AoL1Eu3WtoiHNd+o4sJ3EwCIoFH9V6109+9kQ wPcEEZLwoLVHPU1MBc6cpglE7nXLeXaxh67ysjvMWpOkWUE+ByvY13wRLv86GtL0 hfPhZS13oP+jz4ihYVmz2aA8aa1oZ/bBy7ce2uxm39SQ2yWQjjR/aL74lLAIs9C6 VBxCU/N6lsX95GfKdpdZ3rGgEqkGJ0YJetMBkkAvjo+6qfyQhd+7lqJO8n9Voz72 Govd02iWvyrT8iivydDZ =BYmz -----END PGP SIGNATURE----- Stephane Glondu (8): Imported Upstream version 8.4~gamma0+really8.4beta2 Remove non-DFSG contents Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/master New upstream beta release Refresh patches Update ABI Dp plugin has been dropped Prepare upload to experimental ----------------------------------------------------------------------- -- coq 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