debian/8.0pl1-2

Sven Luther

@luther

d5832194 · Removed the powerpc kludge. · Aug 17, 2004

Tagged coq 8.0pl1-2 after upload.