Ubuntu
easycrypt package

  1. Bug #175402
  2. Comment #7

Comment 7 for bug 175402

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

I am marking this as Invalid as I am packaging 0.2.2.2