は、opamを使用してframa-c-Phosphorusをインストールできませんでした

Question

opaamを使用してframa-c-Siliconをインストールしましたが、Phosphorusにアップグレードする場合、opamは動作しません。

私はコマンドを使用：

opamピンアドオンFRAMA-cのダウンロード/ FRAMA-C-Phosphorus20170501.tar.gz

それが言っていること：

[NOTE] Package frama-c is already path-pinned to 
     /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz. 
     This will erase any previous custom definition. 
Proceed ? [Y/n] y 

[frama-c] /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz synchronized 

frama-c needs to be installed. 
The following actions will be performed: 
    ∗ install frama-c-base 20161101*   [required by frama-c] 
     Why3 can be used by the WP plug-in for running additional automatic solvers 
     Coq can be used with the WP plug-in for proving interactively proof obligations 
    ∗ install frama-c  20161101* 
     Alt-Ergo Graphical Interface can be used by the WP plug-in 
===== ∗ 2 ===== 
Do you want to continue ? [Y/n] y 

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 
[frama-c.20161101] /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz already up-to-date 
[frama-c-base.20161101] /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz already up-to-date 

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 

#=== ERROR while installing frama-c-base.20161101 =============================# 
These patches didn't apply at /home/talos/.opam/system/build/frama-c-base.20161101: 
    - 4.05-support.patch 



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 
The following actions were aborted 
    ∗ install frama-c 20161101 
The following actions failed 
    ∗ install frama-c-base 20161101 
No changes have been performed 
[NOTE] Pinning command successful, but your installed packages may be out of 
     sync. 

Answer 1

Iあなたの問題はFrama-CよりもOPAM自体（特に）の使用に関連していると考えてください。リンのパッケージがOPAMで利用できた前

[NOTE] Package frama-c is already path-pinned to 
     /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz. 
     This will erase any previous custom definition. 

にのみ必要だった：。特に

この行は、あなたのOPAMのインストールでFRAMA-Cパッケージをpinに定義されていることを示しています

：あなたはまだ のようなメッセージが表示されている場合は、その

opam pin remove frama-c 
# just in case, you may want to unpin the frama-c-base package, if it is pinned 
opam pin remove frama-c-base 
# then install the package normally; you may need to update OPAM to make 
# sure the package is available in your repository 
opam update 
opam install frama-c 

注：あなたはそれを削除してから、「標準」（非固定）道を経由して、それをインストールすることで、デフォルトの設定に戻す必要があります

The following actions will be performed: 
    ∗ install frama-c-base 20161101*   [required by frama-c] 

これは、OPAMの制約の問題を示している可能性があります。

リンのリリースのバージョン番号は20170501です。それ以外のものは、あなたがリンを入手しないことを意味しますが、古いバージョンです。継続する価値はありません。問題は事前に解決しなければなりません。