Public bug reported:
The Standard ML compiler system 'mlton' has been included in all recent
Ubuntu releases, but for some reason is not included in 22.04 Jammy.
$ rmadison -u ubuntu mlton
mlton | 20100608-5.1| trusty/universe | source, all
mlton | 20100608-5.1| xenial/univers
Me too: I believe that the bug is related to the option of selecting windows
when the mouse is over the window. I have two computers, an old Dell D610
laptop with an Intel graphics card, and an equally old Dell Dimension 5150 with
an old ATI Radeon, both having some windows not redrawn when swit