diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-01-12 01:48:42 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-12 02:23:40 +0100 |
| commit | c0916c566e65101186abaa59fb0329a92f93072a (patch) | |
| tree | 8da29d7f2c8d5d760c47599b3a67fa917a5206c7 /net-misc/chrome-remote-desktop | |
| parent | sci-mathematics/coq-serapi: drop old 0.15.0-r3 (diff) | |
| download | gentoo-c0916c566e65101186abaa59fb0329a92f93072a.tar.gz gentoo-c0916c566e65101186abaa59fb0329a92f93072a.tar.bz2 gentoo-c0916c566e65101186abaa59fb0329a92f93072a.zip | |
sci-mathematics/cryptominisat: bump to 5.11.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'net-misc/chrome-remote-desktop')
0 files changed, 0 insertions, 0 deletions