Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Inherited from curry-packages |
Maintainer
|
Mar 13, 2020
Mar 13, 2020
Apr 12, 2025
| ||
Inherited from curry-packages |
Maintainer
|
Feb 23, 2016
Nov 13, 2017
Mar 04, 2025
| ||
Direct member by Michael Hanus |
Maintainer
|
Jan 29, 2020
Nov 05, 2020
Apr 10, 2025
| ||
Inherited from curry-packages |
Maintainer
|
May 03, 2017
Jun 25, 2018
Apr 23, 2025
| ||
Inherited from curry-packages |
Owner
|
Apr 28, 2015
Feb 03, 2017
Apr 23, 2025
| ||
Inherited from curry-packages |
Maintainer
|
Jun 07, 2019
Jun 24, 2019
Apr 23, 2025
|
