diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-05 16:54:43 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-05 17:49:04 +0100 |
| commit | d183259514708e72993ca57372db6e5cbf5e4a04 (patch) | |
| tree | 4cf3eefbbc931201be72f457baff5a4b9dc4067e /tactics/tactics.ml | |
| parent | 15331729aaab16678c2f7e29dd391f72df53d76e (diff) | |
Fix failing packaging job.
gtksourceview depends transitively on py2cairo which was updated in
Homebrew to depend explicitly on python2 (see Homebrew/homebrew-core#24714):
this makes the python3 install step impossible.
We also remove the libxml2 install step which was failing in a non-fatal way.
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions