Edward Z. Yang

Name Base Source Registered
coq-daily lp:~ezyang/coq/trunk 2014-04-02 00:54:17 UTC
coq-daily-precise lp:~ezyang/coq/trunk 2014-08-25 00:16:39 UTC