dl: add go1.25.1

Change-Id: I83dae5a12856a60e76a10bb8d98a5e13402a4172
Reviewed-on: https://go-review.googlesource.com/c/dl/+/700716
Auto-Submit: Gopher Robot <[email protected]>
Reviewed-by: Michael Pratt <[email protected]>
LUCI-TryBot-Result: Go LUCI <[email protected]>
Reviewed-by: Cherry Mui <[email protected]>

Author: gopherbot

go1.25.1/main.go

@@ -0,0 +1,24 @@
+// Copyright 2025 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// The go1.25.1 command runs the go command from Go 1.25.1.
+//
+// To install, run:
+//
+//	$ go install golang.org/dl/go1.25.1@latest
+//	$ go1.25.1 download
+//
+// And then use the go1.25.1 command as if it were your normal go
+// command.
+//
+// See the release notes at https://go.dev/doc/devel/release#go1.25.1.
+//
+// File bugs at https://go.dev/issue/new.
+package main
+
+import "golang.org/dl/internal/version"
+
+func main() {
+	version.Run("go1.25.1")
+}