Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 11 Feb 2024 05:38:49 +0000
From:      Jamie Landeg-Jones <jamie@catflap.org>
To:        ports@freebsd.org
Subject:   lang/gnatdroid-* deprecate?
Message-ID:  <202402110538.41B5cnfE022261@donotpassgo.dyslexicfish.net>

next in thread | raw e-mail | index | archive | help
I'd like to remove myself as maintainer of lang/gnatdroid-binutils and
lang/gnatdroid-sysroot

I know how to create a PR for this, but think these ports should
probably be deleted, as they are useless without the long deleted
lang/gnatdroid-armv7 port.

In addition, same applies to unmaintained lang/gnatdoid-binutils-x86
and lang/gnatdroid-sysroot-x86 since lang-gnatdroid-x86 was deleted.

Does anyone want to sort out these 4 ports, or suggest a course fo
action to raise in a PR?

Thanks, Jamie



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202402110538.41B5cnfE022261>