nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
*	Merge branch 'master' into closure-size	Vladimír Čunát	2016-02-14
\|\
\| *	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
* \|	Merge recent 'staging' into closure-size	Vladimír Čunát	2016-02-03
\|\\|
\| *	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
\| \|\
\| * \	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 branch 'staging' into closure-size	Vladimír Čunát	2016-01-19
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	refactor to use autoreconfHook where possible	Robin Gloster	2016-01-18
\| \|/
\| *	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
* \|	R: fix build after splitting gfortran.lib	Vladimír Čunát	2016-01-12
* \|	Merge branch 'master' into closure-size	Vladimír Čunát	2015-12-31
\|\\|
\| *	coqPackages_8_5.coq: 8.5b2 -> 8.5rc1	John Wiegley	2015-12-21
\| *	fritzing: Qt 5 infrastructure update	Thomas Tuegel	2015-12-20
\| *	Merge pull request #11075 from mogorman/pcb	Arseniy Seroka	2015-12-17
\| \|\
\| \| *	pcb: init at 20140316	Matthew O'Gorman	2015-12-16
\| * \|	Merge pull request #11074 from mogorman/gerbv	Pascal Wittmann	2015-12-16
\| \|\ \
\| \| * \|	gerbv: init at git-2015-10-07	Matthew O'Gorman	2015-12-15
\| \| \|/
\| * \|	Merge pull request #11073 from mogorman/geda_fix	Pascal Wittmann	2015-12-14
\| \|\ \
\| \| * \|	geda: refdes_renum called /usr/bin/perl	Matthew O'Gorman	2015-12-14
\| \| \|/
* \| \|	Merge branch 'master' into closure-size	Luca Bruno	2015-12-11
\|\\| \|
\| * \|	R: 3.2.2 -> 3.2.3	Michel Kuhlmann	2015-12-11
\| * \|	eagle: 6.6.0 -> 7.5.0	Bjørn Forsman	2015-12-08
\| * \|	python spyder: 2.3.7 -> 2.3.8	Frederik Rietdijk	2015-12-01
\| * \|	why3: 0.86.1 -> 0.86.2	Vincent Laporte	2015-12-01
\| * \|	mathematica package patchPhase does not like set -e	Aristid Breitkreuz	2015-11-30
* \| \|	Merge branch 'master' into closure-size	Luca Bruno	2015-11-29
\|\\| \|
\| * \|	Merge pull request #11302 from fkz/sad	Arseniy Seroka	2015-11-27
\| \|\ \
\| \| * \|	system for automated deduction: init at 2.3-25	Fabian Schmitthenner	2015-11-27
\| * \| \|	Merge branch 'buildPythonPackage+wheels'	Domen Kožar	2015-11-26
\| \|\ \ \
\| \| * \| \|	buildPythonPackage: fix more wheels failures	Domen Kožar	2015-11-21
\| * \| \| \|	Revert "coq: 8.5b2 -> 8.5b3"	John Wiegley	2015-11-25
* \| \| \| \|	Merge remote-tracking branch 'origin/master' into closure-size	Luca Bruno	2015-11-25
\|\\| \| \| \|
\| * \| \| \|	R: add curl for https support	Nikolay Amiantov	2015-11-25
\| * \| \| \|	gap: reimplement using mkDerivation	Joachim Fasting	2015-11-24
\| * \| \| \|	spass: reimplement using mkDerivation	Joachim Fasting	2015-11-24
\| * \| \| \|	opensmt: reimplement using mkDerivation	Joachim Fasting	2015-11-24