Hannes Mehnert 64045f7dec The opamdiff for a duniverse attempts to parse the x-opam-monorepo-duniverse-dirs ... Previously, an entry pinned to a commit, such as openvpn: [ "git+https://github.com/roburio/openvpn.git#5041b2837fe299138fae95649cb812a3930be163" "openvpn" ] couldn't be decoded (since the form was assumed to be List [ URL ; DIR ; HASHES ] Now, the parser is extended to cope with List [ URL ; DIR ] as well. Seen on https://builds.robur.coop/compare/dde0380c-11f8-4e4f-8e91-d4ffcf5f4e08/35d0bddc-e118-44c5-bbba-f5e53cccca2d		2023-03-13 14:46:35 +00:00
..
dune	opam-switch diff	2021-04-23 09:45:35 +02:00
opamdiff.ml	The opamdiff for a duniverse attempts to parse the x-opam-monorepo-duniverse-dirs	2023-03-13 14:46:35 +00:00