diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2024-03-29 01:24:12 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-29 04:04:54 +0100 |
| commit | 533148e0abceba84d64d7bec2d888b812486bef1 (patch) | |
| tree | b6f3ac24c7cc931a7aaa7b2902a187fad7d44d23 /dev-python | |
| parent | 7daa94e800f8ba1ed588c232be67a3aada77389a (diff) | |
| download | gentoo-533148e0abceba84d64d7bec2d888b812486bef1.tar.gz gentoo-533148e0abceba84d64d7bec2d888b812486bef1.tar.bz2 gentoo-533148e0abceba84d64d7bec2d888b812486bef1.zip | |
dev-lang/dafny-bin: restrict binary stripping
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python')
0 files changed, 0 insertions, 0 deletions