Error

two or more packages specified (libfiat-dev javascript)