Ubuntu
easycrypt package

  1. Bug #203145
  2. Comment #7

Comment 7 for bug 203145

Revision history for this message
Luca Falavigna (dktrkranz) wrote :

Since this is a new upstream version, you need a Feature Freeze exception: https://wiki.ubuntu.com/FreezeExceptionProcess.