diff options
author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 18:32:12 +0100 |
---|---|---|
committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 18:32:34 +0100 |
commit | cf7e842048953efad90c7792c45c47e5923363bc (patch) | |
tree | 5ed8e639ff1c8e5a7479ea6e17a800f28238fc47 /testing/mapserver | |
parent | d355a50f58b54a4d2f4ef37af7bf36149b7cdc3f (diff) | |
download | aports-cf7e842048953efad90c7792c45c47e5923363bc.tar.bz2 aports-cf7e842048953efad90c7792c45c47e5923363bc.tar.xz |
testing/ocaml-menhir: downgrade to 20171013
I need this version for reason aport.
Diffstat (limited to 'testing/mapserver')
0 files changed, 0 insertions, 0 deletions