/usr/include/seqan/pipe/ is in seqan-dev 1.3.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/include/seqan/pipe/pipe_base.h
/usr/include/seqan/pipe/pipe_caster.h
/usr/include/seqan/pipe/pipe_counter.h
/usr/include/seqan/pipe/pipe_echoer.h
/usr/include/seqan/pipe/pipe_edit_environment.h
/usr/include/seqan/pipe/pipe_filter.h
/usr/include/seqan/pipe/pipe_generated_forwards.h
/usr/include/seqan/pipe/pipe_iterator.h
/usr/include/seqan/pipe/pipe_joiner.h
/usr/include/seqan/pipe/pipe_namer.h
/usr/include/seqan/pipe/pipe_sampler.h
/usr/include/seqan/pipe/pipe_shifter.h
/usr/include/seqan/pipe/pipe_source.h
/usr/include/seqan/pipe/pipe_tupler.h
/usr/include/seqan/pipe/pool_base.h
/usr/include/seqan/pipe/pool_mapper.h
/usr/include/seqan/pipe/pool_sorter.h