diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-06-29 21:35:07 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-07-02 09:55:43 +0700 |
| commit | f44b9ff44913b1b110ab485baf65d41cb80bf848 (patch) | |
| tree | 755d5d902f9a1356b895e2d052ab9208c6dafe91 /academic/eprover | |
| parent | 2e3981c3478f2b1c60b12cc800dbbcedd8331b9a (diff) | |
libraries/lxqt-build-tools: Updated for version 0.11.0.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/eprover')
0 files changed, 0 insertions, 0 deletions