Skip to content

update package descriptions

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

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

Fixes #436 (closed)

Merge request reports