diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt index ab03a797e6..9dc832dc3f 100644 --- a/pkgs/plt-services/meta/pkg-index/official/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt @@ -964,6 +964,16 @@ (for/or ([r (in-list right)]) (hash-ref seen? r #f))) +(define (string-min x y) + (if (string<=? x y) + x + y)) + +(define (string-max x y) + (if (string