From 71aa65c33cdfd68754c827e5b08596b504299c20 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 19 Apr 2013 14:02:03 -0600 Subject: [PATCH] pkg/lib: fix `installed-pkg-names' --- collects/pkg/lib.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/pkg/lib.rkt b/collects/pkg/lib.rkt index 5a17343b2a..fb919531f6 100644 --- a/collects/pkg/lib.rkt +++ b/collects/pkg/lib.rkt @@ -1322,7 +1322,7 @@ (read-pkg-db)))) (define (installed-pkg-names #:scope [given-scope #f]) - (sort (installed-pkg-table #:scope given-scope) + (sort (hash-keys (installed-pkg-table #:scope given-scope)) string-ci<=?)) (define (pkg-config config:set key+vals)