update opam file
commit741f6c5e39380c8061d0de6223ba9a60d89bc4fb
authorygrek <ygrek@autistici.org>
Tue, 28 Nov 2017 11:39:17 +0000 (28 13:39 +0200)
committerygrek <ygrek@autistici.org>
Tue, 28 Nov 2017 11:39:17 +0000 (28 13:39 +0200)
treead915da0d49a81967a7340a8f9d098f60fe16d88
parentec102747078dfd4ba5665e182d5858a6c858347f
update opam file
opam