nixpkgs/pkgs/applications/science/programming
2015-04-28 10:55:20 +02:00
..
kframework Fixed some descriptions 2015-04-28 10:55:20 +02:00
plm New package PLM: Programmer's Learning Machine 2015-02-13 16:06:19 +01:00