Ubuntu
eprover package

Bug #381092
Comment #1

Comment 1 for bug 381092

Revision history for this message

Andrea Gasparini (gaspa) wrote on 2009-05-27:

#1

eprover_1.0.004-1ubuntu1.debdiff Edit (1.5 KiB, text/plain)

this diff should fix the bug.