debian/8.0pl3-2

Samuel Mimram

@smimram

514dce2d · Rephrasing changelog. · Feb 19, 2006

[svn-buildpackage] Tagging coq (8.0pl3-2)