about summary refs log tree commit diff
path: root/pkgs/applications/science/programming
AgeCommit message (Expand)AuthorFilesLines
2022-02-28jflap: init at 7.1grnnja1-0/+32
2022-02-25treewide: switch all desktop file generators to new APIK9001-1/+1
2021-12-07scyther: remove since it only supports Python 2Silvan Mosberger2-109/+0
2021-12-02groove: 5.7.4 -> 5.8.1 and jre -> jre8wackbyte1-4/+4
2021-08-08plm: fix old link & deprecate phasesFelix Buehler1-8/+10
2021-07-14fdr: deprecate phasesFelix Buehler1-1/+1
2021-06-07fdr: 4.2.3 -> 4.2.7Chua Hou1-5/+6
2021-02-19treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob1-1/+2
2021-01-16treewide: stdenv.lib -> libBen Siraphob2-2/+2
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch3-6/+6
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-6/+2
2020-10-27treewide: remove package names from prefix of descriptionsBen Siraphob1-1/+1
2020-10-17treewide: remove periods from end of package descriptionsBen Siraphob1-1/+1
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly3-4/+4
2019-09-18treewide: use libtinfo.so.5 where neededMatthew Bauer1-4/+3
2019-08-17treewide: name -> pnamevolth2-2/+4
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2019-04-19groove: init at 5.7.4Johannes Frankenau1-0/+54
2018-09-02plm: remove dead homepage link, mark as brokenMarkus Kowalewski1-1/+1
2018-07-05treewide: remove callPackage_i686Matthew Bauer1-3/+3
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