From 96100af3781c3add9c8b4550ba898ad11ed2dadb Mon Sep 17 00:00:00 2001
From: Simon Binder <oss@simonbinder.eu>
Date: Tue, 25 Jul 2023 13:55:44 +0200
Subject: [PATCH] Fix extraction script

---
 tool/extract_all_pub_dev.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/extract_all_pub_dev.dart b/tool/extract_all_pub_dev.dart
index 930172348..58f421308 100644
--- a/tool/extract_all_pub_dev.dart
+++ b/tool/extract_all_pub_dev.dart
@@ -19,7 +19,7 @@ import 'package:pub/src/log.dart' as log;
 const statusFilename = 'extract_all_pub_status.json';
 
 Future<List<String>> allPackageNames() async {
-  var nextUrl = Uri.https('pub.dev', 'api/packages?compact=1');
+  var nextUrl = Uri.https('pub.dev', 'api/packages', {'compact': '1'});
   final request = http.Request('GET', nextUrl);
   request.attachMetadataHeaders();
   final response = await globalHttpClient.fetch(request);