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

[Stephane Glondu]

The annotated tag, debian/1.2+dfsg-1 has been created
        at  8f927ef638a98b646a9df2f876c5be059c20ee6b (tag)
   tagging  0c682b1a08d60bc3572ccd7e6a2626ed94d62b42 (commit)
  replaces  upstream/1.2
 tagged by  Stephane Glondu
        on  Wed Aug 26 23:53:23 2009 +0200

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

iQIcBAABCgAGBQJKla7TAAoJEHhT2k1JiBrTtNsQAKsM1fSe7ATD4dtFdvl7sa6P
LQukVqRCUbseaOhRSqI02yXsqrpR9/WlQdswVGhIdck2axlT/n8nEY33u9JOJdxH
sibdqM8xnVMDfy0RNwQdmnjOAcYxuAm3CsLAoxKsUABkbA2SCD6JRvbJogsAD1Ai
s+6m/7iTbdLvtv0aorRSwJTCORRCh8HDKJw4T5u9tuXxTMjpbbA49LGJ1yK5mazP
f2q8yqrx3oCuDWKP2Hc9ICGSVl8grFKRyY7yzvLq5UAK6Mh7GK89yrcy0g4QE/Ab
AkkSr5d53GHYEHEP3CI3XlmgJFF3XLXD3mt1Tgn1qoMA7czOad8ZP5wS/vL8nQ+9
odjbVolwYkQZi0SxzivO2Tkq/dgyy3XxlSwyLXKeB/jDhUkljxV59J/PTLUE6sZB
oHc3ZFDy2krfOJYajYYjIVPy7NvVq6/s7NthL/DARZ9z4+LyEjqOfD9lwpKJOUeJ
MSWgpNJie7zycq5P2WNGgaYDJ1r67U/RG1q/cZoJRauZULAEXSl15Vt/uuDDdBEA
ktg8URw89ecomcXaow8T6hXUYkoXA73p1ZxiW9Sy2P+zKgCmgy1xf7AxGYJHwikr
grwh0u887sgLYgt8VKSLRKh+i4isnmWNwYTcWeDPSRz18OK9f1oVon8dKkvClO0s
MzyQRydL+pZvCUNHm5co
=SyZ5
-----END PGP SIGNATURE-----

Stephane Glondu (5):
      Remove sourceless PDFs
      Initial packaging
      Fix doc generation
      Add ssrcoq shellscript wrapper
      Prepare upload to unstable

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

-- 
ssreflect packaging