diff --git a/pkgs/htdp-pkgs/htdp-lib/info.rkt b/pkgs/htdp-pkgs/htdp-lib/info.rkt
index 9f40178271..9c0e33e401 100644
--- a/pkgs/htdp-pkgs/htdp-lib/info.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/info.rkt
@@ -14,6 +14,7 @@
     "html-lib"
     "images-lib"
     "images-gui-lib"
+    "net-lib"
     "pconvert-lib"
     "r5rs-lib"
     "sandbox-lib"