change #package_version output

leanprover-community · Nov 20, 2023 · b5c0895 · b5c0895
1 parent 1e4571e
commit b5c0895
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/LeanProject/Webeditor/Tools/PackageVersion.lean b/server/LeanProject/Webeditor/Tools/PackageVersion.lean
@@ -39,7 +39,7 @@ def getPackageVersions : IO String := do
         s!"{name}:\nlocal package"
       | .git name _ _ _ url rev _ _ =>
         let rev := rev.slice 0 7
-        s!"{name}:\n{rev} ({url}/commit/{rev})")
+        s!"{name}:\n{rev}\n{url}/commits/{rev}")
     return "\n\n".intercalate out
 
 /-- Print the lean version and all available packages. -/