» Ubuntu » パッケージ

Error

two or more packages specified (coq-8.20.1+5.3.0 javascript)