Home

Welcome to the satyrographos-repo wiki!

管理者向け情報

SATySFi更新方法

以下のコマンドを実行せよ。

eval $(opam env)
scripts/add-satysfi -b master

その後、開発版スナップショット snapshot-develop.opam と、正式版リリースの際には正式版スナップショットを追加・更新し、コミットせよ。

git add packages/satysfi{,-dist} snapshot-*.opam