[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging annotated tag, debian/0.3-1, created. debian/0.3-1

[Stephane Glondu]

The annotated tag, debian/0.3-1 has been created
        at  501e81ab0e9f114d233d340adeeb843b25c899dc (tag)
   tagging  0ed339960aa5d8016380540a0d4a64abb8333989 (commit)
  replaces  debian/0.2.pl2-7
 tagged by  Stephane Glondu
        on  Fri Sep 21 19:30:15 2012 +0200

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

iQIcBAABCgAGBQJQXKQnAAoJEHhT2k1JiBrT+zIP/iV+oMtVlWtYiRm+arsLEDsD
3nkgSpbwAvoI4nQzVKDz6OvYn+J5Nv4CpsIDUEDYnF0M39/asvC7TtdN+rrfiHvT
9y2Jbi8HDiHm4Iv4BtIB4C4MiOd2gbipDUypETPyhKIUpfR5qdOQtdFXEH5pBlDT
vNN+R9pgwbxiSwZ9wFqjAbT93C6slk0OSGhX/xJmlZwyq7CxiNO0VhmM4MnMOiD3
bY5pEryGzE29IcYwCVkqWWrAKTbv7A/9Z5Oyv+ICSkyY6jtRJvLxc4UApoQfweH+
I5plnAVgcr3a86idCNv6RQRNrKMephvERdRW3gKQjTif39MXYuh0Zxf+mgcnDuLF
XYmoIQ6AyOAHLXCQZpq9IMjINpWCzRjB7W57grr99Cd0AlSkakRg6PO+x6Pyh5mg
otqoPTg/gQIWhYyCXGzl+DnNdMapMoPVjrli+8idU6WT4YehBC+a+KsERoXXyDrl
e+1kUfNSubFX5lkHNm2ILHkarSITycr/WekovnISZNKAdve2PRz6FH5lC6nasx6w
aYRi++zXWnahX0zE1tlqMcGyzGDuPsZKy0xkFe3lkcUPd+drrSRtgTXoRLYwZJ19
SZeXhGunDDC60NPdy8f4hgyDp/XybAwL/zISd/NriH+cgYA1q0vOCCJ7eGTjGVjT
Fm7O1Qgm9NwfoRTyicYG
=Qa6o
-----END PGP SIGNATURE-----

Stephane Glondu (6):
      Imported Upstream version 0.3
      Merge tag 'upstream/0.3'
      New upstream release
      Bump Coq version
      Update build system
      Prepare upload to experimental

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

-- 
aac-tactics packaging