I have been maintaining 'instant-fenics' but now that 'instant' has been orphaned and I have adopted it and updated it, 'instant-fenics' is no longer required: please could someone remove it? Thanks, Myles -- View this message in context: http://archlinux.2023198.n4.nabble.com/Please-remove-instant-fenics-package-... Sent from the tur-users mailing list archive at Nabble.com.