diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
commit | 0f558761aa2dee1017b4751e4017205e015a9560 (patch) | |
tree | 037df795519468a25d9362b4e95cdaeb84eb1cf9 /sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | |
parent | 752d6256e5204b958b0ef7905675a940b5e9172f (diff) |
gentoo resync : 29.12.2022
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild')
-rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 986e7bf497fd..fd2397eb1b04 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -56,19 +56,9 @@ PATCHES=( ) QA_FLAGS_IGNORED=( - /usr/lib64/why3/commands/why3shell.cmxs - /usr/lib64/why3/commands/why3extract.cmxs - /usr/lib64/why3/commands/why3execute.cmxs - /usr/lib64/why3/commands/why3prove.cmxs - /usr/lib64/why3/commands/why3wc.cmxs - /usr/lib64/why3/commands/why3doc.cmxs - /usr/lib64/why3/commands/why3replay.cmxs - /usr/lib64/why3/commands/why3webserver.cmxs - /usr/lib64/why3/commands/why3pp.cmxs - /usr/lib64/why3/commands/why3show.cmxs - /usr/lib64/why3/plugins/'.*'.cmxs - /usr/lib64/ocaml/why3/why3.cmxs - /usr/lib64/ocaml/why3/why3extract.cmxs + '/usr/lib.*/why3/commands/.*cmxs' + '/usr/lib.*/why3/plugins/.*cmxs' + '/usr/lib.*/ocaml/why3/.*cmxs' /usr/bin/why3 /usr/bin/why3config.cmxs /usr/bin/why3session.cmxs |