summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-02-10 21:26:06 +0000
committerSam James <sam@gentoo.org>2021-02-10 21:26:31 +0000
commit25eaeaa89a82bc7cd8bcf5ccc814f0b9df88b3e3 (patch)
tree8f92dca1d8d6ae132745fd6b61626aa62d47201e /profiles
parentsys-apps/memtest86-bin: bump to 9.0 (diff)
downloadgentoo-25eaeaa89a82bc7cd8bcf5ccc814f0b9df88b3e3.tar.gz
gentoo-25eaeaa89a82bc7cd8bcf5ccc814f0b9df88b3e3.tar.bz2
gentoo-25eaeaa89a82bc7cd8bcf5ccc814f0b9df88b3e3.zip
profiles/package.mask: mask =dev-ml/seq-1
Causes circular deps with opam. See: ff101b42980416c2fdee330c105cabb745bc9a42 Bug: https://bugs.gentoo.org/769725 Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask7
1 files changed, 7 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 1923d3e6f289..e4be02d85c70 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -32,6 +32,13 @@
#--- END OF EXAMPLES ---
+# Sam James <sam@gentoo.org> (2021-02-10)
+# Causes circular dep with opam
+# seq -> opam-installer -> opam-format -> re -> seq
+# See ff101b42980416c2fdee330c105cabb745bc9a42
+# bug #769725
+=dev-ml/seq-1
+
# Sergei Trofimovich <slyfox@gentoo.org> (2021-02-08)
# Abandoned upstream. Was never ported from gtk-2.
# A possible alternative is media-gfx/geeqie (gqview fork).