diff --git a/pkgs/plt-services/meta/pkg-index/official/static.rkt b/pkgs/plt-services/meta/pkg-index/official/static.rkt index b1684c7880..4cd28520be 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/static.rkt @@ -203,7 +203,12 @@ (hash 'success-log (pbl 'success-log) 'failure-log (pbl 'failure-log) 'dep-failure-log (pbl 'dep-failure-log) - 'conflicts-log (pbl 'conflicts-log) + 'conflicts-log + (match (pbl 'conflicts-log) + [#f #f] + [(? path-string? f) f] + [(conflicts/indirect file) + (list "indirect" file)]) 'docs (for/list ([d (in-list (or (pbl 'docs) empty))]) (match d