Hello, Thanks to Clint for uploading haskell-monadplus. agda is ready for upload in DHG_packages.git. The branches master and pristine-tar of the collab-maint agda-stdlib repo can be fast-forwarded to the corresponding branches in my repo.[1] Once monadplus and agda clear NEW, it can be uploaded. (I don't have the ability to push to the collab-maint repo myself.) [1] https://git.spwhitton.name/agda-stdlib -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature