Ubuntu
easycrypt package

  1. Bug #185497
  2. Comment #1

Comment 1 for bug 185497

Revision history for this message
Steven Harper (stevenharperuk) wrote :

Thanks - I will add this patch to Version 0.2.2.6