Skip to content
GitLab
Explore
Sign in
Register
debian/2.23+dfsg-2
Mehdi Dogguy
@mehdi
f403888f
·
Correctly detect Coq-float wrt. its new path
·
Feb 17, 2010
Debian release 2.23+dfsg-2
