opam: require minimum Iris version (fix #2) (!2) · Merge requests · Iris / string-ident · GitLab

Paolo G. Giarrusso requested to merge Blaisorblade/string-ident:patch-1 into master Apr 07, 2020

Reflect this change also in Iris's opam repo (done in 1b32f8129acb4c85a32b12237a9baa843b291396).

Edited Apr 07, 2020 by Paolo G. Giarrusso