3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science
Gabriel Ebner 3aa72cc471
Merge pull request from jvanbruegge/isabelle-naproche
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
..
astronomy Merge pull request from r-ryantm/auto-update/siril 2022-03-15 14:56:47 -07:00
biology
chemistry jmol: 14.32.30 -> 14.32.33 2022-03-13 16:20:57 +00:00
computer-architecture/qtrvsim QtRVSim: 0.9.1 -> 0.9.2 2022-03-14 22:04:17 +02:00
electronics gaw: 20200922 -> 20220315 2022-03-16 08:01:53 +01:00
geometry
logic Merge pull request from jvanbruegge/isabelle-naproche 2022-03-20 18:26:33 +01:00
machine-learning
math qalculate-gtk: 4.0.0 -> 4.1.0 2022-03-20 16:04:47 +08:00
medicine
misc bada-bib: 0.5.1 -> 0.6.0 2022-03-15 12:50:26 +01:00
molecular-dynamics
networking/sumo
physics
programming
robotics