aboutsummaryrefslogtreecommitdiff
path: root/ci/docker/gentoo/paludis-gentoo/config/package.mask
diff options
context:
space:
mode:
authorAvatar Marvin Schmidt <marv@exherbo.org> 2018-10-07 10:59:59 +0200
committerAvatar Marvin Schmidt <marv@exherbo.org> 2019-04-19 15:30:41 +0200
commit3138d45219ebf21f9ebde374cea803d3b0ef3f32 (patch)
tree5fed5759e3526c9ff63fb58748fa1199bd385982 /ci/docker/gentoo/paludis-gentoo/config/package.mask
parentc48be591595df4820d330724ee56393f9feba4ff (diff)
downloadpaludis-3138d45219ebf21f9ebde374cea803d3b0ef3f32.tar.gz
paludis-3138d45219ebf21f9ebde374cea803d3b0ef3f32.tar.xz
Improve CI setup
Diffstat (limited to 'ci/docker/gentoo/paludis-gentoo/config/package.mask')
-rw-r--r--ci/docker/gentoo/paludis-gentoo/config/package.mask1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/docker/gentoo/paludis-gentoo/config/package.mask b/ci/docker/gentoo/paludis-gentoo/config/package.mask
new file mode 100644
index 000000000..1e5cf13ad
--- /dev/null
+++ b/ci/docker/gentoo/paludis-gentoo/config/package.mask
@@ -0,0 +1 @@
+>=dev-libs/boost-1.65