diff --git a/pkgs/plt-services/meta/pkg-index/official/static.rkt b/pkgs/plt-services/meta/pkg-index/official/static.rkt index 1206ae918a..a1fe3ce2c6 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/static.rkt @@ -21,10 +21,8 @@ (convert-to-json v)))] [(? number? n) n] - [#f - #f] - [#t - #t] + [(? boolean? b) + b] [(? symbol? s) (symbol->string s)] [(? keyword? s) diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html index 18fdb9b081..9a368c5723 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.html +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html @@ -14,9 +14,7 @@ jay.mccarthy@gmail.com | curate | rss | re-login | logout -