Skip to content

Commit b89e10d

Browse files
committed
haskellPackages.agda2hs: adopt
1 parent 9ea1f78 commit b89e10d

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -364,6 +364,7 @@ package-maintainers:
364364
- amazonka
365365
ncfavier:
366366
- Agda
367+
- agda2hs
367368
- irc-client
368369
- lambdabot
369370
- shake

pkgs/development/haskell-modules/hackage-packages.nix

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)