Gürkan Myczko Mon, 12 Aug 2019 15:16:01 -0700
http://phd-sid.ethz.ch/debian/coreboot/git/
it's the coreboot_4.10-1.dsc that you want.
