Ubuntu
easycrypt package

  1. Bug #164995
  2. Comment #3

Comment 3 for bug 164995

Revision history for this message
Luke Yelavich (themuso) wrote :

Uploaded. Please mark as fix released once the package has built.

Note that this package is still in the binary new queue.