nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-26 14:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
267,632 Commits 205 Branches 125 Tags 6.7 GiB
4ceb20b49b
Commit Graph

3 Commits

Author SHA1 Message Date
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
Ben Siraphob
66e44425c6 pkgs/development/libraries: stdenv.lib -> lib 2021-01-21 19:11:02 -08:00
Ryan Orendorff
c78dc9cf5b agda-packages: add fla library at v0.1 
Adds the functional-linear-algebra library to the agda package set.
 2020-10-15 10:54:22 -06:00