diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2024-02-10 14:39:45 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-02-10 17:24:49 +0100 |
| commit | ddfc17b77a56706feee2307d495746aa05c3ea59 (patch) | |
| tree | 3e65e837e8a721a9cf544ead9074e09fe8ddea8f /dev-python/clang-python | |
| parent | 03a11e163b2fc6906ab7c9b3d7326c3f4d817933 (diff) | |
| download | gentoo-ddfc17b77a56706feee2307d495746aa05c3ea59.tar.gz gentoo-ddfc17b77a56706feee2307d495746aa05c3ea59.tar.bz2 gentoo-ddfc17b77a56706feee2307d495746aa05c3ea59.zip | |
dev-lang/dafny: drop old 4.3.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/clang-python')
0 files changed, 0 insertions, 0 deletions