nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-29 00:04:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
553,416 Commits 197 Branches 125 Tags 7.1 GiB
6e1beb3b15
Commit Graph

2 Commits

Author SHA1 Message Date
Naïm Favier
170a9778b4
agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11 2023-10-24 20:34:06 +02:00
Naïm Favier
8c9c19b5a9
agdaPackages._1lab: init at unstable-2023-03-07 
https://github.com/plt-amy/1lab
 2023-08-06 12:49:13 +02:00