diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 22:16:13 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:09 +0700 |
commit | 812e700fe94bd869af5399a4010e8d00d9ab6734 (patch) | |
tree | da153d16a6ba6dcfbfa735ca395c05c4e55ca889 /accessibility/picospeaker | |
parent | 6a37a4b4b61e6c0d9df23056e4cbc0b5e6f104ec (diff) |
development/ocaml: Updated for version 4.13.1.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'accessibility/picospeaker')
0 files changed, 0 insertions, 0 deletions