Merge pull request #240220 from romildo/fix.ibm-plex

Revert "ibm-plex: 6.2.0 -> 6.3.0"
This commit is contained in:
Mario Rodas 2023-06-27 21:15:48 -05:00 committed by GitHub
commit 6f234b303d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenvNoCC.mkDerivation rec {
pname = "ibm-plex";
version = "6.3.0";
version = "6.2.0";
src = fetchzip {
url = "https://github.com/IBM/plex/releases/download/v${version}/OpenType.zip";
hash = "sha256-VwJyZMH10FXDxc7T7m8sl7raUlrarSM0Snjruo1ICHU=";
hash = "sha256-RvD/aeZrvltJiuAHqYMNaRsjLgTdcC1/5zqlcd4qKAA=";
};
installPhase = ''