pkg-info-orig-info seems to also possibly be (cons 'file ...).

2013-05-11 19:45:59 -05:00 · 2013-05-11 19:45:59 -05:00 · 9da1d9ca00
commit 9da1d9ca00
parent 20e74c40bc
1 changed files with 2 additions and 1 deletions
--- a/collects/pkg/gui/by-installed.rkt
+++ b/collects/pkg/gui/by-installed.rkt
@ -163,6 +163,7 @@
                      (case (car s)
                        [(catalog) "Catalog"]
                        [(url) "URL"]
-                        [(link) "Link"])
+                        [(link) "Link"]
+                        [(file) "File"])
                      (cadr s))))
      (adjust-buttons!))))