jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
88b8333750
nixpkgs/pkgs/applications/science/programming
History
Remy Goldschmidt de02110903 Added K Framework package. 
Closes https://github.com/NixOS/nixpkgs/pull/7419.
2015-04-17 16:05:00 +02:00
..
kframework Added K Framework package. 2015-04-17 16:05:00 +02:00
plm New package PLM: Programmer's Learning Machine 2015-02-13 16:06:19 +01:00