diff --git a/develversion.conf b/develversion.conf
index b37c56e..b3b56db 100644
--- a/develversion.conf
+++ b/develversion.conf
@@ -1,4 +1,3 @@
-als-dkms
 buildhosts-git
 cheat-bash-git
 cjdns-git