Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

upstream Agora extras

Browse source
This commit is contained in:
Peter Dragos 2022-03-24 19:15:10 -04:00
parent 0f602de040
commit d28ee8c928
4 changed files with 13 additions and 88 deletions
Download patch file Download diff file Expand all files Collapse all files

3
agora.cabal
View file

@ -95,6 +95,7 @@ common deps
, data-default-class
, generics-sop
, plutarch
, plutarch-extra
, plutus-core
, plutus-ledger-api
, plutus-tx
@ -128,8 +129,6 @@ library
other-modules:
Agora.Utils
Agora.Utils.Value
Plutarch.Api.V1.These
Plutarch.These
hs-source-dirs: agora