Hongrui Fang a54a809a05 remove field names from ProposalLock ... so that ps-bridge works correctly		2022-07-13 16:58:13 +08:00
..
Agora	remove field names from ProposalLock	2022-07-13 16:58:13 +08:00
PPrelude.hs	flake: bump plutarch-extra fork	2022-04-27 12:53:53 +02:00