diff options
Diffstat (limited to 'astro/planets/Makefile')
| -rw-r--r-- | astro/planets/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/astro/planets/Makefile b/astro/planets/Makefile index 42fe45687b11..44b55d378c46 100644 --- a/astro/planets/Makefile +++ b/astro/planets/Makefile @@ -15,6 +15,8 @@ LICENSE= GPLv2+ LICENSE_FILE= ${WRKSRC}/COPYING BROKEN= unfetchable +DEPRECATED= Unfetchable, unmaintained +EXPIRATION_DATE= 2019-10-16 USES= gmake tar:tgz USE_OCAML= yes |