Adding the library specfication