diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:48:07 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:48:07 -0500 |
commit | b4b9cf48a9ebef33d696428f788f9c46ce8e9568 (patch) | |
tree | e273b6f93fd61a04ca518de8a8cd16b0b822cc48 /pcr/ocaml-result/PKGBUILD | |
parent | 68f4a6b6f39e4e6232767730eb1289618650e420 (diff) | |
download | abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.tar.gz abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.tar.bz2 abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.zip |
Removing wdiff: This package is in [community] repo
Diffstat (limited to 'pcr/ocaml-result/PKGBUILD')
0 files changed, 0 insertions, 0 deletions