diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-07-24 13:27:33 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-07-24 13:30:57 +0200 |
| commit | 7b64536d217519a42208fd9b930b518dca399a5b (patch) | |
| tree | 49fa3dd4bba4865e05975617cd84364dd3eae4fb /profiles | |
| parent | dev-ml/comparelib: Remove last-rited pkg, #586904 (diff) | |
| download | gentoo-7b64536d217519a42208fd9b930b518dca399a5b.tar.gz gentoo-7b64536d217519a42208fd9b930b518dca399a5b.tar.bz2 gentoo-7b64536d217519a42208fd9b930b518dca399a5b.zip | |
dev-ml/deriving-ocsigen: Remove last-rited pkg, #586906
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 2119f238cb80..e3f2f1f244cc 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -238,10 +238,8 @@ media-video/motion # Michał Górny <mgorny@gentoo.org> (25 Jun 2016) # Obsolete packages for removal in 30 days. Replacements and bugs: -# dev-ml/deriving-ocsigen -> dev-ml/deriving, #586906 # dev-ml/faillib -> dev-ml/ppx_fail, #586912 # dev-ml/typehashlib -- not used anymore, #586928 -dev-ml/deriving-ocsigen dev-ml/faillib dev-ml/typehashlib |