debian/8.0pl1-1

Sven Luther

@luther

07ca4847 · We will upload it in unstable. · Jul 28, 2004

Tagged coq 8.0pl1 after upload.