The annotated tag, debian/2.30+dfsg-4 has been created
        at  ffbbfb081e1d291b69e1f8eda3b6d8c047f087f8 (tag)
   tagging  c8c9d4a7cd52619a3562bef960b796a933fde2e0 (commit)
  replaces  debian/2.30+dfsg-3
 tagged by  Stephane Glondu
        on  Fri Apr 6 11:04:38 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 2.30+dfsg-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJPfrGmAAoJEHhT2k1JiBrT19AQAKqsZV0NKlb5wgSDSbDtp/g4
K+cHHcCUxMMyTkK52TjE2sjjfuO9MiYYoJkdYbGMfsJvFdQm/WrbPoqFHbjfyJrd
f/oEHRiwYt0O3zuzsJMk1A4V3xdh3lR+/UoQ+jbupRe1uoOH50A/KPWrmJAbxUwZ
gnwtEgvk9+Wj0NNtJcjG/kx12xBIeloPKw9AP6m+1Qcd05sFkCpDg3gEOi4HWZzr
HBfKyV6D9JMrk+HsfjvcEDUgESGO7kz1UKfx9l0laRR2nf5Mcl3zrOQjm7R1Jdwi
fcmfHVrz2QXgcgg1A9BZSrhF+zkvzY+7dBr/6lJohbMkHqOkA2c+JmeiE9aH5gZC
HrRqmTSzEiCtr2yyEhrqpyTdJ7KSaKBeock7cof9h9+vY3NgLAaIHLikt8cnH6fq
UF0C1l59f5n4eUggkiyT2xbewrBrPjmxyb2rqIxjicI2dfoC1SEEJGlie/E0sIXz
BMPHPx09/DP2BJh4zUEo8DvBc5jhIH+kTog383/Y8xYQgyexpXZ/MUseI0myLU37
eVbnSSOEAj8auW8RUaIYzsgsNPqR+jSW+WdaHxPwLBC8dapnMQTjMIviAhbfg8Ke
7/fIX92YUB3F0pJLQ9Qexap5Y+TPlfctp44VUyfsMXO1axutYRyzjaflHMDEhOQM
ZdPn9dkqtSVPXbAmOCda
=Pmsj
-----END PGP SIGNATURE-----

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

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

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

Reply via email to