mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 13:33:32 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge updates from master

Browse Source
This commit is contained in:
Repository mirror & CI
2023-09-18 12:46:31 +00:00
parent dc4679dc85 2398b6e32b
commit b9366918c0
75 changed files with 826 additions and 2246 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
profiles/package.mask
View File

@@ -19,11 +19,6 @@
# Removal in 30 days if no one else wants to maintain it.
games-rpg/airshipper
# Remigiusz Micielski <rmicielski@purelymail.com> (2023-08-13)
# rust-analyzer is in ::gentoo as a use flag for rust
dev-util/rust-analyzer
dev-util/rust-analyzer-bin
# Anna Vyalkova <cyber+gentoo@sysrq.in> (2023-07-18)
# Depends on removed <sci-mathematics/why3-1.5.0
sci-mathematics/frama-c-wp