Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 952265 - dev-ada/AdaSAT: needs porting to Python 3.13+
Summary: dev-ada/AdaSAT: needs porting to Python 3.13+
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: py3.13-tracker
  Show dependency tree
 
Reported: 2025-03-27 15:45 UTC by Michał Górny
Modified: 2025-04-05 15:06 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 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2025-03-27 15:45:34 UTC 
The package needs porting to Python 3.13.
Comment 1 Larry the Git Cow gentoo-dev 2025-04-05 15:06:09 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16cfcd5821a4e07e58a6ca63fdd6147e9bcfbb3e

commit 16cfcd5821a4e07e58a6ca63fdd6147e9bcfbb3e
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2025-04-05 15:05:39 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2025-04-05 15:05:50 +0000

    dev-ada/AdaSAT: enable py3.13
    
    Closes: https://bugs.gentoo.org/952265
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)