are certainly other items on the CD which are of commercial origin (and
we have the appropriate license agreements to distribute them)
It's more likely that a commercial enterprise will licence SPICE
models to a brand-name university's educational CD than to an
open-source software project run by a diffuse band of hobbyists.
Therefore, I conclude that the gEDA project should have nothing to do
with distributing vendor SPICE models. But I do think it a good idea
for you to put any models you can licence on your CD since it is part
of your mission to educate [rather indoctrinate](ed.) students.