There will be a bit of a delay between recent updates to the repository and precheck. The precheck is using 5-month old GDS because there hadn't been any changes to the wrapper between then and a few weeks ago (I thought that change was made only a few days ago, but I guess I'm wrong about that). Efabless is currently working hard on making updates to the precheck.