[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging annotated tag, debian/1.2+dfsg-2, created. debian/1.2+dfsg-2

[Stephane Glondu]

The annotated tag, debian/1.2+dfsg-2 has been created
        at  f548ad60699333d7d8820e5cd52d7e16704e0441 (tag)
   tagging  29cdedb6d961fab97142f379bbaf97bd90f6a2c7 (commit)
  replaces  debian/1.2+dfsg-1
 tagged by  Stephane Glondu
        on  Wed Sep 2 19:28:13 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.2+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iQIcBAABCgAGBQJKnqstAAoJEHhT2k1JiBrTqZ0P/1aPDXOQoaWpW1+xGR7E2h8a
m8de+G0Udj2/D3+JwGrIoOjN3SQVyD0R0vfjYCElUpkRRKpHDE5qUgPHyDvYXavu
qhwvUhHK6l6vZHSXQp2UXIvjnH4RuQSuDl6LRnq0AUP4toCq+6hIiCXEBJnDS1TD
Y8uf/ECmPRoqj2Kn36rsxdHJc/7a/m3nfX4y6+Eu1PCiQNEpkBH4Vy0h7rZmL5z9
6AkOunzmymSLgWUyG0k6wDlhi+vFmqIdDJJMgS4KuBJYodi3JtP/+e2GN0o7psjN
bR07Wa4jJ2+p/+Jn1qnijjdFvVlb/nQQgulj7rbLlGEgPSX9QMBqbv27vQ2+40e9
kXLhh1eSTvBxFSgm1c0MLc2wBMpsmEXvC5WDdg5AXSxCj85LR1fczmt0hi9iZ/9T
vXePsekJ+YlBNsgTVpa5qzMJHpMWxu0BuCFXE1ELOGC5vPHDb0SiBW9t31YyVaAv
r8eoTggPqp2ty8bHbkC+Zuo46x/HirhNdvsTnPSy1QaIRHbSN/D4wn6CN74Yg1YF
TMgvnN0wycmsCjdhaOuiYvij/KXwNWq2z7IsW+3e6qRcwWG+Q2djO75g25AiJfor
zu1395EVHZQVbmfOQExGlDQf+OaIixwvhIEU1E9FgHiNjRklz6C/Kz14atjavRvv
KkHuo9a4Y445eGoozpEp
=iEmk
-----END PGP SIGNATURE-----

Stephane Glondu (5):
      Move ssreflect files out of user-contrib to avoir Coq warnings
      Install ssreflect directy in /usr/lib/coq/user-contrib for now
      Invoke coq_makefile with -R to avoid mess with user-contrib
      Capitalize Ssreflect directory for uniformity with other libraries
      Prepare upload to unstable

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

-- 
ssreflect packaging