Ubuntu
easycrypt package

  1. Bug #205722
  2. Comment #4

Comment 4 for bug 205722

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

Since this is a new upstream version I have raised a Feature Freeze exception: https://wiki.ubuntu.com/FreezeExceptionProcess.

its Bug #205728