Skip to content

update package descriptions

Ralf Jungrequested to merge
ralf/opam-desc into master

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

Fixes #436 (closed)

Merge request reports