[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3+dfsg-1, created. debian/8.3+dfsg-1
Stephane Glondu
steph at glondu.net
Fri Dec 24 12:57:51 UTC 2010
The annotated tag, debian/8.3+dfsg-1 has been created
at dc1f3be7eda4ba94988c4463d9fdb1a0b803add3 (tag)
tagging 0fa28b899ab1c7ee138fc173d8fea72e7c7488e7 (commit)
replaces debian/8.3.rc1+dfsg-1
tagged by Stephane Glondu
on Sat Oct 16 11:46:54 2010 +0200
- Shortlog ------------------------------------------------------------
Debian release 8.3+dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAABCgAGBQJMuXSOAAoJEHhT2k1JiBrTtHUP/iLwVFlkJylwGF5adq5ZL0Y/
406mXYwUuKFhxUGxQ4bTCmvHkG7AK74j+YpQxwLWz9y1eE+DqT1Z9fH1xagF9RFT
vZ8S1t7jmFwnIHQRmBXcTUiQBmkTzWwGjhxsGKVr5TJiKlJdQh0wmT9S503asoqA
rX09cus0peVOBfgu6Qo9UHY4zZnbzrqzd2QbTilvLUHPnjXDofb17ytKV+/bS2R6
xvrg5lWsjFeZAhWTE0J9RRCecousPAVS9GoDAYBLOyg9J+SwLtuVNzajPXsrwFQe
KHaukYz6+fXTeDOUVCAfuweN16/jSl8LSlszq/J2XwpX2RH9BSVQ2S2R2dqgnDpg
lxZOsgnSWKFK+4LLIaP7Ss/fXvvpLsWZSJCSSFDEW2TKiPC6YtwvmJ5v509UDmPD
MUqIoL/8ayVEKozvSr8eGqk9iZbVH+KrV6IL6149T+lYNJWSYPjtSzWAWDGWeqVB
OT4vNiP8e32uYo4Hv/qN0ho4tLPAlddPQM/B+ZhMimHCbqkkcC6zPU2eSN97X/ke
8yDzgdbScuDAeGKk5JxS9up9erfIWiFxIaS4qOt2qKOUueQiEGlzL+alsfvxAIcI
jF5iQYpHk11y+9A8NbZgcgWvfRb9LHyV3fx5avp+dm+XU1sa98Zk8Ct3hOcB5tK6
+gw+DqElbpChW8cpa6/q
=E8/d
-----END PGP SIGNATURE-----
Stephane Glondu (7):
Imported Upstream version 8.3
Remove non-DFSG contents
Merge commit 'upstream/8.3+dfsg' into experimental/master
New upstream release
Add patch to fix test-suite
Bump Standards-Version to 3.9.1 (no changes)
Update changelog and prepare upload to experimental
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list