aboutsummaryrefslogtreecommitdiff
path: root/academic/cvc4
diff options
context:
space:
mode:
authorEbben Aries <earies@dscp.org>2024-01-07 08:49:53 -0800
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2024-01-08 09:49:53 +0700
commit4c5d50401f1a5ec379be7636befd663c6c6082e9 (patch)
tree3a6ef1432a6aeb04887c887b03c4ceedd2b931f4 /academic/cvc4
parentf6b6a2e5cc04f4561428bf5518ad012ee34c6db0 (diff)
development/arduino-cli: Updated for version 0.35.0
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4')
0 files changed, 0 insertions, 0 deletions