Branches for Warty
Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:ubuntu/ |
1 Development | 2009-07-25 11:52:26 UTC |
2.
Added a depends on libgmp3-dev for li...
Author:
Mike Furr
Added a depends on libgmp3-dev for libgmp-ocaml-dev pkg. |
1 → 1 of 1 result | First • Previous • Next • Last |