Skip to content
GitLab
Explore
Sign in
Register
debian/8.5-2
Enrico Tassi
@gareuselesinge
7c9b0a70
·
fix FTBFS on slow architectures by disabling 4429
·
Jan 28, 2016
coq Debian release 8.5-2
