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

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/string-ident:patch-1 into master 5 years ago

All threads resolved!

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

Edited 5 years ago by Paolo G. Giarrusso

Activity

Paolo G. Giarrusso @Blaisorblade started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Paolo G. Giarrusso
Last reply by Paolo G. Giarrusso 5 years ago

Paolo G. Giarrusso added 1 commit 5 years ago

added 1 commit

fc2ab735 - Correct dependency range: allow future Iris release.

Compare with previous version

Paolo G. Giarrusso added 1 commit 5 years ago

added 1 commit

02454e70 - Finally correct dependency

Compare with previous version

Paolo G. Giarrusso resolved all threads 5 years ago

resolved all threads

Ralf Jung @jung 5 years ago

Owner

Thanks!

Ralf Jung mentioned in commit 5 years ago

mentioned in commit a1001839

Ralf Jung merged 5 years ago

merged

Paolo G. Giarrusso changed the description 5 years ago

changed the description

Paolo G. Giarrusso marked the checklist item Reflect this change also in Iris's opam repo (done in 1b32f8129acb4c85a32b12237a9baa843b291396). as completed 5 years ago

marked the checklist item Reflect this change also in Iris's opam repo (done in 1b32f8129acb4c85a32b12237a9baa843b291396). as completed

Please register or sign in to reply