Ubuntu
easycrypt package

  1. Bug #205722
  2. Comment #5

Comment 5 for bug 205722

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

I have been told my MOTU's that this is just a bug fix release so doesn't need teh feature freeze excpetion