sci-mathematics/why3-for-spark – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2025-02-07
- sci-mathematics/why3-for-spark: add 2023.12.13
  1eea6c6
  Alfredo Tupone committed on 2025-02-07 20:56:27 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2023.12.13-flags.patchsci-mathematics/why3-for-spark/why3-for-spark-2023.12.13.ebuildsci-mathematics/why3-for-spark/Manifest
Commits on 2024-12-31
- sci-mathematics/why3-for-spark: fix whitespace in metadata.xml
  f26c248
  Sam James committed on 2024-12-31 16:59:31 UTC
  sci-mathematics/why3-for-spark/metadata.xml
- sci-mathematics/why3-for-spark: add github upstream metadata
  d1fd3ef
  Sam James committed on 2024-12-31 16:53:39 UTC
  sci-mathematics/why3-for-spark/metadata.xml
- sci-mathematics/why3-for-spark: update HOMEPAGE
  662149e
  Sam James committed on 2024-12-31 16:53:38 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
Commits on 2024-12-15
- sci-mathematics/why3-for-spark: drop myself as a maintainer
  8cd7407
  Alfredo Tupone committed on 2024-12-15 07:36:40 UTC
  sci-mathematics/why3-for-spark/metadata.xml
Commits on 2024-11-28
- sci-mathematics/why3-for-spark: VariableOrderWrong
  920389a
  Alfredo Tupone committed on 2024-11-28 18:47:52 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
Commits on 2023-12-29
- sci-mathematics/why3-for-spark: require ocamlopt
  d58c273
  Alfredo Tupone committed on 2023-12-29 22:43:55 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
Commits on 2023-04-03
- sci-mathematics/why3-for-spark: fix NOTPARALLEL
  8a158de
  Alfredo Tupone committed on 2023-04-03 06:21:06 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch
Commits on 2023-04-02
- sci-mathematics/why3-for-spark: disable shuffle
  8395f9b
  Alfredo Tupone committed on 2023-04-02 21:05:02 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patchsci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
- sci-mathematics/why3-for-spark: drop 2020
  aea6560
  Alfredo Tupone committed on 2023-04-02 14:22:57 UTC
  sci-mathematics/why3-for-spark/Manifestsci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patchsci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
- sci-mathematics/why3-for-spark: stabilize 2021-r1 for amd64
  2dd73ad
  Alfredo Tupone committed on 2023-04-02 13:21:16 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
- sci-mathematics/why3-for-spark: drop 2019-r3
  dd5f5eb
  Alfredo Tupone committed on 2023-04-02 12:48:09 UTC
  sci-mathematics/why3-for-spark/Manifestsci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patchsci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patchsci-mathematics/why3-for-spark/why3-for-spark-2019-r3.ebuild
- sci-mathematics/why3-for-spark: stabilize 2020 for amd64
  e3e8e81
  Alfredo Tupone committed on 2023-04-02 11:25:32 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
Commits on 2023-03-31
- sci-mathematics/why3-for-spark: require lablgtk-2
  e361aaf
  Alfredo Tupone committed on 2023-03-31 13:12:44 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r3.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
Commits on 2022-11-26
- sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12
  132e6e5
  Alfredo Tupone committed on 2022-11-26 13:46:56 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
Commits on 2022-07-26
- sci-mathematics/why3-for-spark: use https
  e6e9b60
  Michael Mair-Keimberger authored and Alfredo Tupone committed on 2022-07-26 19:54:20 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2020.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
Commits on 2022-06-27
- sci-mathematics/why3-for-spark: refix QA_FLAGS
  57ec03f
  Alfredo Tupone committed on 2022-06-27 08:47:05 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
- sci-mathematics/why3-for-spark: ignore some QA warnings
  641255d
  Alfredo Tupone committed on 2022-06-27 06:19:33 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
Commits on 2022-03-11
- sci-mathematics/why3-for-spark: add USE to select sexp
  ed2328c
  Alfredo Tupone committed on 2022-03-11 21:01:12 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuildsci-mathematics/why3-for-spark/metadata.xmlsci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
Commits on 2022-02-10
- sci-mathematics/why3-for-spark: remove unused patch
  d5e5640
  Michael Mair-Keimberger authored and Alfredo Tupone committed on 2022-02-10 12:35:41 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2018-gentoo.patch
Commits on 2022-02-07
- sci-mathematics/why3-for-spark: ignore CFLAGS
  ddc4457
  Alfredo Tupone committed on 2022-02-07 21:48:12 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
- sci-mathematics/why3-for-spark: works with new ocaml too
  0dad692
  Alfredo Tupone committed on 2022-02-07 12:50:40 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
- sci-mathematics/why3-for-spark: duplicate deps
  ee91794
  Alfredo Tupone committed on 2022-02-07 09:57:19 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
- sci-mathematics/why3-for-spark: fix doc deps
  c428412
  Alfredo Tupone committed on 2022-02-07 09:55:25 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
Commits on 2022-02-06
- sci-mathematics/why3-for-spark: drop old version
  6e41217
  Alfredo Tupone committed on 2022-02-06 17:41:30 UTC
  sci-mathematics/why3-for-spark/Manifestsci-mathematics/why3-for-spark/metadata.xmlsci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
Commits on 2021-09-18
- sci-mathematics/why3-for-spark: UnusedInherits
  cf52b47
  Alfredo Tupone committed on 2021-09-18 16:51:25 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
Commits on 2021-09-11
- **/metadata.xml: Replace http by https in DOCTYPE element
  38b155f
  Ulrich Müller committed on 2021-09-11 13:22:48 UTC
  sci-mathematics/why3-for-spark/metadata.xml
Commits on 2021-06-29
- sci-mathematics/why3-for-spark: enabled hypothesis-selection
  5047348
  Alfredo Tupone committed on 2021-06-29 19:38:40 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patchsci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
- sci-mathematics/why3-for-spark: disable hypothesis-selection
  3daf7a4
  Alfredo Tupone committed on 2021-06-29 14:16:08 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
Commits on 2021-06-12
- sci-mathematics/why3-for-spark: version bump to 2021
  fa8a6b6
  Alfredo Tupone committed on 2021-06-12 18:51:46 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patchsci-mathematics/why3-for-spark/why3-for-spark-2021.ebuildsci-mathematics/why3-for-spark/Manifest
Commits on 2021-02-10
- sci-mathematics/why3-for-spark: fix dep
  5aff1bf
  Alfredo Tupone committed on 2021-02-10 17:25:02 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
Commits on 2021-02-09
- sci-mathematics/why3-for-spark: version bump to 2020
  fb6c364
  Alfredo Tupone committed on 2021-02-09 17:49:37 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2020-bibtex.patchsci-mathematics/why3-for-spark/files/why3-for-spark-2020-flags.patchsci-mathematics/why3-for-spark/files/why3-for-spark-2020-gentoo.patchsci-mathematics/why3-for-spark/why3-for-spark-2020.ebuildsci-mathematics/why3-for-spark/Manifest
Commits on 2021-01-20
- sci-mathematics/why3-for-spark: Remove old
  74b466e
  Jakov Smolic authored and David Seifert committed on 2021-01-20 10:15:57 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
Commits on 2021-01-17
- sci-mathematics/why3-for-spark: update OCaml deps
  1379597
  Sam James committed on 2021-01-17 04:10:28 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
- sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versions
  8095292
  Sam James committed on 2021-01-17 04:10:27 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
Commits on 2020-06-15
- sci-mathematics/why3-for-spark: fix broken links
  0959f5c
  Alfredo Tupone committed on 2020-06-15 17:19:49 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
Commits on 2020-06-14
- sci-mathematics/why3-for-spark: fix broken symlink
  74292be
  Alfredo Tupone committed on 2020-06-14 11:49:16 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
Commits on 2020-06-12
- sci-mathematics/why3-for-spark: fix flags and compression
  ea162b8
  Alfredo Tupone committed on 2020-06-12 21:24:23 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2019-flags.patchsci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
Commits on 2020-05-27
- sci-mathematics/why3-for-spark: use CC
  80264f6
  Alfredo Tupone committed on 2020-05-27 19:24:39 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch
Commits on 2020-01-17
- sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml
  15f19de
  Tupone Alfredo committed on 2020-01-17 10:41:07 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
Commits on 2020-01-16
- sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtk
  47cce5e
  Tupone Alfredo committed on 2020-01-16 10:09:16 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
Commits on 2020-01-15
- sci-mathematics/why3-for-spark: Needs a newer coq version
  9e87df6
  Tupone Alfredo committed on 2020-01-15 08:18:52 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
Commits on 2020-01-14
- sci-mathematics/why3-for-spark: use ocaml-4.09
  d53b71f
  Tupone Alfredo committed on 2020-01-14 07:51:42 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
Commits on 2019-12-20
- sci-mathematics/why3-for-spark: Update virtual/emacs dependency.
  6c532ec
  Ulrich Müller committed on 2019-12-20 22:48:52 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
Commits on 2019-10-11
- sci-mathematics/why3-for-spark: version bump to 2019
  7db1595
  Tupone Alfredo committed on 2019-10-11 07:28:10 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patchsci-mathematics/why3-for-spark/why3-for-spark-2019.ebuildsci-mathematics/why3-for-spark/Manifest
Commits on 2019-03-29
- sci-mathematics/why3-for-spark: remove unused patch
  1075f5c
  Tupone Alfredo committed on 2019-03-29 08:25:45 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch
Commits on 2019-03-15
- sci-mathematics/why3-for-spark: use virtual/emacs on dependency
  f043717
  Tupone Alfredo committed on 2019-03-15 07:24:59 UTC
  sci-mathematics/why3-for-spark/Manifestsci-mathematics/why3-for-spark/why3-for-spark-2018.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
Commits on 2018-12-16
- sci-mathematics/why3-for-spark: Stable
  05ca892
  Tupone Alfredo committed on 2018-12-16 08:36:37 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuildsci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
Commits on 2018-07-13
- sci-mathematics/why3-for-spark: Version bump to 2018
  a30437c
  Tupone Alfredo committed on 2018-07-13 06:49:22 UTC
  sci-mathematics/why3-for-spark/files/why3-for-spark-2018-gentoo.patchsci-mathematics/why3-for-spark/why3-for-spark-2018.ebuildsci-mathematics/why3-for-spark/Manifest
Commits on 2018-03-27
- sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458
  414f51e
  Tupone Alfredo committed on 2018-03-27 06:05:35 UTC
  sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild