Error

two or more packages specified (menhir stretch)

ウェブサイトの問題を報告するには、debian-www@lists.debian.org にメールを送ってください。その他の連絡先に関する情報は、Debian のコンタクトページをご覧ください。

Content Copyright © 1997 - 2023 SPI Inc.; ライセンス条項をご覧ください。 Debian は SPI Inc. の登録商標です。このサイトについてさらに詳しく知るには.

本サービスのスポンサー: MIT Computer Science & Artificial Intelligence Lab