3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science
Matt Huszagh 9c7cd63b3d symbiyosys: add yices dependency
Symbioyosys requires at least smt solver backend
to work out of the box.
2019-12-04 14:29:31 -06:00
..
astronomy gildas: 20191001_a -> 20191201_a (#73041) 2019-12-04 20:18:39 +01:00
biology paml: 4.9i -> 4.9j 2019-12-01 18:43:58 +01:00
chemistry Merge staging-next into staging 2019-11-19 14:53:29 +01:00
electronics verilator: 4.020 -> 4.022 2019-11-30 18:27:06 -05:00
geometry treewide: name -> pname 2019-08-17 10:54:38 +00:00
logic symbiyosys: add yices dependency 2019-12-04 14:29:31 -06:00
machine-learning streamlit: 0.49.0 -> 0.50.2 2019-11-15 08:35:43 +01:00
math Merge pull request #74945 from timokau/sage-no-timeout 2019-12-04 09:55:34 +01:00
medicine Merge staging-next into staging 2019-11-19 14:53:29 +01:00
misc Merge branch 'master' into staging-next 2019-11-27 22:57:50 -08:00
molecular-dynamics gromacs: add perl to buildInputs 2019-10-07 13:03:13 +02:00
physics treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
programming treewide: use libtinfo.so.5 where needed 2019-09-18 13:57:20 -04:00
robotics Merge pull request #71073 from nyanloutre/betaflight_configurator_10_6_0 2019-10-20 20:01:00 +02:00