Fix: merge multiple identical opam pins on a local package #13232

Merged

ElectreAAS merged 2 commits intoocaml:mainfrom

ElectreAAS:push-rqpyxukqkprq

Jan 9, 2026

Commits on Jan 8, 2026

Expand test to show how different pin types interact
ElectreAAS
committed

Commits on Jan 9, 2026

Fix: multiple identical local pins couldn't be merged.
ElectreAAS
committed