debian/8.1+dfsg-4

Samuel Mimram

@smimram

41f185d2 · Removed tetex-extra from build-dependencies. · Apr 24, 2007

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