diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2019-10-07 09:20:27 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-17 23:48:10 -0500 |
| commit | a4371ea9e4dd0f7a289420fed7a5dd408fc90f54 (patch) | |
| tree | d3cfca7999d81ce6e2ccb4ad4132b884e772698d /development/odb/odb_gcc6.patch | |
| parent | 0511b228dbc36f8e32f9d5f9b782cccf49925ff1 (diff) | |
development/ocamlbuild: Updated for version 0.14.0.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/odb/odb_gcc6.patch')
0 files changed, 0 insertions, 0 deletions