nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-02 02:53:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
321,970 Commits 165 Branches 125 Tags 5.8 GiB
098d3a83a5
Commit Graph

3 Commits

Author SHA1 Message Date
Ben Siraphob
badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00