[
  "agda",
  "anjuta",
  "fdroidserver",
  "predictionio",
  "sqoop",
  "visp"
]

[
  "anjuta",
  "fdroidserver",
  "predictionio",
  "sqoop",
  "visp"
]

Remove agda from dependency conflict allowlist
Remove agda from dependency conflict allowlist

The versioned dependency conflict was resolved in #67014.
