EasyCrypt hosts its code at http://www.squeezedonkey.com/svn/linux/trunk/easycrypt.

You can learn more at the project's web page.

Launchpad imports the master branch and you can create branches from it.

You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:easycrypt

See all merge proposals.

EasyCrypt has 1 active branch owned by 1 team. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:easycrypt
Series: trunk
1 Development 2010-04-12 23:24:51 UTC
19. Merge from Branch 0.2.3.2

Author: steve
Revision Date: 2010-04-12 23:24:51 UTC

Merge from Branch 0.2.3.2

11 of 1 result
You can't create new branches for EasyCrypt.