debian/8.1.gamma-2

Samuel Mimram

@smimram

b9343b97 · Skip complexity checks. · Nov 23, 2006

[svn-buildpackage] Tagging coq (8.1~gamma-2)