(@debian people: copying the devs of ISSE here) Hi Nicholas, Gautham and Ge,
there is a current discussion about getting ISSE in the debian repo as you can read on https://bugs.debian.org/825137
It would great if you can comment on the "is it dead or alive upstream ?" part of the discussion.
By advance, Thanks Olivier
