ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-17 06:06:13 +03:00
Code Issues Projects Releases Wiki Activity
48ae3b195f
nixpkgs/pkgs/development/libraries/agda
History
Mateusz Kowalczyk 1451a52a38 Remove myself (fuuzetsu) from maintainer lists 
I haven't been doing any maintenance for a long time now and not only
do I get notified, it also creates a fake impression that all these
packages had at least one maintainer when in practice they had none.
2019-12-05 16:29:48 +09: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 Remove myself (fuuzetsu) from maintainer lists 2019-12-05 16:29:48 +09: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