nixpkgs/pkgs/development/libraries/agda
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