Updated solution specs file
Merge branch 'stdlib' into develop