Source: dart Severity: wishlist Hi,
As libimgui-dev is now available, please consider using system library. Also, it may be desirable to remove libdart6-external-imgui since providing duplicate packages may cause confusion. -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
