nixpkgs/pkgs/applications/science
Thiago Kenji Okada 615e5e10c1
Merge pull request #166740 from shadaj/init-cvc5-symfpu
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
2022-04-09 20:07:29 +01:00
..
astronomy openspace: remove after being marked broken for over two years 2022-04-03 16:14:56 +01:00
biology ncbi_tools: remove after being marked broken for over two years 2022-04-03 16:14:18 +01:00
chemistry jmol: 14.32.39 -> 14.32.45 2022-04-04 22:28:33 +00:00
computer-architecture/qtrvsim QtRVSim: 0.9.1 -> 0.9.2 2022-03-14 22:04:17 +02:00
electronics eagle7: drop 2022-04-04 15:10:44 +01:00
geometry Merge pull request #160340 from helsinki-systems/tetgen 2022-02-17 01:57:18 +01:00
logic Merge pull request #166740 from shadaj/init-cvc5-symfpu 2022-04-09 20:07:29 +01:00
machine-learning vowpal-wabbit: 8.11.0 -> 9.0.1 2022-02-03 02:08:33 +00:00
math cudaPackages: overhaul of how we package cuda packages 2022-04-09 08:50:22 +02:00
medicine treewide: use mirror URLs where available 2021-11-06 01:56:39 +00:00
misc Merge pull request #167069 from r-ryantm/auto-update/bada-bib 2022-04-04 13:51:15 -07:00
molecular-dynamics gromacs: 2021.5 -> 2022 2022-02-23 14:47:26 +01:00
networking/sumo
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 inav-configurator: 3.0.2 -> 4.1.0 2022-03-17 17:50:49 +01:00