Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 947278 - sci-mathematics/why3-for-spark: package new version
Summary: sci-mathematics/why3-for-spark: package new version
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-12-31 16:52 UTC by Sam James
Modified: 2025-02-13 18:02 UTC (History)
0 users

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

Attachments
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 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2024-12-31 16:52:41 UTC 
Similar to bug 947222. I think we want to use the 'fsf' branch of https://github.com/AdaCore/why3.
Comment 1 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2025-02-13 18:02:01 UTC 
commit 5180293d985699615c664fd41f6ca48e5d3db1ff
Author: Alfredo Tupone <tupone@gentoo.org>
Date:   Tue Feb 11 18:08:37 2025 +0100

    sci-mathematics/why3-for-spark: fix for spark

    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

commit 25f41bc933d17176258a0cb7a2dcddb4b3008cb7
Author: Alfredo Tupone <tupone@gentoo.org>
Date:   Sat Feb 8 22:52:55 2025 +0100

    sci-mathematics/why3-for-spark: keyword 2023.12.13-r1 for ~arm64

    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

commit 0ce761414e3e10334c3f5b0494aafc5cb9761400
Author: Alfredo Tupone <tupone@gentoo.org>
Date:   Sat Feb 8 21:37:40 2025 +0100

    sci-mathematics/why3-for-spark: requires older coq

    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

commit 1eea6c611d6f09b6e77a2f06fdc3bf201b1b4db4
Author: Alfredo Tupone <tupone@gentoo.org>
Date:   Fri Feb 7 21:52:53 2025 +0100

    sci-mathematics/why3-for-spark: add 2023.12.13

    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>