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

Stephane Glondu steph at glondu.net
Sat Sep 22 15:11:22 UTC 2012


The annotated tag, debian/0.3-2 has been created
        at  b7bac08fc1146f120db9b782b850fa614143a085 (tag)
   tagging  e1355f4a0c3a7b6a0e962910a4eb16e7d5367108 (commit)
  replaces  debian/0.3-1
 tagged by  Stephane Glondu
        on  Sat Sep 22 17:10:47 2012 +0200

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

iQIcBAABCgAGBQJQXdT3AAoJEHhT2k1JiBrTgm4P/2UZwadqVKFyKIXA6BTfjNxH
llmp95DZwvz6epx3SBEM1dkPMv/8t/T6VJ1ejGvHXLMaUTOHytWm3S3k2YaF+p+d
UEEIIHJF1LCsbElqathv09fkPoaZmTdPBVBQAAkoxq+srKJ1SrBoD3Imnx16prIg
07C2XuCePdYc8TjdDTHwDXS9MSYQzY89OClwaiWv5/79S018MSF6oo7Tu2se6A4F
jVWmrqCMzG/Ff7mWt6QGlJylUQpVbwTcJbfUy4sNBeBfWMejxFg9myY/VHlf+P1X
xjMaMbzvuHGFTyQbhzGgxspAVn0p+SGQvlU252XOud9frlPldwH+qQiM2716OcFx
SlGfiEd2drHQJefG3HsHtqxQTXL5JPtioEKUBsn9JXG5pdT3tlez35SqXDTa7Wpk
1FU/2qhpi+E0WD0rla9/MSGEZNOaVkrs8X94hg2+gYqj5bADDcagKcj1zTHDozr0
Us7uEerBaIWb2rJDOvfWxLc0nJ/bye9rUfn40BfOIxef6xcV0uDK5GogrhGilDCK
loGwbzMQNiiQZ5hqx7PtJfZVbpugunQu7q5blJNyEAXUuRltysyuJX6c7Yn0K8SK
Z59eaL2NlEfetBmzH2W4Oyj9P9/zaBN6Kw1czaU2Fq6GpqYR4//5uUYiRAfKbEvt
g9JSQfwOXOdELlizVqOa
=eJzo
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Fix FTBFS without natdynlink
      This version requires a bugfix in Coq
      Update changelog and prepare upload to experimental

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

-- 
aac-tactics packaging



More information about the Pkg-ocaml-maint-commits mailing list