I’m coming up with a different md5sum for the file isolinux/isolinux.bin than the stated md5sum in the file md5sum.txt
I downloaded the Netrunner 17 DVD, verified the MD5 sum was a70f60d02a1ca22fd20352265d63c9fb, and burned it - telling K3b to verify after burning. But running the media test from the boot menu found an error in one file.
I went ahead and booted it, which worked fine, and ran md5 myself on all the files in md5sum.txt
My result for ./isolinux/isolinux.bin was 9ecb655df0b68b713951b581b6759a9d
./md5sum.txt contains: 7fc9aa9790eab6f98ce15803d1656795 ./isolinux/isolinux.bin
To be sure I’m not having read errors from the DVD or some such, I mounted the drive to which I downloaded the iso, rechecked the iso md5, mounted the iso, and checked the isolinux.bin that it contains - same results.