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.)
12 Core 2.5GHz 25MB Intel Xeon E5-2696 V2 SR19G LGA-2011 Server CPU
$41.35
Intel Xeon E5-2699 v3 18 Core 2.3 GHz 45MB SR1XD LGA 2011-3 B Grade CPU
$113.11
Original Intel Xeon E5-2470 V2 2.4 GHz Ten-Cores SR19S LGA 1356 Processor CPU
$36.28
Intel Xeon CPU X5680 3.33GHz 12MB Cache Hexa Core Socket LGA1366 Processor SLBV5
$24.99
Intel Xeon X5675 SLBYL 3.06GHz CPU Processor
$11.19
$18.00
Intel Xeon X5690 3.46GHz Six Core 12M Processor Socket 1366 CPU SLBVX
$44.95
Intel Xeon E5-2695V2 CPU Computer Processor 12 Core @2.4GHz (SR1BA)
$44.95
Dell T1650 Intel Xeon Tower Windows 10 Pro Nvidia GT 1030 32GB 2TB HDD 22 in LCD
$279.82
Intel Xeon E3-1230 V2 3.30GHz Socket LGA1155 Server CPU SR0P4
$29.95