diff options
| author | Ismael Luceno | 2022-06-04 16:29:15 +0200 |
|---|---|---|
| committer | Ismael Luceno | 2022-06-04 16:31:19 +0200 |
| commit | 5e62db6e24bf8a0983eae082bb2c372db3dc5b7c (patch) | |
| tree | 00a1ed0c5f1e4ac363b366aac27d96787f19228f /x11-libs | |
| parent | b3752ee00ddc5fe978cc3ed91cda940497ece0ce (diff) | |
camlp5: Add dep on camlp-streams
Diffstat (limited to 'x11-libs')
0 files changed, 0 insertions, 0 deletions