BTW, for anyone who wants to experiment with adding a wide variety of .deb repositories (that is, for anyone who makes assiduous backups):
https://sites.google.com/site/mydebiansourceslist/Home
I remember trading info on obscure .deb repos with Craig years before he started this page. Now I find he has certainly the most informative single resource for .debs on the net. Also, I am certain Craig would be interested to here of more repos. (Knoppix is on there.)
Atari 800xl 65xe 130xe XEGS Pico. A8PicoCart. Loaded with ROMs Gray/Gray
$25.00
Atari 400/800/XL/XE Computer SIO2PC - PC/Mac Disk Drive Emulator Adapter/Device
$15.25
Atari Power Cube 800XL, 600XL, 65XE, 130XE USB-C Power Supply PSU
$11.25
Atari 600xl Excellent cond. Mechanical KB. Custom upgrades (Video, Ram, Case)
$295.00
Atari 800xl 65xe 130xe XEGS Pico. A8PicoCart. Loaded with ROMs Red/White
$28.00
Okimate 10 printer for Atari including Manuals, extra ribbon and board
$59.99
Atari 1030 Modem with Power Adapter - NOT TESTED
$27.00
Atari SIO2SD Lotharek v1.3 Disk Drive Emulator for Atari 400/800/XL/XE Computers
$50.00
A8PicoCart Kit Atari 130 65 XE 800 600 XL unocart clone multicart cartridge game
$19.95
Atari 65XE Computer Tested & Working Original Power Supply Manual
$149.90