diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-10-18 19:46:19 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-10-18 19:46:19 -0500 |
| commit | c77bd260c0436582472702f2a051b0ef78b5b845 (patch) | |
| tree | 517b238a9ad7f0176c597109f2ddea06b47b62dd /pcr/ocaml-biniou | |
| parent | 3d859d72086d2a8d264226c05c2b1ea08ccaeb0b (diff) | |
| download | abslibre-c77bd260c0436582472702f2a051b0ef78b5b845.tar.gz abslibre-c77bd260c0436582472702f2a051b0ef78b5b845.tar.bz2 abslibre-c77bd260c0436582472702f2a051b0ef78b5b845.zip | |
systemd: armv7h port
Diffstat (limited to 'pcr/ocaml-biniou')
0 files changed, 0 insertions, 0 deletions