diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/gps/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/gps/Makefile b/devel/gps/Makefile index 6621d94012b9..710b198775da 100644 --- a/devel/gps/Makefile +++ b/devel/gps/Makefile @@ -20,7 +20,7 @@ BUILD_DEPENDS= gprbuild>=20140417:${PORTSDIR}/devel/gprbuild \ templates_parser>11:${PORTSDIR}/textproc/templates_parser LIB_DEPENDS= libgtkada.so:${PORTSDIR}/x11-toolkits/gtkada3 RUN_DEPENDS= rsvg-convert:${PORTSDIR}/graphics/librsvg2 \ - gnatinspect::${PORTSDIR}/devel/gnatcoll \ + gnatinspect:${PORTSDIR}/devel/gnatcoll \ gdb${PORTGDB}:${PORTSDIR}/devel/gdb \ ${PYTHON_PKGNAMEPREFIX}pep8>0:${PORTSDIR}/devel/pep8 \ ${PYTHON_PKGNAMEPREFIX}jedi>0:${PORTSDIR}/devel/py-jedi |