diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-07-22 03:24:25 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-07-22 03:24:25 +0200 |
| commit | c355bfcaf66e31d9c811d77db6752be8080137e9 (patch) | |
| tree | 2d4a4d12e48c8c57d6b47908f24677cde934ad10 /kde-apps/libkdepim | |
| parent | net-misc/dropbox: drop 150.4.5000, 151.4.4304 (diff) | |
| download | gentoo-c355bfcaf66e31d9c811d77db6752be8080137e9.tar.gz gentoo-c355bfcaf66e31d9c811d77db6752be8080137e9.tar.bz2 gentoo-c355bfcaf66e31d9c811d77db6752be8080137e9.zip | |
dev-lang/dafny-bin: bump to 3.7.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'kde-apps/libkdepim')
0 files changed, 0 insertions, 0 deletions