[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging annotated tag, debian/0.2.pl2-6, created. debian/0.2.pl2-6

[Stephane Glondu]

The annotated tag, debian/0.2.pl2-6 has been created
        at  93919bc4e169da2f3517b6f1adec31517df29be1 (tag)
   tagging  4cb0bf1ddbaef98bdf93c2088972b7a8f94d0b2a (commit)
  replaces  debian/0.2.pl2-5
 tagged by  Stephane Glondu
        on  Sun Apr 1 17:28:21 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 0.2.pl2-6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJPeHQVAAoJEHhT2k1JiBrT5V0QAI/2s9NMufC8DyUipXk5pmtZ
boIUYI8uQ4Qg7mv5XGiZdNag9NhYE4MaogQLGEMzv1i2nQKkzSCjjOaO0BCSKp6V
t0zx0GVb4mXnsiEKHxyr1pJIfaavdeOGjvGCmBYnEr0Wzoo1lf/SDi53YzOD3LcK
CHkKHKTQ0SQdjlRsoxw8cEDVVNInOpg4VxhDRccbBLI/rgv0cAhKXXRQN1H7rMKe
mflje8/Vqs10uwixLcNgx7hE+PNvEsRMBv+pdzT8rqcOde5BkXcre0P9yPhiMdZF
Bm3QiRjEgscpG/QUvCoYsTntrnWmsSZR+AMgzoRc1RYyv3Ets6jRvIJIPkaIZZpo
XcCkkQsbBT/DGw1nQaaarcEeN2IFRZtVvpfkBJEH1awo45QkpOsiqqeFBfkCk2OK
omRJ8oN7o4parXUY174qzRch1+VSd1O4Z/MhBvIhe+qBvu3icqDly9udqvIfJfJO
at2WpxX5346zHd/aYdkwOdZNLKAlDYDzHAozXo2L5VFur74nzOwPFYtooo2RpYv7
W/XrmxsBeCUMhBbcMj0tFQ+o0OkrCRa2ABrw8T1+9Uc5H1RoQ4gF4HfbuSnp+i2d
RTOQRPsNUHOc5Cicz58Xy9TntLB3As8a6feoeToj4VfIlplbpP5/Q0qm6kA090BA
amY5TCOm7dUDz3FWxH8B
=nLhi
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)

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

-- 
aac-tactics packaging