nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 02:42:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
00a41ebbc1
nixpkgs/pkgs/development/libraries/mps
History
Herwig Hochleitner 5d4f0de689 mps: 1.116.0 -> 1.117.0
2019-01-10 18:25:41 +01:00
..
default.nix mps: 1.116.0 -> 1.117.0 2019-01-10 18:25:41 +01:00