Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / haskell /stack.yaml

SNAPKITTYWEST's picture

chore: push full sov-kernel-monster content from local build

9425aed verified 5 days ago

History Blame Contribute Delete

130 Bytes

	resolver: lts-22.22

	packages:
	- .

	ghc-options:
	"$everything": -fmax-worker-args=256 -O2

	flags: {}

	extra-deps: []