diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-12-13 02:55:44 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-12-13 03:27:13 +0100 |
commit | 394afbb93c7086cdb0e39ef9e12964ca78fdf6e8 (patch) | |
tree | 474c626d93a32fbc74c06a6de82df16a6676c74d /dev-libs/rocm-comgr | |
parent | app-admin/rsyslog: bump to 8.2312.0 (diff) | |
download | gentoo-394afbb93c7086cdb0e39ef9e12964ca78fdf6e8.tar.gz gentoo-394afbb93c7086cdb0e39ef9e12964ca78fdf6e8.tar.bz2 gentoo-394afbb93c7086cdb0e39ef9e12964ca78fdf6e8.zip |
dev-lang/dafny: bump to 4.4.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-libs/rocm-comgr')
0 files changed, 0 insertions, 0 deletions