nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 20:54:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,971 Commits 458 Branches 81 Tags
python-updates
Commit Graph

3 Commits

Author SHA1 Message Date
Ihar Hrachyshka
567e8dfd8e treewide: clean up 'meta = with' pattern 
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
 2025-12-10 18:09:49 +01:00
sternenseemann
2053ef9822 agdaPackages.agda2hs-base: don't hard code agda2hs source name 
fetchFromGitHub always results in "source" as sourceRoot, but this is
not true when e.g. using the Hackage tarball.
 2025-10-06 15:03:04 +02:00
wrvsrx
87eee1f308 agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25 2025-10-02 14:57:21 +08:00