Branches for Warty

Name Status Last Modified Last Commit
lp:ubuntu/warty/mlgmp 1 Development 2009-07-25 11:52:26 UTC 2009-07-25
2. Added a depends on libgmp3-dev for li...

Author: Mike Furr
Revision Date: 2004-04-18 21:32:08 UTC

Added a depends on libgmp3-dev for libgmp-ocaml-dev pkg.

11 of 1 result