Skip to content
GitLab

update package descriptions

Merged Ralf Jung requested to merge ralf/opam-desc into master

Descriptions provided by @tchajed (I slightly edited the one for Iris)

Fixes #436 (closed)