Motivation for this change
The reason of the pinning was fixed by the 0.12 release, now 0.12.2 is released.
Currently, Haskell Language Server Nix env development environment does not
The text was updated successfully, but these errors were encountered:
Isabelle uses Z3 in a non-forwards-compatible manner, as it needs to consume the proof objects Z3 produces. Building Isabelle with newer Z3 causes errors when trying to build a session that depends on HOL-Library. Try $ isabelle jedit -l HOL-Library Fixes NixOS#99399.
https://chromereleases.googleblog.com/2020/10/stable-channel-update-for-desktop.html This update includes 35 security fixes. CVEs: CVE-2020-15967 CVE-2020-15968 CVE-2020-15969 CVE-2020-15970 CVE-2020-15971 CVE-2020-15972 CVE-2020-15990 CVE-2020-15991 CVE-2020-15973 CVE-2020-15974 CVE-2020-15975 CVE-2020-15976 CVE-2020-6557 CVE-2020-15977 CVE-2020-15978 CVE-2020-15979 CVE-2020-15980 CVE-2020-15981 CVE-2020-15982 CVE-2020-15983 CVE-2020-15984 CVE-2020-15985 CVE-2020-15986 CVE-2020-15987 CVE-2020-15992 CVE-2020-15988 CVE-2020-15989
This will additionally install the following files: libEGL.so libGLESv2.so libVkICD_mock_icd.so libvk_swiftshader.so libvulkan.so libEGL.so and libGLESv2.so are required to fix our ANGLE support. The rest should help with the Vulkan support (currently an experimental feature that is disabled by default).
The reason of the pinning was fixed by the 0.12 release, now 0.12.2 is released. Currently, Haskell Language Server Nix env development environment does not work, so it is essentially impossible to develop HLS under NixOS, HLS requirements of environment coerce on the stylish-haskell>=0.12 and looks at haskellPackages.stylish-haskell.