diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 20:57:39 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:08 +0700 |
| commit | 70838d5b28c07d6e051b21ee7b800582cf97039d (patch) | |
| tree | e380850a782dd565a85cce4de8505e350db19fe8 /development/camlp5 | |
| parent | ae4207b5c1324e721d1f384c5f7ee3e9e1a76583 (diff) | |
development/camlp4: Updated for version 4.13.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/camlp5')
0 files changed, 0 insertions, 0 deletions