EasyCrypt

  1. Bug #203120
  2. Comment #4

Comment 4 for bug 203120

Revision history for this message
Data (ubuntuaddress) wrote :

This bug is fixed in Hardy, therefore changing the status to Fix Released.
(Just to clean up launchpad a little bit)