-- .info --
{"Version":"v1.9.0"}
-- .mod --
// Deprecated: in example.com/deprecated/a@v1.9.0
module example.com/deprecated/a

go 1.17
-- go.mod --
// Deprecated: in example.com/deprecated/a@v1.9.0
module example.com/deprecated/a

go 1.17
-- a.go --
package a