The annotated tag, debian/8.2.pl1+dfsg-1 has been created at 35fa0c947758cb3a8e16e9ced728dd31d96f2574 (tag) tagging d43a92cbe2dd9b90393698e98eb96104b14c04fa (commit) replaces debian/8.2-1+dfsg-2 tagged by Stephane Glondu on Sat Jul 4 14:12:54 2009 +0200
- Shortlog ------------------------------------------------------------ Debian release 8.2.pl1+dfsg-1 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEABEDAAYFAkpPR0YACgkQBg8odvzgPapaJgCeNInDn1C7QlSKQXZtGRCz1M4c 7aEAoJzklfXquHi7LL4JSbuvQX8S0tbM =GloK -----END PGP SIGNATURE----- Stephane Glondu (4): Keep some file from doc/common/styles/html/simple Imported Upstream version 8.2.pl1+dfsg Merge commit 'upstream/8.2.pl1+dfsg' New Upstream Version ----------------------------------------------------------------------- -- coq packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits