nixpkgs/pkgs/applications/science/programming
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