diff options
| author |   Jonas Stein <jstein@gentoo.org> | 2017-12-10 23:47:36 +0100 |
|---|---|---|
| committer | Jonas Stein <jstein@gentoo.org> | 2017-12-10 23:52:26 +0100 |
| commit | fb956804fc33b207a5429582cd91b6c272dbba25 (patch) | |
| tree | a0dabf9e3151d0768500c0a5d156a1e48b366baf /profiles | |
| parent | app-backup/bareos: remove old version (diff) | |
| download | gentoo-fb956804fc33b207a5429582cd91b6c272dbba25.tar.gz gentoo-fb956804fc33b207a5429582cd91b6c272dbba25.tar.bz2 gentoo-fb956804fc33b207a5429582cd91b6c272dbba25.zip | |
profiles: Last rite app-arch/defluff
Last rite app-arch/defluff, because the download
site blocks certain IP blocks from downloading files, while the package
may not be mirrored.
Masked for removal on 2018-01-12
Bug: https://bugs.gentoo.org/640508
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index bef7626b94df..0db515720915 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,12 @@ #--- END OF EXAMPLES --- +# Jonas Stein <jstein@gentoo.org> (10 Dec 2017) +# Site blocks certain IP blocks from downloading files, while the package +# may not be mirrored. (bug #640508) +# Masked for removal on 2018-01-12 +app-arch/defluff + # Thomas Beierlein <tomjbe@gentoo.org> (10 Dec 2017) # Development stopped, nasty build system. # Functionality superseded by media-radio/wsjtx. |