branches with status:
Name Status Last Modified Last Commit
lp:~ezyang/coq/trunk 1 Development 2016-06-15 17:56:14 UTC
17528. Fix test-suite for opened bug #4813.

Author: Pierre-Marie P├ędrot
Revision Date: 2016-06-15 17:56:14 UTC

Fix test-suite for opened bug #4813.

lp:~ezyang/coq/trunk-packaging 1 Development 2015-01-11 21:48:40 UTC
281. Apparently v and glob files are insta...

Author: Edward Z. Yang
Revision Date: 2015-01-11 21:48:40 UTC

Apparently v and glob files are installed now too.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

lp:~ezyang/coq/trunk-packaging-precise 1 Development 2014-09-12 19:20:34 UTC
280. Track renaming of coq.el to gallina.e...

Author: Edward Z. Yang
Revision Date: 2014-09-12 19:20:34 UTC

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

lp:~ezyang/+junk/urweb-packaging 1 Development 2012-07-27 01:56:10 UTC
1. Initial commit.

Author: Edward Z. Yang
Revision Date: 2012-07-27 01:56:10 UTC

Initial commit.

lp:urweb 1 Development 2012-07-27 01:36:25 UTC This branch has not been imported yet.
15 of 5 results