diff options
| author | maho <maho@FreeBSD.org> | 2008-01-04 12:05:39 +0800 |
|---|---|---|
| committer | maho <maho@FreeBSD.org> | 2008-01-04 12:05:39 +0800 |
| commit | 3006c8d19aae5971c3c8905676ae554bd7fa4a70 (patch) | |
| tree | 7b7558d3f67e04d4234fac8d43b984498c09370e /math/coq/Makefile | |
| parent | cacb5097be46a28cdccbd9a59770b25ffafca9f2 (diff) | |
| download | freebsd-ports-graphics-3006c8d19aae5971c3c8905676ae554bd7fa4a70.tar.gz freebsd-ports-graphics-3006c8d19aae5971c3c8905676ae554bd7fa4a70.tar.zst freebsd-ports-graphics-3006c8d19aae5971c3c8905676ae554bd7fa4a70.zip | |
Add gsed in the RUN_DEPEND section.
mkoctfile requres gsed.
Submitted by: pav
Diffstat (limited to 'math/coq/Makefile')
0 files changed, 0 insertions, 0 deletions