Ubuntu
easycrypt package

  1. Bug #179747
  2. Comment #1

Comment 1 for bug 179747

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

Decided to not change the icon : but the text is done in Version 0.2.2.5