diff options
| author | ArTourter <artourter@gmail.com> | 2024-02-22 23:43:51 +0000 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2024-02-24 15:34:49 +0700 |
| commit | c208c35cb3d167ef47858ad7d8a8b7b32611120d (patch) | |
| tree | 81174c6998c48de74385cd9eb4c44f5770b905b7 /academic/yices2 | |
| parent | 628f31818b774bc621348473a15c0f0112d5079a (diff) | |
academic/units: Updated for version 2.23.
Signed-off-by: ArTourter <artourter@gmail.com>
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/yices2')
0 files changed, 0 insertions, 0 deletions