diff --git a/loopy.xml b/loopy.xml
deleted file mode 100644
index bc261d9232a9ef19d457dc4ffa021c2431c2a3d9..0000000000000000000000000000000000000000
--- a/loopy.xml
+++ /dev/null
@@ -1,28 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<manifest>
-
-  <remote  name="github"
-          fetch="http://github.com/" />
-  <remote  name="gitlab"
-          fetch="ssh://git@gitlab.tiker.net/" />
-
-  <default revision="master"
-           remote="github"
-           sync-j="4"
-           sync-s="true" />
-
-  <project path="bin" remote="gitlab" name="inducer/akprojects-bin.git" />
-
-  <project path="pytools" name="inducer/pytools.git" />
-  <project path="pymbolic" name="inducer/pymbolic.git" />
-
-  <!-- codegen -->
-  <project path="cgen" name="inducer/cgen.git" />
-
-  <!-- GPU -->
-  <project path="pyopencl" name="pyopencl/pyopencl.git" />
-
-  <!-- infrastructure -->
-  <project path="islpy" name="inducer/islpy.git" />
-  <project path="loopy" name="inducer/loopy.git" />
-</manifest>