diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:53:20 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:53:20 -0500 |
commit | 226977ffdb27d585aac58cb7adf31c4d4f96c6e0 (patch) | |
tree | bff09cb9dcef9f3858b613fc7d2e9633247a3a6c /libre | |
parent | b4b9cf48a9ebef33d696428f788f9c46ce8e9568 (diff) | |
download | abslibre-226977ffdb27d585aac58cb7adf31c4d4f96c6e0.tar.gz abslibre-226977ffdb27d585aac58cb7adf31c4d4f96c6e0.tar.bz2 abslibre-226977ffdb27d585aac58cb7adf31c4d4f96c6e0.zip |
Removing ocaml-result: This package is in [extra] repo
Diffstat (limited to 'libre')
0 files changed, 0 insertions, 0 deletions