Ubuntu
coq package

Bug #49546
Comment #2

Comment 2 for bug 49546

Revision history for this message

Vassilis Pandis (pandisv) wrote on 2006-06-13: the .diff

#2

the .diff Edit (438 bytes, text/plain)

Sorry, the previous one is the new .desktop. Here's the diff.