debian/8.4pl2dfsg-2

steph@glondu.net

505d907f · Update changelog and prepare upload to experimental · Jul 26, 2013

coq Debian release 8.4pl2dfsg-2