Ubuntu
easycrypt package

Bug #322537
Comment #3

Comment 3 for bug 322537

Revision history for this message

Steven Harper (stevenharperuk) wrote on 2009-01-29:

#3

easycrypt_0.2.3.1-0ubuntu1.diff.gz Edit (2.8 KiB, text/x-diff)

Source available at

http://www.squeezedonkey.com/svn/linux/trunk/releases/easycrypt/src