EasyCrypt

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

Link a bug report

Related blueprints

Branch information

Owner:: VCS imports

Project:: EasyCrypt

Status:: Development

Import details

Import Status: Invalid

Last successful import was on 2012-02-23.

Failure

Import started on 2012-02-27 on pear and finished on 2012-02-27 taking 10 seconds — see the log

Failure

Import started on 2012-02-25 on pear and finished on 2012-02-25 taking 10 seconds — see the log

Failure

Import started on 2012-02-24 on russkaya and finished on 2012-02-24 taking 50 seconds — see the log

Failure

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.