nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
*	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
*	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
\| \|/
* \|	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 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
* \| \| \|	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
* \| \| \|	iprover: reimplement using mkDerivation	Joachim Fasting	2015-11-24
* \| \| \|	cvc3: reimplement using mkDerivation	Joachim Fasting	2015-11-24
* \| \| \|	singular: reimplement using mkDerivation	Joachim Fasting	2015-11-24
* \| \| \|	drgeo: reimplement using mkDerivation	Joachim Fasting	2015-11-24
\|/ / /
* \| \|	coq: 8.5b2 -> 8.5b3	Russell O'Connor	2015-11-19
* \| \|	Replace 'with plaforms; platform' with 'platforms.platform'	Pascal Wittmann	2015-11-17
\| \|/ \|/\|
* \|	Update HOL Light to version 2015-11-02	Marco Maggesi	2015-11-03
\|/
*	R: advance to version 3.2.2.	Karn Kallio	2015-10-02
*	Merge pull request #9917 from FlorentBecker/sage	Peter Simons	2015-09-30
\|\
\| *	sage: 6.1.1 -> 6.8	Florent Becker	2015-09-22
* \|	hol_light: add support for camlp5 > 6.12	Vincent Laporte	2015-09-23
* \|	Merge: xlibs and x11 attribute cleanup	Vladimír Čunát	2015-09-23
\|\ \ \| \|/ \|/\|
\| *	xlibs: replace occurrences by xorg	Vladimír Čunát	2015-09-15
\| *	x11: replace its usage by xlibsWrapper directly	Vladimír Čunát	2015-09-15
* \|	metis-prover: init at 2.3	Gabriel Ebner	2015-09-21
* \|	perseus: init at 4-beta	Erik Rybakken	2015-09-19
* \|	Merge commit 'a6f6c0e' into master.upstream	William A. Kennington III	2015-09-15
\|\ \ \| \|/ \|/\|
\| *	mass rewrite of find parameters to cross-platform style	Vladimír Čunát	2015-09-06
* \|	all-packages: Use callPackage where possible	Mathnerd314	2015-09-14
* \|	HOL Light: findlib is not necessary (nor actually used). Remove dependency.	Marco Maggesi	2015-09-13
* \|	coq: Add csdp dependency	Russell O'Connor	2015-09-10
* \|	csdp: init at 6.1.1	Russell O'Connor	2015-09-10
* \|	Merge pull request #9752 from FRidh/maintainer	Domen Kožar	2015-09-09
\|\ \
\| * \|	add myself as maintainer	Frederik Rietdijk	2015-09-09
* \| \|	nixpkgs/jonprl: minor touchups	Austin Seipp	2015-09-09
\|/ /
* /	JonPRL: init at 0.1.0	Brian McKenna	2015-09-09
\|/
*	Update HOL Light to svn r244.	Marco Maggesi	2015-09-01