pav/go.mod at main · sanjit-bhat/pav · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
module github.com/sanjit-bhat/pav

go 1.26

require (
	filippo.io/edwards25519 v1.2.0
	github.com/aclements/go-moremath v0.0.0-20241023150245-c8bbc672ef66
	github.com/goose-lang/primitive v0.2.1
	github.com/goose-lang/std v0.7.0
	github.com/stretchr/testify v1.11.1
	github.com/tchajed/marshal v0.6.5
	golang.org/x/tools v0.48.0
)

tool (
	github.com/mit-pdos/perennial-cli
	github.com/mit-pdos/perennial/goose/cmd/goose
	github.com/mit-pdos/perennial/goose/cmd/proofgen
)

require (
	github.com/bahlo/generic-list-go v0.2.0 // indirect
	github.com/buger/jsonparser v1.1.2 // indirect
	github.com/davecgh/go-spew v1.1.1 // indirect
	github.com/fatih/color v1.19.0 // indirect
	github.com/inconshreveable/mousetrap v1.1.0 // indirect
	github.com/mattn/go-colorable v0.1.14 // indirect
	github.com/mattn/go-isatty v0.0.20 // indirect
	github.com/mit-pdos/perennial v0.0.0-20260506192151-f884a505d89d // indirect
	github.com/mit-pdos/perennial-cli v0.4.5-0.20260420145337-d5c25ed94721 // indirect
	github.com/pb33f/ordered-map/v2 v2.3.1 // indirect
	github.com/pelletier/go-toml/v2 v2.3.0 // indirect
	github.com/pkg/errors v0.9.1 // indirect
	github.com/pmezard/go-difflib v1.0.0 // indirect
	github.com/spf13/cobra v1.10.2 // indirect
	github.com/spf13/pflag v1.0.10 // indirect
	go.yaml.in/yaml/v4 v4.0.0-rc.3 // indirect
	golang.org/x/mod v0.38.0 // indirect
	golang.org/x/sync v0.22.0 // indirect
	golang.org/x/sys v0.47.0 // indirect
	gopkg.in/yaml.v3 v3.0.1 // indirect
)