2.0.11/2.1.5 PRs & issues to backport #5409

New issue

Copy link

New issue

Copy link

Closed

Closed

2.0.11/2.1.5 PRs & issues to backport#5409

Copy link

Milestone

2.1.5

Description

rjbou

opened on Jan 6, 2023

Issue body actions

Todo

• Expand variable interpolations in build-env #5352
• Fix crash for updates to environment with empty strings #5350
• opamClient: pass dl_cache from initConfig to config #5315
• git, hg: Use full revision #5342
• Fix opam installing packages without checking their checksum when the local cache is corrupted in some cases #5538

Reactions are currently unavailable

Metadata

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

• 2.1.5

Relationships

None yet

Development

No branches or pull requests

Issue actions