The annotated tag, debian/1%8.2-1.2-7 has been created
at 723733ef634f159ee0141835e3be2308bb41813f (tag)
tagging bd9137bfbe4c573f5780e6957248157a9a08dcbe (commit)
replaces debian/8.2-1.2-5
tagged by Stephane Glondu
on Wed Apr 20 18:23:00 2011 +0200
- Shortlog ------------------------------------------------------------
Debian release 1:8.2-1.2-7
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAABCgAGBQJNrwhkAAoJEHhT2k1JiBrTXGEP/A9N66ZNWjHgUxNtybb73DlY
lxsTWu50CHImOnhYIRVyKND9ZGFTXDRWHd6EIpacIgx4gcc0BfBwHR7agf53Q588
Iks1NzRn16ynngvl9kgc4kSJsDeZmEiv1e524/oPvO7XQBP4YfrXVCjMLPoRKzCm
+HZ7cThVkb5Zw0oLblucaeDQMh64uWTLb8LGMxeO4cYuRG4NEzE8WIdqhsOBR9xe
d1j0xXMZ67Ic7O5CG+emzJKuYO1uM/NRO6/gpDvBl24Jca5oCv3nIEr+tHx5X9i0
juhB62rR5qfgSzes35isszHAKpXGnykQ27vNgnqMw1RXiizGhH6Xe0cbFApL3t+m
Y6Hl/cSJZE/743ZiRA6Fq6x47Vyw4lXkvlg8lj8hV7hVJ1ciAXcvudhSvOMBa7Zw
/GVanqMyspYOETc8xFrwhJkK155dEAsSQvFUTo6bJFRsWhAIb9shNcRf9PIHlGrR
wbHN+WlbLPTJCOu9gfip0erMwv5dhZEDnfzFZSolLRHoO51J0O4TQ/492dxuN38m
y9JNQ+oBRRlKRRL+83MT288J+c7awBOytGR6eCbG9e8yqeSM4jP1q8gJEE/7zqvv
I8ajqXMLZft4Lm5MbeGH8ceLV16KRMydanmXm/i9nZmwir25bTZg6LGBEJ/Tr6Oe
gTkmFrjVL+nHMJdCDtY9
=eVV/
-----END PGP SIGNATURE-----
Stephane Glondu (7):
Add patch to fix build with Coq 8.3
Various updates
Update changelog
Ignore .pc when scanning for .v files...
Rebuild with new coq (no changes)
Update changelog and prepare upload to unstable
Merge branch 'sid/master'
-----------------------------------------------------------------------
--
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
