diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 6c3bea7798..441974d503 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -676,6 +676,9 @@ plt-extras :+= (package: "schemeunit/") ;; -------------------- racklog (aka schelog) plt-extras :+= (package: "racklog/") +;; -------------------- datalog +plt-extras :+= (package: "datalog/") + ;; ============================================================================ ;; Readme header