Hi Sebastian,
Thanks for pointing this out. A 7.9.2 release technically came out after 8.0.0, so Stardog Free was generating licenses for what it thought was the most recent release. I've fixed this so if you fill out the form (again) you will get an 8.0.* license