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
_______________________________________________
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
