Ubuntu
easycrypt package

  1. Bug #179324
  2. Comment #14

Comment 14 for bug 179324

Revision history for this message
Emmet Hikory (persia) wrote :

Uploaded. Thanks. Remember that FeatureFreeze is 14th February, so that is the deadline for new upstream versions.