Mario Melara 5bcd1e7ccd If we already have the name and the platform, then we should probably go ahead and concretize it in the constructor. Else leave it as None and concretize it later.		2016-04-08 12:43:08 -07:00
..
spack	If we already have the name and the platform, then we should probably go ahead and concretize it in the constructor. Else leave it as None and concretize it later.	2016-04-08 12:43:08 -07:00