Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 728032 - sci-mathematics/why3-for-spark installs compressed files (manpages, documentation)
Summary: sci-mathematics/why3-for-spark installs compressed files (manpages, documenta...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-06-12 08:27 UTC by Agostino Sarubbo
Modified: 2020-06-12 21:24 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
build.log (build.log,334.62 KB, text/plain)
2020-06-12 08:27 UTC, Agostino Sarubbo 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2020-06-12 08:27:23 UTC 
@@This is an auto-filed bug@@
If you think that a different summary clarifies the issue better, feel free to change it.

Issue: sci-mathematics/why3-for-spark installs compressed files (manpages, documentation).
Discovered on: amd64
Comment 1 Agostino Sarubbo gentoo-dev 2020-06-12 08:27:28 UTC 
Created attachment 644476 [details]
build.log

build log and emerge --info
Comment 2 Larry the Git Cow gentoo-dev 2020-06-12 21:24:40 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea162b812cb64c737eba031c8fcb8bbef7a2084a

commit ea162b812cb64c737eba031c8fcb8bbef7a2084a
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2020-06-12 21:24:23 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2020-06-12 21:24:23 +0000

    sci-mathematics/why3-for-spark: fix flags and compression
    
    Closes: https://bugs.gentoo.org/728032
    Closes: https://bugs.gentoo.org/728050
    Package-Manager: Portage-2.3.99, Repoman-2.3.22
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 .../files/why3-for-spark-2019-flags.patch          |  28 +++++
 .../why3-for-spark/why3-for-spark-2019-r2.ebuild   | 116 +++++++++++++++++++++
 2 files changed, 144 insertions(+)