On 6/16/24 04:11, Phil Wyett wrote:
Hi Matthew, Letting mistakes slip through as you say would be worse. Software is getting more complex in a variety of fields/organisations etc. that use Debian. If build times increase because of this the infrastructure team should see this and move/act accordingly to meet new or higher needs. If 'Uclid' is so niche where you believe it is not worthwhile to request its packaging ans support it, that is your decision knowing more about it and your package. That may change in the future, but who knows what the future may bring. Not being required, adding 'z3' as a 'Suggests' would seem appropriate. In 'debian/control'. Could you update to the latest 'Standards-Version' which is 4.7.0[1]. In 'debian/copyright'. I would update the line below. Copyright: 2019 Matthew Fernandez <matthew.fernan...@gmail.com> to Copyright: 2019-2024 Matthew Fernandez <matthew.fernan...@gmail.com> Other than these little things, all is good and if you wish to make these changes, we can then ask a DD to sponsor.
Many thanks for the guidance, Phil. I think I’ve applied all that and made another upload now. Let me know what you think.
