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

profiles: mask sci-mathematics/frama-c-wp

Browse Source 
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
This commit is contained in:
Anna (cybertailor) Vyalkova
2023-07-18 03:11:01 +05:00
parent 59572c59ca
commit 8744d4ee74
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
profiles/package.mask
View File

@@ -14,6 +14,10 @@
# New entries go on top.
# Anna Vyalkova <cyber+gentoo@sysrq.in> (2023-07-18)
# Depends on removed <sci-mathematics/why3-1.5.0
sci-mathematics/frama-c-wp
# Anna Vyalkova <cyber+gentoo@sysrq.in> (2023-06-17)
# Requires network to build docs.
# Removal on 2023-07-17.