Merge pull request #49112 from erictapen/mapmap-broken

mapmap: mark broken
This commit is contained in:
Jörg Thalheim 2018-10-25 17:39:46 +01:00 committed by GitHub
commit 5a59d8a354
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -57,6 +57,8 @@ mkDerivation rec {
license = licenses.gpl3;
maintainers = [ maintainers.erictapen ];
platforms = platforms.linux;
# binary segfaults at the moment
broken = true;
};
}