diff --git a/layers/+lang/agda/packages.el b/layers/+lang/agda/packages.el
index 9a663839e..f6a6b51e1 100644
--- a/layers/+lang/agda/packages.el
+++ b/layers/+lang/agda/packages.el
@@ -9,7 +9,7 @@
 ;;
 ;;; License: GPLv3
 
-(setq agda-post-packages
+(setq agda-packages
       '((agda :location local)))
 
 (defun agda/init-agda ()