The annotated tag, debian/8.2-1.2-3 has been created at 908da9b22045a83409ff9371beefb1fbaa896c5d (tag) tagging b1f9cb06d2dbc984114627ae33ad87f5dbaf30da (commit) replaces debian/8.2-1.2-2 tagged by Stephane Glondu on Sat Jul 4 14:27:28 2009 +0200
- Shortlog ------------------------------------------------------------ Debian release 1:8.2-1.2-3 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEABEDAAYFAkpPSrAACgkQBg8odvzgPao/JgCfcHu/bJW8u+TJXhpueOo+j/+f hzkAnjLSCqeEJD/pq2OhzGfkIGhVzDBL =neay -----END PGP SIGNATURE----- Stephane Glondu (1): Rebuild with Coq 8.2pl1 ----------------------------------------------------------------------- -- coq-float 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