Summary: | dev-ada/gps missing py3 support | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
Component: | Current packages | Assignee: | Gentoo Linux ADA team <ada> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | dev |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 694800 |
Description
Michał Górny
2020-02-04 04:34:37 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 Ping. 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(-) |