The PPD files are there, but in one compressed archive, /usr/lib/cups/driver/splix. You see the PPD files if you let CUPS list them via the command
lpinfo -m
Run
lpinfo -m | grep 1740
in a terminal window and you see all possibilities for your printer.
When I run system-config-printer (I do not have any Samsung printer) and enter the URI "x:" under "Enter URI" I get into the step of manually choosing make and model. There I choose "Samsung" and "ML-1740". The SpliX driver appears there, but indeed the "gdi" driver is marked recommended. This wrong assignment is done by a prioritarization in system-config-printer, it seems to have gotten messed up on the recent change of handling driver priorities.
The PPD files are there, but in one compressed archive, /usr/lib/ cups/driver/ splix. You see the PPD files if you let CUPS list them via the command
lpinfo -m
Run
lpinfo -m | grep 1740
in a terminal window and you see all possibilities for your printer.
When I run system- config- printer (I do not have any Samsung printer) and enter the URI "x:" under "Enter URI" I get into the step of manually choosing make and model. There I choose "Samsung" and "ML-1740". The SpliX driver appears there, but indeed the "gdi" driver is marked recommended. This wrong assignment is done by a prioritarization in system- config- printer, it seems to have gotten messed up on the recent change of handling driver priorities.
Moving the bug to system- config- printer ...