X10言語処理系のebuildを書いた。ビルド自体は何の障害も無く、ドキュメント通りにすれば通ったのであまり苦労しなかった。 自作のproof-overlayに置いておくので、d:id:na4zagin3:1320755758 に沿ってオーバーレイを追加した後、 emerge dev-lang/x10でイン…

Leksahがパッケージの情報を読んでくれなくなった。 具体的には、システムのモジュール一覧にほとんど何も表示されなくなったり、保管が効かなかったりする。 http://groups.google.com/group/leksah/browse_thread/thread/c2f7b51dacb19d14/76a1c94bdc8f6ac…

形式的仕様検証ツールあたりは、すでにfmportっていうのが存在するけれど、 E Proverなどのebuildは見つからなかったので、自作して公開することにした。https://github.com/na4zagin3/proof-overlay 使い方 まず、/etc/layman/layman.cfgの overlays : http…