diff options
| author |   Michael Palimaka <kensington@gentoo.org> | 2015-12-28 05:56:46 +1100 |
|---|---|---|
| committer | Michael Palimaka <kensington@gentoo.org> | 2015-12-28 05:56:57 +1100 |
| commit | 9050abc103298068895ec0ef83d55dfe4837e721 (patch) | |
| tree | ec362b0d7df8515a29807470cafbd7e70a9c0715 | |
| parent | media-radio/cwdaemon: Version bump (diff) | |
| download | gentoo-9050abc103298068895ec0ef83d55dfe4837e721.tar.gz gentoo-9050abc103298068895ec0ef83d55dfe4837e721.tar.bz2 gentoo-9050abc103298068895ec0ef83d55dfe4837e721.zip | |
dev-util/pmk: mask for removal
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 565cc557c6d4..93acc32dde87 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Michael Palimaka <kensington@gentoo.org> (27 Dec 2015) +# Fails to build. Dead upstream. Masked for removal in 30 days. +# Bug 541522 +dev-util/pmk + # Mikle Kolyada <zlogene@gentoo.org> (26 Dec 2015) # Dead upstream (last activity in 2003) # Nothing in the tree depends on it |