EasyCrypt

  1. Bug #203120
  2. Comment #3

Comment 3 for bug 203120

Revision history for this message
Giles Weaver (gweaver) wrote :

I should have noticed that the source.list contained hardy.
Have just installed easycrypt ok. Ta.