diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-27 16:06:14 +0100 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2022-02-27 22:29:05 -0600 |
| commit | 0c6f3deda218f3e3ba9f46dd7f85919f1b55037f (patch) | |
| tree | 1919c4f78b14467cdddb0120e0f3d472191204dc /academic/dakota | |
| parent | a146a1573a6534ba03e2720146185ad0f3b358cc (diff) | |
academic/cvc4: Fix download.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'academic/dakota')
0 files changed, 0 insertions, 0 deletions