Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: fix NOTPARALLELAlfredo Tupone2023-04-031-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: disable shuffleAlfredo Tupone2023-04-022-0/+12
| | | | | Closes: https://bugs.gentoo.org/883167 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: drop 2020Alfredo Tupone2023-04-023-148/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: stabilize 2021-r1 for amd64Alfredo Tupone2023-04-021-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: drop 2019-r3Alfredo Tupone2023-04-024-170/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: stabilize 2020 for amd64Alfredo Tupone2023-04-021-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: require lablgtk-2Alfredo Tupone2023-03-311-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12Alfredo Tupone2022-11-262-9/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: use httpsMichael Mair-Keimberger2022-07-263-3/+3
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Closes: https://github.com/gentoo/gentoo/pull/26610 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: refix QA_FLAGSAlfredo Tupone2022-06-271-3/+3
| | | | | | Closes: https://bugs.gentoo.org/854555 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: ignore some QA warningsAlfredo Tupone2022-06-271-13/+3
| | | | | | Closes: https://bugs.gentoo.org/837278 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: add USE to select sexpAlfredo Tupone2022-03-112-28/+40
| | | | | | Closes: https://bugs.gentoo.org/834881 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: remove unused patchMichael Mair-Keimberger2022-02-101-25/+0
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/24147 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: ignore CFLAGSAlfredo Tupone2022-02-071-12/+14
| | | | | | Closes: https://bugs.gentoo.org/799245 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: works with new ocaml tooAlfredo Tupone2022-02-071-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: duplicate depsAlfredo Tupone2022-02-071-1/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: fix doc depsAlfredo Tupone2022-02-071-1/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: drop old versionAlfredo Tupone2022-02-064-78/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: UnusedInheritsAlfredo Tupone2021-09-181-2/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/why3-for-spark: enabled hypothesis-selectionAlfredo Tupone2021-06-292-2/+12
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: disable hypothesis-selectionAlfredo Tupone2021-06-291-0/+1
| | | | | | Closes: https://bugs.gentoo.org/799173 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2021Alfredo Tupone2021-06-123-0/+152
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: fix depAlfredo Tupone2021-02-101-1/+1
| | | | | | Closes: https://bugs.gentoo.org/769845 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2020Alfredo Tupone2021-02-095-0/+173
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: Remove oldJakov Smolic2021-01-202-153/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/why3-for-spark: update OCaml depsSam James2021-01-174-30/+30
| | | | | | | | | | | | | * We need := for OCaml deps to ensure we're rebuilt when they update for consistency, to prevent strange issues. * Use ocamlopt= rather than ocamlopt? in the dev-lang/ocaml dependency to ensure ocamlopt is consistently on/off throughout the system. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versionsSam James2021-01-174-8/+8
| | | | | | See: https://gitlab.inria.fr/why3/why3/-/blob/master/CHANGES.md#version-121-october-28-2019 Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: fix broken linksAlfredo Tupone2020-06-151-2/+4
| | | | | | Closes: https://bugs.gentoo.org/728334 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: fix broken symlinkAlfredo Tupone2020-06-141-1/+1
| | | | | | Closes: https://bugs.gentoo.org/728176 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: fix flags and compressionAlfredo Tupone2020-06-122-0/+144
| | | | | | | 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>
* sci-mathematics/why3-for-spark: use CCAlfredo Tupone2020-05-271-0/+10
| | | | | | Closes: https://bugs.gentoo.org/725598 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: profiling is not more supported by newer ocamlTupone Alfredo2020-01-171-2/+1
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtkTupone Alfredo2020-01-161-1/+1
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: Needs a newer coq versionTupone Alfredo2020-01-151-1/+1
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: use ocaml-4.09Tupone Alfredo2020-01-141-0/+78
| | | | | | Closes: https://bugs.gentoo.org/705072 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-113-0/+91
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
| | | | | | Closes: Closes: https://github.com/gentoo/gentoo/pull/11528 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-153-86/+2
| | | | | | Closes: https://bugs.gentoo.org/680312 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-162-4/+4
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-133-0/+101
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458Tupone Alfredo2018-03-271-5/+2
| | | | Package-Manager: Portage-2.3.24, Repoman-2.3.6
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
|
* sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.Tupone Alfredo2017-11-061-1/+1
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Add ocamlopt use flagTupone Alfredo2017-11-041-2/+10
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Install librariesTupone Alfredo2017-11-041-0/+1
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-012-1/+27
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: remove extra --disable-zipTupone Alfredo2017-10-251-1/+0
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Add zip use flagsTupone Alfredo2017-10-242-3/+6
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3