diff options
author | Andreas Sturmlechner <asturm@gentoo.org> | 2020-07-07 22:42:10 +0200 |
---|---|---|
committer | Andreas Sturmlechner <asturm@gentoo.org> | 2020-07-07 23:30:01 +0200 |
commit | 2273c36814d10592e272dc7af6c289cc2f498aa9 (patch) | |
tree | c9e15b208e1f59347e734e92d3f2faf14c76f0dd /sci-mathematics/agda-lib-ffi | |
parent | kde-plasma/plasma-desktop: 5.19.3 version bump (diff) | |
download | gentoo-2273c36814d10592e272dc7af6c289cc2f498aa9.tar.gz gentoo-2273c36814d10592e272dc7af6c289cc2f498aa9.tar.bz2 gentoo-2273c36814d10592e272dc7af6c289cc2f498aa9.zip |
kde-plasma/plasma-integration: 5.19.3 version bump
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda-lib-ffi')
0 files changed, 0 insertions, 0 deletions