diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt index 3f1b558562..5acaa8eae0 100644 --- a/pkgs/plt-services/meta/pkg-index/official/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt @@ -247,6 +247,8 @@ (member author (author->list (package-ref info 'author)))] [":no-tag:" (empty? (package-ref info 'tags))] + [(regexp #rx"^!(.*?)$" (list _ sub)) + (not (search-term-eval pkg-name info sub))] [_ (define term-rx (regexp-quote term)) (for/or ([tag (list* pkg-name (package-ref info 'tags))])