Skip to content
debian/8.3.pl1+dfsg-2
default avatar
steph@glondu.net
853081b7 · Set and check COQ_VERSION used to compute COQ_ABI in debian/rules ·
Unverified 
Debian release 8.3.pl1+dfsg-2