diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2021-10-26 12:30:47 +0200 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2021-10-26 12:35:57 +0200 |
| commit | e134facfbf7d2789dfe8767e4a87d53a83348132 (patch) | |
| tree | ea09364140bbcc92a0734de13cc35e1b574b483a /profiles | |
| parent | dev-python/python-jwt: treeclean (diff) | |
| download | gentoo-e134facfbf7d2789dfe8767e4a87d53a83348132.tar.gz gentoo-e134facfbf7d2789dfe8767e4a87d53a83348132.tar.bz2 gentoo-e134facfbf7d2789dfe8767e4a87d53a83348132.zip | |
dev-python/theano-pymc: treeclean
Closes: https://bugs.gentoo.org/764185
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 6189e590f09c..b8d0d7da5cf0 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -507,7 +507,6 @@ virtual/httpd-php:8.1 # No reverse dependencies. # Removal on 2021-10-25. dev-python/theano -dev-python/theano-pymc # Mart Raudsepp <leio@gentoo.org> (2021-09-24) # Experimental split media-sound/pulseaudio packages, bug #536780. |