Ryan Orendorff 2d2146b1fe agda-stdlib: list as not broken on Darwin (#76485)

2019-12-25 21:22:29 +02:00

..

agda-base

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

agda-iowa-stdlib

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

agda-prelude

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

Agda-Sheaves

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

agda-stdlib

agda-stdlib: list as not broken on Darwin (#76485)

2019-12-25 21:22:29 +02:00

bitvector

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

categories

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

pretty

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00

TotalParserCombinators

Remove myself (fuuzetsu) from maintainer lists

2019-12-05 16:29:48 +09:00