nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
*	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	Robin Gloster	2016-03-03
\|\
\| *	ltl2ba: fix build on darwin	Vincent Laporte	2016-03-03
\| *	Merge pull request #13510 from lancelotsix/relocate_motu_client	Frederik Rietdijk	2016-03-02
\| \|\
\| \| *	pkgs.motuclient: move application away from pythonPackages	Lancelot SIX	2016-03-02
\| * \|	gtkwave: update to 3.3.70	Lluís Batlle i Rossell	2016-03-02
\| \|/
* \|	caneda: disable format hardening	Robin Gloster	2016-03-01
* \|	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	Robin Gloster	2016-03-01
\|\\|
\| *	eprover: fix build on Darwin	Vincent Laporte	2016-02-29
* \|	perseus: disable stackprotector hardening	Robin Gloster	2016-02-29
* \|	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	Robin Gloster	2016-02-28
\|\\|
\| *	Remove all dots at end of descriptions	zimbatm	2016-02-27
* \|	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	Robin Gloster	2016-02-27
\|\\|
\| *	Merge pull request #13435 from tg-x/calc	Franz Pletz	2016-02-26
\| \|\
\| \| *	calc: init at 2.12.5.3	tg(x)	2016-02-24
\| * \|	Merge pull request #13430 from nico202/yarp	Franz Pletz	2016-02-26
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	yarp (+ libace): init at 2.3.64	=	2016-02-24
\| * \|	minc-tools: init at 2.3.00	Ben Darwin	2016-02-23
\| * \|	Merge pull request #13124 from FRidh/buildPythonApplication	Frederik Rietdijk	2016-02-23
\| \|\ \
\| \| * \|	buildPythonApplication: use new function for Python applications	Frederik Rietdijk	2016-02-19
\| \| \|/
\| * \|	isabelle: 2015 -> 2016	Gabriel Ebner	2016-02-23
* \| \|	Merge branch 'curl-7.15-fixup' of https://github.com/zimbatm/nixpkgs into har...	Robin Gloster	2016-02-22
\|\\| \|
\| * \|	neuron: init at 7.4	devresse	2016-02-21
\| \|/
* \|	qalculate-gtk: turn off format hardening	Robin Gloster	2016-02-12
* \|	otter: turn off format hardening	Robin Gloster	2016-02-12
* \|	cbc: turn off format hardening	Robin Gloster	2016-02-09
* \|	prover9: turn off format hardening	Robin Gloster	2016-02-08
* \|	yacas: no format hardening	Robin Gloster	2016-02-07
* \|	drgeo: turn off format hardening	Robin Gloster	2016-02-07
* \|	ltl2ba: turn off format hardening	Robin Gloster	2016-02-07
\|/
*	isabelle: 2014 -> 2015	Sven Keidel	2016-02-03
*	content: remove	Robin Gloster	2016-01-30
*	tptp: replace use of builderDefsPackage	Gabriel Ebner	2016-01-29
*	tptp: 6.1.0 -> 6.3.0	Gabriel Ebner	2016-01-29
*	coq_8_5: 8.5rc1 -> 8.5	John Wiegley	2016-01-25
*	Remove no longer (or never) referenced patches	Tobias Geerinckx-Rice	2016-01-24
*	Merge branch 'staging'	Vladimír Čunát	2016-01-22
\|\
\| *	refactor to use autoreconfHook where possible	Robin Gloster	2016-01-18
* \|	Merge pull request #12519 from gebner/metis-20160102	Arseniy Seroka	2016-01-21
\|\ \
\| * \|	metis-prover: 2.3.20160101 -> 2.3.20160102	Gabriel Ebner	2016-01-21
\| \|/
* /	z3: 4.4.0 -> 4.4.1	Ricardo M. Correia	2016-01-21
\|/
*	Merge pull request #12443 from gebner/lean-ninja	Pascal Wittmann	2016-01-17
\|\
\| *	lean: add wrapper for linja	Gabriel Ebner	2016-01-17
\| *	lean: 20150821 -> 20160117	Gabriel Ebner	2016-01-17
* \|	R: add a new `enableStrictBarrier` package option.	Mathieu Boespflug	2016-01-17
\|/
*	tkgate 2.x: remove dead package	Tobias Geerinckx-Rice	2016-01-14
*	R: fix Darwin build	Asko Soukka	2016-01-06
*	alt-ergo: also supported on Darwin	Vincent Laporte	2016-01-04
*	metis-prover: 2.3 -> 2.3.20160101	Gabriel Ebner	2016-01-02
*	pari (PARI/GP): 2.7.4 -> 2.7.5	Michael Raskin	2016-01-01
*	coqPackages_8_5.coq: 8.5b2 -> 8.5rc1	John Wiegley	2015-12-21