diff --git a/darwin/macports/ports/devel/paparazzi-tools/Portfile b/darwin/macports/ports/devel/paparazzi-tools/Portfile index dd143d9..5af8d56 100644 --- a/darwin/macports/ports/devel/paparazzi-tools/Portfile +++ b/darwin/macports/ports/devel/paparazzi-tools/Portfile @@ -3,7 +3,7 @@ PortSystem 1.0 name paparazzi-tools -version 2012.08.22.01 +version 2012.10.03.01 categories devel maintainers nomaintainer description Paparazzi Developer Tools @@ -34,7 +34,6 @@ depends_lib-append \ port:arm-none-eabi-gcc-linaro \ port:arm-none-eabi-gdb \ port:openocd \ - port:libcmsis \ port:libstm32 \ port:libopencm3 \ port:jsbsim \