diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2020-05-09 20:14:23 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-17 23:48:09 -0500 |
| commit | 3c7420c02147b1d3d8830f3abb9ba2be01cc37aa (patch) | |
| tree | cd91c72ef74376d77337f356ef4093fdb7629183 /.gitignore | |
| parent | 6967cb342a93c146777d30967881c0195dfd851e (diff) | |
| download | slackbuilds-3c7420c02147b1d3d8830f3abb9ba2be01cc37aa.tar.gz | |
development/ocaml: Updated for version 4.08.1, changed maintainer.
Pass -fcommon for gcc >= 10.x
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions