1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 14:11:36 +00:00
nixpkgs/pkgs/applications/science
Arseniy Seroka c6932509b8 Merge pull request #11302 from fkz/sad
add package: system for automated deduction
2015-11-27 22:25:44 +03:00
..
astronomy stellarium: build with qt5Full to fix run-time crashes 2015-07-14 22:39:34 +02:00
biology Remove arb and then-orphaned lesstif93 2015-05-26 11:46:41 +02:00
chemistry/avogadro
electronics Replace 'with plaforms; platform' with 'platforms.platform' 2015-11-17 21:30:43 +01:00
geometry drgeo: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
logic Merge pull request #11302 from fkz/sad 2015-11-27 22:25:44 +03:00
math R: add curl for https support 2015-11-25 11:39:28 +01:00
misc xlibs: replace occurrences by xorg 2015-09-15 12:54:34 +02:00
molecular-dynamics/gromacs Don't use "with licenses;" for single licences 2015-05-28 19:20:29 +02:00
programming/plm Revert "Added K Framework package." 2015-08-29 15:38:33 +02:00
spyder buildPythonPackage: fix more wheels failures 2015-11-21 21:44:12 +01:00