| Summary: | dev-ada/gnatcoll-{bindings,db}: need py3 port | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
| Component: | Current packages | Assignee: | Gentoo Linux ADA team <ada> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | treecleaner |
| 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-08-02 13:37:59 UTC
ping. The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4366c349561aa0de2746ac44ecda5260028f635d commit 4366c349561aa0de2746ac44ecda5260028f635d Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2021-01-30 23:46:39 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2021-01-31 00:06:29 +0000 dev-ada/gnatcoll-db: Remove last-rited pkg Closes: https://bugs.gentoo.org/735262 Signed-off-by: Michał Górny <mgorny@gentoo.org> dev-ada/gnatcoll-db/Manifest | 1 - .../files/gnatcoll-db-2018-gentoo.patch | 11 -- dev-ada/gnatcoll-db/gnatcoll-db-2019.ebuild | 119 --------------------- dev-ada/gnatcoll-db/metadata.xml | 29 ----- profiles/package.mask | 1 - 5 files changed, 161 deletions(-) |