Ubuntu
easycrypt package

  1. Bug #293903
  2. Comment #7

Comment 7 for bug 293903

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

*****************
Please ignore all posts above this one - as have rebuilt the release as a jaunty package and also will make other versions for 8.04 and 8.10