diff options
Diffstat (limited to 'gnu/gnat-gpl/DEPENDS')
-rwxr-xr-x | gnu/gnat-gpl/DEPENDS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/gnat-gpl/DEPENDS b/gnu/gnat-gpl/DEPENDS index 5952923693..fd1ef5bb64 100755 --- a/gnu/gnat-gpl/DEPENDS +++ b/gnu/gnat-gpl/DEPENDS @@ -1,3 +1,3 @@ -depends ada && +depends -sub ADA gcc && depends gmp && depends mpfr |