Bug#973329: Use system libimgui-dev

Yangfl mmyangfl at gmail.com
Wed Oct 28 21:37:15 GMT 2020


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.



More information about the debian-science-maintainers mailing list