diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-02-01 14:31:25 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-01 15:09:57 +0100 |
| commit | a08c191b0d3b46b2f2fd9f106e5731d97fd7d029 (patch) | |
| tree | c3c2e3afb3f6e9b085c3bc6e4dc87502fed50355 /dev-python/cjkwrap | |
| parent | dev-lang/dafny-bin: drop old 3.9.0-r1 (diff) | |
| download | gentoo-a08c191b0d3b46b2f2fd9f106e5731d97fd7d029.tar.gz gentoo-a08c191b0d3b46b2f2fd9f106e5731d97fd7d029.tar.bz2 gentoo-a08c191b0d3b46b2f2fd9f106e5731d97fd7d029.zip | |
dev-lang/dafny-bin: drop old 3.9.1-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/cjkwrap')
0 files changed, 0 insertions, 0 deletions