Austin Seipp abcfa6f608 nixpkgs: add tamarin-prover 1.3.0 (dev) tool ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-12-30 18:23:15 -06:00
..
astronomy	gpredict: init at 1.3 (#32436)	2017-12-09 09:45:29 +00:00
biology	snpeff: 4.3p -> 4.3t	2017-12-21 10:52:26 +11:00
chemistry	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
electronics	bitscope: init at 2017-12-28	2017-12-30 21:58:27 +01:00
geometry	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
logic	nixpkgs: add tamarin-prover 1.3.0 (dev) tool	2017-12-30 18:23:15 -06:00
machine-learning	shogun: fix parallel building	2017-12-07 08:52:42 +00:00
math	wxmaxima: build with cmake	2017-12-29 21:00:03 +00:00
medicine/aliza	aliza: 1.29.2->1.36.3	2017-11-12 17:46:37 +01:00
misc	Fix typo	2017-11-28 13:13:01 +01:00
molecular-dynamics	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
physics	sherpa: 2.2.1 -> 2.2.4	2017-08-31 14:32:05 -04:00
programming	fdr: 4.2.0 -> 4.2.3	2017-12-29 02:01:31 +01:00
robotics	treewide: Manual fix more pkg-config build-inputs	2017-09-21 15:49:54 -04:00
spyder	spyder: 2.3.8 -> 3.2.4	2017-11-15 15:49:05 +00:00