diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-01-31 00:47:05 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-01-31 01:06:30 +0100 |
| commit | bcde67cec78708eaa3ef9726fe0f54546bbe1fcd (patch) | |
| tree | 999e2d596af61390bc9c360e0cffd3078adc5a5a /profiles/package.mask | |
| parent | dev-ada/gnatcoll-db: Remove last-rited pkg (diff) | |
| download | gentoo-bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.tar.gz gentoo-bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.tar.bz2 gentoo-bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.zip | |
dev-ada/gps: Remove last-rited pkg
Closes: https://bugs.gentoo.org/708186
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles/package.mask')
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 007a2a0f8355..c87edc6eccf5 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -349,7 +349,6 @@ dev-lang/spark dev-ada/langkit dev-ada/libadalang dev-ada/libadalang-tools -dev-ada/gps # Mart Raudsepp <leio@gentoo.org> (2020-08-15) # Development release, needs testing to ensure valac-0.50 @@ -357,10 +356,6 @@ dev-ada/gps >=dev-libs/vala-common-0.49 dev-lang/vala:0.50 -# Michał Górny <mgorny@gentoo.org> (2020-07-28) -# Masked for the time being due to dep on LLVM 8. Bug #720236. -<=dev-ada/gps-2019-r1 - # Sam James <sam@gentoo.org> (2020-07-20) # Serious security vulnerabilities, including # remote code execution. Upstream have not yet |