anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25529 from mseri/relax-dune

Relax windows incompatibility for dune 3.7.0

authored by

Marcello Seri and committed by
GitHub 0b0de1c1 fd5d2a5f

+3 -1
+3 -1
packages/dune/dune.3.7.0/opam
··· 54 54 ] 55 55 } 56 56 x-commit-hash: "d3d628f2eda2278bd2df6e37452d8693f367fcfd" 57 - available: os != "win32" 57 + post-messages: [ 58 + "Please note that this version of dune does not support unicode characters on Windows and may behave unexpectedly, consider updating to version 3.14.2 or greater" {os = "win32"} 59 + ]