nixpkgs/pkgs/applications/science
Gabriel Ebner be4d1ca79c
Merge pull request #140916 from andersk/lean
lean: 3.32.1 → 3.33.0
2021-10-08 10:37:22 +02:00
..
astronomy stellarium: 0.21.1 -> 0.21.2 2021-09-28 13:49:59 +02:00
biology treewide: avoid use of lib.optional with list in inputs 2021-10-04 13:02:42 -04:00
chemistry siesta: 4.1-b3 -> 4.1.5 2021-10-05 22:46:40 +02:00
electronics dwfv: init at 0.4.1 2021-10-02 09:03:37 -07:00
geometry gama: 2.12 -> 2.14 2021-08-09 00:26:53 +00:00
logic lean: 3.32.1 → 3.33.0 2021-10-07 18:54:06 -07:00
machine-learning shogun: remove non-distributable SVMlight code 2021-09-17 15:04:34 -03:00
math R: don't restrict hydraPlatforms 2021-10-01 04:20:00 +00:00
medicine dcmtk: support darwin platform (#136005) 2021-08-28 02:00:18 -04:00
misc gplates: 2.2.0 -> 2.3.0 2021-09-26 23:11:29 -07:00
molecular-dynamics dl-poly-classic: move gfortran to nativeBuildInputs 2021-09-03 13:33:32 +02:00
networking/sumo
physics Merge staging-next into staging 2021-09-15 18:01:59 +00:00
programming plm: fix old link & deprecate phases 2021-08-08 23:53:53 +02:00
robotics mavproxy: 1.8.42 -> 1.8.43 2021-10-01 00:38:44 +00:00