2016-01-25から1日間の記事一覧

Hackageメタデータの依存関係だけ更新してどうするの?

(追記) cabal update で反映される模様?Agda-2.4.2.5のDependenciesで,unordered-containersを見て欲しい.依存関係が >=0.2.5.0 && メタデータのみをパッケージアップロード後に編集したもので,実際2016/1/25現在見えているメタデータはrev 1となってい…