[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle annotated tag, debian/1.0.0_rc12.deb-1, created. debian/1.0.0_rc12.deb-1

[Eugeniy Meshcheryakov]

The annotated tag, debian/1.0.0_rc12.deb-1 has been created
        at  4506124d7d679b85807f6a5cedd0e8b587265c2e (tag)
   tagging  e1f61b402da0404e2e00738ea9d13a5252a0958f (commit)
  replaces  debian/1.0.0_rc11.deb-1
 tagged by  Eugeniy Meshcheryakov
        on  Mon Apr 9 19:24:40 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.0.0~rc12.deb-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEABECAAYFAk+DG1gACgkQKaC6+zmozOIjeQCeKUXvSi7goZcwBY+xS7DjfUan
GIUAoJDbw0pOer+ennuS+0ZwnfysTqwD
=9AOF
-----END PGP SIGNATURE-----

Eugeniy Meshcheryakov (14):
      Adapt repack.sh to the new upstream RC
      Imported Upstream version 1.0.0~rc12.deb
      Merge tag 'upstream/1.0.0_rc12.deb'
      New upstream RC
      Remove patches:
      Refresh patches:
      Adjust the build system
      Build-depend on libextlib-ocaml-dev
      Pass at least some options to configure
      Pass --enable-release to configure
      Set sysconfdir to /etc
      New patches:
      Simplify configure flags code
      Upload to experimental

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

-- 
Debian packaging for coccinelle