[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3.pl1+dfsg-1, created. debian/8.3.pl1+dfsg-1

[Stephane Glondu]

The annotated tag, debian/8.3.pl1+dfsg-1 has been created
        at  02c7311461151d6925dbd1b866714deff0c48b1d (tag)
   tagging  2ac35e66973d32cee6afb62f81d2abf657ab511a (commit)
  replaces  debian/8.3+dfsg-1
 tagged by  Stephane Glondu
        on  Fri Dec 24 13:24:25 2010 +0100

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

iQIcBAABCgAGBQJNFJD6AAoJEHhT2k1JiBrT36cP/0GAnaBoGJg978a63zrrWN79
EmI8eqOPg7g0xKpcs6N/cZ8VNzQ6QvK5dE/nvDdLma1mRMMXhsueN/8AtG7lY+ki
rTOY0Bwv199niRTIhNsDFG0uVc+3nZMwR3uFBb/Y857xhWqxYKyu82hNbWPlJfEx
SKM4iTBfm5oNXJLq9Cuo8B9w3+vIo+UUHcdAl/zzg9QyejlqvaWc8OCymHadVoeF
MfQUD3VkwMHT1+nXOljiyEmkGqs6Q8JJPekOiEC6p8emivo8zMmqVrAdvZaGT3G0
CewUo48xIz4RP5p9/xelPMSEHQ4b4IXuzB902HtwenI2QZTr+IOV6Jch96pNyL5+
ivrOvDaEUW5ufiHgJaqGVZ+J/ZRmgNqU7aiy8yuKd0WVXJKhJxwC7VVpHhaPYlgP
0mPWpVS/qe+GqeZGPbPLDfQsBer5oKTqsb4cYt649MHfnZJtP4J7WlbiUoJBr6t/
wFRL0HGZr0TtQ45cz/nC264U6hocAZNzeFzjtWoZ8okLCAWcX98fta3iEV3lLsSS
j2btnHU0lg5WvqeDur3obbvobFunQkY0Srwon/qwvpVpGC+iQo3wjfPZ9I7SYDhg
QwLo9XZnCD5bV3n3LK63ATOyxokXNJZuE0wUlC0z3L9vqKQiS/ae94eknel1KnEB
3BemId8fggsXq+LyXX3P
=Z5zA
-----END PGP SIGNATURE-----

Stephane Glondu (12):
      NOT RELEASED YET
      Run test-suite in override_dh_auto_test, skip coqchk
      Add 0002-Fix-mixed-implicit-and-normal-rules.patch
      debian/rules: make "build" a phony target
      Add debian/source/local-options
      Add 0003-Support-for-camlp5-6.02.0.patch
      Port to camlp5 6.02.1
      Imported Upstream version 8.3pl1
      Remove non-DFSG contents
      Merge commit 'upstream/8.3.pl1+dfsg' into experimental/master
      New upstream release, update changelog
      Prepare upload to experimental

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

-- 
coq packaging