nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 18:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
429561978b
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