diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 23:05:30 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 02:17:25 +0100 |
| commit | 6cca9ba40d61313fd59d34ff6138f8884a26ef51 (patch) | |
| tree | c61423dc69ad7bfbf31c7a872473ac4ea016c7d8 /community/paper-icon-theme | |
| parent | 500d952707ca2e8896377b44dea15cc3388ad6d5 (diff) | |
| download | aports-6cca9ba40d61313fd59d34ff6138f8884a26ef51.tar.bz2 aports-6cca9ba40d61313fd59d34ff6138f8884a26ef51.tar.xz | |
community/ocaml: upgrade to 4.06.0
Diffstat (limited to 'community/paper-icon-theme')
0 files changed, 0 insertions, 0 deletions