Code

polyml,polyml{56,57}: fix build#372200

Code

Open

jvanbruegge wants to merge 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom jvanbruegge:fix-polymljvanbruegge/nixpkgs:fix-polymlCopy head branch name to clipboard

+51-20

Commits

Commits on Jan 8, 2025

• polyml,polyml{56,57}: fix build

  jvanbruegge

  committed
  9809b38