EasyCrypt

  1. Bug #203143
  2. Comment #2

Comment 2 for bug 203143

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)