/usr/include/seqan/pipe/ is in libseqan2-dev 2.3.2+dfsg2-4ubuntu2.
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_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