idris: re-generate expression with cabal2nix
This commit is contained in:
parent
984d71a9bc
commit
8d013b7561
@ -33,4 +33,4 @@ cabal.mkDerivation (self: {
|
||||
platforms = self.ghc.meta.platforms;
|
||||
maintainers = with self.stdenv.lib.maintainers; [ aycanirican ];
|
||||
};
|
||||
})
|
||||
})
|
||||
|
Loading…
Reference in New Issue
Block a user