diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-09 18:24:49 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-09 18:27:24 +0100 |
| commit | 20e66fe784fc00e23733ae9d59092fdeec1d6253 (patch) | |
| tree | 1db3468402b3d16c38bae86b05325645134def30 /community/ocaml/020_all_configure.patch | |
| parent | 8530b1bd92515675782ad22333ef86cc1c97754c (diff) | |
| download | aports-20e66fe784fc00e23733ae9d59092fdeec1d6253.tar.bz2 aports-20e66fe784fc00e23733ae9d59092fdeec1d6253.tar.xz | |
community/ocaml-camlp4: add -dev subpkg
Diffstat (limited to 'community/ocaml/020_all_configure.patch')
0 files changed, 0 insertions, 0 deletions