Added Jasmin spec.