nixpkgs/pkgs/applications/science
Vincent Laporte 68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native
coq: Move dune, ocaml and findlib to nativeBuildInputs
2022-02-26 08:54:53 +01:00
..
astronomy treewide: switch all desktop file generators to new API 2022-02-25 13:40:38 -08:00
biology bcftools: 1.14 -> 1.15 2022-02-25 11:12:05 -08:00
chemistry treewide: switch all desktop file generators to new API 2022-02-25 13:40:38 -08:00
electronics treewide: switch all desktop file generators to new API 2022-02-25 13:40:38 -08:00
geometry Merge pull request #160340 from helsinki-systems/tetgen 2022-02-17 01:57:18 +01:00
logic Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native 2022-02-26 08:54:53 +01:00
machine-learning vowpal-wabbit: 8.11.0 -> 9.0.1 2022-02-03 02:08:33 +00:00
math gmsh: 4.9.4 -> 4.9.5 2022-02-25 14:21:11 -08:00
medicine treewide: use mirror URLs where available 2021-11-06 01:56:39 +00:00
misc treewide: switch all desktop file generators to new API 2022-02-25 13:40:38 -08:00
molecular-dynamics gromacs: 2021.5 -> 2022 2022-02-23 14:47:26 +01:00
networking/sumo sumo: 1.8.0 -> 1.9.2 2021-06-29 11:24:41 +02:00
physics shtns: init at 3.5.1 (#151061) 2022-01-31 21:28:05 +01:00
programming treewide: switch all desktop file generators to new API 2022-02-25 13:40:38 -08:00
robotics qgroundcontrol: 4.1.4 -> 4.2.0 2022-02-18 00:09:39 +01:00