debian/8.1.gamma-4

Samuel Mimram

@smimram

2a14f39f · Correctly build glob.dump on non-native archs. · Feb 11, 2007

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