diff options
| author | Arn0 <yth@ythogtha.org> | 2023-09-21 09:02:42 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-09-23 08:42:59 +0700 |
| commit | de9b1bf4b12cd97b585a64d7318f76ee3d676ca0 (patch) | |
| tree | f15775b6ccf3187fab4fe7960f5bba8ae8b44d78 /academic/yices2 | |
| parent | 4d827ae812f9ebec5c6b073754722e0dbf33a32e (diff) | |
libraries/hoel: updated for version 1.4.28
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/yices2')
0 files changed, 0 insertions, 0 deletions