This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/8.4pl4dfsg-3
in repository coq.
at 5fa07be (tag)
tagging 01762b591f6e6281a9803eb0ca553b53e91d6681 (commit)
replaces debian/8.4pl4dfsg-2
tagged by Stephane Glondu
on Fri Oct 23 00:36:56 2015 +0200
- Log -----------------------------------------------------------------
coq Debian release 8.4pl4dfsg-3
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJWKWUIAAoJEHhT2k1JiBrT+YMP/RE8J1Csl1xTw5G/j+A651IX
/x/G3pJ68u/K88PMj9oeZGdCCVlCcZuLYp1AXgcYwAqjX9WJlGq4lsUX/ThuaNlB
hTMvA99AfQw/jxh8aQVEtv8hN0OUoS60RncdQGNIgJYEFkvhdVd9M9dnfdGPhBO2
ArgWb3blDluzX0Dx4EWqSQer2XYG/4b+k75uTVPPn2i1o/bHAeYooXnrgQjnSgLp
KD6IZlF2qTVDj3JOKBL3XvuYFxjhE7PCIEwFuDNgwD1aq9GekiN8BibGchxDbrMM
OOUdEqVXLf4U5lbVhtI8YhvU5nGnHkzXf0uxZh+xbz2x6NH+Xx/pFo83zC01tAji
SBcQFtOsnnwNlQoECuJDQuWpuF9KM8TqKikSkYCrKbWewO24qZzzui0NkyfF00h1
wcNGcex2LNlcFYM3gw9pWElrWj1e0dwavEcOWIbE5znXRLX4vGm3nZCZWldQReyT
gkzIsX2nfAjBpGhEUsA7uIjTymQ4n3WiIPpUdvP5ufocAVS0YJu81TcSJsYYNLgY
ci2IWljK38KrmjLvyBom0ISwmMQI1Cn8uBBgbMFjiB+D3qr05Odd0COg+Ssks7ZE
/RQwoGiTZ2MFVPBXz8qVwF4igJIP4Ai5qC0jK+xB7Rg4gP5myOL4kNPXqLtJIRi2
8bDI46KTGbZmvhIJwEo+
=SATx
-----END PGP SIGNATURE-----
Stephane Glondu (2):
Move initial.coq to coq-theories
Update changelog and prepare upload to unstable
-----------------------------------------------------------------------
No new revisions were added by this update.
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
