Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!746
update package descriptions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/opam-desc
into
master
Oct 26, 2021
Overview
1
Commits
1
Pipelines
1
Changes
2
Expand
Descriptions provided by
@tchajed
(I slightly edited the one for Iris)
Fixes
#436 (closed)
Merge request reports