Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 947222 - dev-lang/spark: package newer version
Summary: dev-lang/spark: package newer 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-30 16:08 UTC by Sam James
Modified: 2025-02-13 18:01 UTC (History)
1 user (show)

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-30 16:08:35 UTC 
We should package a newer version of dev-lang/spark from https://github.com/AdaCore/spark2014.

It looks like https://alire.ada.dev/crates/gnatprove versions it roughly like GCC versions(?) as they use '14.1.1', but gnatprove is not part of GCC.
Comment 1 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2024-12-30 16:09:39 UTC 
We have to use the 'fsf' branch, I think.
Comment 2 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2025-02-13 18:01:34 UTC 
commit 3010edcdaad2fb5979f46c373da4985c729e427e
Author: Alfredo Tupone <tupone@gentoo.org>
Date:   Tue Feb 11 18:27:56 2025 +0100

    dev-lang/spark: add 2024.01.11

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