about summary refs log tree commit diff
path: root/pkgs/applications/science/programming
AgeCommit message (Expand)AuthorFilesLines
2017-12-29fdr: 4.2.0 -> 4.2.3Nick Hu1-4/+4
2017-12-07treewide: checkMeta fixes for x86_64-linuxVladimír Čunát1-1/+1
2017-07-23scyther: Separated into two derivationsSilvan Mosberger2-61/+90
2017-07-16scyther: init at 1.1.3Silvan Mosberger1-0/+82
2017-06-18qt5: use distinct `lib/qt-5.x` prefix for each minor versionThomas Tuegel1-1/+1
2017-02-24fdr: init at 4.2.0Nick Hu1-0/+69
2017-01-31Remove myself from maintainersDamien Cassou1-1/+1
2015-08-29Revert "Added K Framework package."Peter Simons1-102/+0
2015-04-28Fixed some descriptionsPascal Wittmann1-1/+1
2015-04-17Added K Framework package.Remy Goldschmidt1-0/+102
2015-02-13New package PLM: Programmer's Learning MachineDamien Cassou1-0/+36