lp:easycrypt

Created by VCS imports on 2007-11-26 and last modified on 2010-04-12
Get this branch:
bzr branch lp:easycrypt

Related bugs

Related blueprints

Branch information

Owner:
VCS imports
Project:
EasyCrypt
Status:
Development

Import details

Import Status: Invalid

Last successful import was on 2012-02-23.

Import started on 2012-02-27 on pear and finished on 2012-02-27 taking 10 seconds — see the log
Import started on 2012-02-25 on pear and finished on 2012-02-25 taking 10 seconds — see the log
Import started on 2012-02-24 on russkaya and finished on 2012-02-24 taking 50 seconds — see the log
Import started on 2012-02-24 on neumayer and finished on 2012-02-24 taking 30 seconds — see the log

Whiteboard

server no longer runs svn service

Recent revisions

19. By steve on 2010-04-12

Merge from Branch 0.2.3.2

18. By steve on 2008-11-05

Merge of 0.2.3.0

17. By steve on 2008-11-05

Merge of 0.2.2.10

16. By steve on 2008-03-24

Merge from 0.2.2.9

15. By steve on 2008-03-18

Merge from 0.2.2.8

14. By steve on 2008-03-15

Merge from 0.2.2.7

13. By steve on 2008-03-14

Merge from 0.2.2.6

12. By steve on 2008-01-09

Merge from 0.2.2.5

11. By steve on 2008-01-01

Merge from 0.2.2.4

10. By steve on 2008-01-01

merge from 0.2.2.3

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.

Subscribers

No subscribers.