diff options
-rw-r--r-- | profiles/package.mask | 7 |
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). |