Merge pull request #146323 from AndersonTorres/new-misc

plan9port: quick&dirty fixup
This commit is contained in:
Anderson Torres 2021-11-18 10:06:01 -03:00 committed by GitHub
commit 9592d12799
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,7 +14,7 @@
stdenv.mkDerivation {
pname = "plan9port";
version = "0.pre+date=2021-10-19";
version = "2021-10-19";
src = fetchFromGitHub {
owner = "9fans";
@ -101,6 +101,7 @@ stdenv.mkDerivation {
kovirobi
];
platforms = platforms.unix;
broken = stdenv.isDarwin;
};
}
# TODO: investigate the mouse chording support patch