Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 708186 - dev-ada/gps missing py3 support
Summary: dev-ada/gps missing py3 support
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: py3-tracker, python-3-incompatible
  Show dependency tree
 
Reported: 2020-02-04 04:34 UTC by Michał Górny
Modified: 2021-01-31 00:07 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 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2020-02-04 04:34:37 UTC 
dev-ada/gps is now blocking py2 removal from jedi -> parso.  Please port it to py3 or look into lastriting it.
Comment 1 Tupone Alfredo gentoo-dev 2020-02-06 07:51:59 UTC 
My short term plan is to version bump gnat-suite-bin (the binary package that contains all) and last rite it
My long term is pushing adacore to add py3 and readding again.

This is true for all ada packages that needs python
Comment 2 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2020-07-12 15:30:48 UTC 
Ping.
Comment 3 Larry the Git Cow gentoo-dev 2021-01-31 00:07:47 UTC 
The bug has been closed via the following commit(s):

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

commit bcde67cec78708eaa3ef9726fe0f54546bbe1fcd
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2021-01-30 23:47:05 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2021-01-31 00:06:30 +0000

    dev-ada/gps: Remove last-rited pkg
    
    Closes: https://bugs.gentoo.org/708186
    Signed-off-by: Michał Górny <mgorny@gentoo.org>

 dev-ada/gps/Manifest                    |   4 --
 dev-ada/gps/files/gps-2019-gentoo.patch |  77 ---------------------
 dev-ada/gps/gps-2019-r1.ebuild          | 114 --------------------------------
 dev-ada/gps/metadata.xml                |  12 ----
 profiles/package.mask                   |   5 --
 5 files changed, 212 deletions(-)