debian/8.1+dfsg-1

Samuel Mimram

@smimram

d96021d8 · Converted copyright to utf8. · Feb 13, 2007

[svn-buildpackage] Tagging coq (8.1+dfsg-1)