Paul Liétar 6f8eb1e65a coq: enable coqide on darwin ... This was disabled a while ago, when itstool was broken on darwin. Now that itstool works again, it can be re-enabled.		2021-03-23 08:17:13 +01:00
..
astronomy	Merge pull request #115010 from r-ryantm/auto-update/kstars	2021-03-06 16:39:59 -08:00
biology	Merge branch 'master' into staging-next	2021-03-18 19:24:39 +01:00
chemistry	Merge pull request #111224 from r-ryantm/auto-update/gwyddion	2021-03-21 05:22:26 +01:00
electronics	Merge pull request #117039 from raboof/gnucap-init-at-20210107	2021-03-20 19:49:27 +01:00
geometry	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	2021-01-19 01:16:25 -08:00
logic	coq: enable coqide on darwin	2021-03-23 08:17:13 +01:00
machine-learning	vowpal-wabbit: init at 8.9.2	2021-03-18 18:41:07 -07:00
math	Merge pull request #115685 from r-ryantm/auto-update/wxmaxima	2021-03-22 01:08:42 +01:00
medicine	Merge master into staging-next	2021-02-21 06:16:32 +00:00
misc	treewide: makeWrapper buildInputs to nativeBuildInputs	2021-02-19 20:09:16 +07:00
molecular-dynamics	mpi: use mpi attribute consistently as the default MPI implementations	2021-01-23 12:15:13 +01:00
networking/sumo	sumo: init at 1.8.0	2021-03-22 12:17:15 +01:00
physics	sherpa: fix on darwin	2021-02-25 17:24:13 -05:00
programming	treewide: makeWrapper buildInputs to nativeBuildInputs	2021-02-19 20:09:16 +07:00
robotics	treewide: unzip buildInputs to nativeBuildInputs (#112302)	2021-02-20 16:01:53 -05:00