nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
*	eagle: new package	Bjørn Forsman	2013-05-25
*	R: add version 3.0.1	Peter Simons	2013-05-23
*	stellarium: update to version 0.12.1	Peter Simons	2013-05-22
*	wxmaxima: update to version 13.04.1	Peter Simons	2013-05-22
*	Fix maintainers attribute	Rob Vermaas	2013-05-21
*	Add myself as maintainer for several packages	Bjørn Forsman	2013-05-20
*	Adding E-KRHyper theorem prover	Michael Raskin	2013-05-09
*	Revert Merge x-updates into master due to mesa bloat	Vladimír Čunát	2013-05-09
*	Adding Otter theorem prover. The development is frozen, but because of that O...	Michael Raskin	2013-05-09
*	Merge branch 'master' into x-updates	Vladimír Čunát	2013-05-08
\|\
\| *	spyder: create desktop menu item	Bjørn Forsman	2013-05-06
\| *	spyder: add recommended and optional dependencies	Bjørn Forsman	2013-05-06
\| *	spyder: new package	Bjørn Forsman	2013-05-05
* \|	Merge branch 'master' into x-updates	Vladimír Čunát	2013-04-24
\|\\|
\| *	Update E prover	Michael Raskin	2013-04-21
* \|	Merge branch 'master' into x-updates	Vladimír Čunát	2013-04-04
\|\\|
\| *	kicad: upgrade to stable version 20130325, libraries to r220	Michael Ashton	2013-03-31
\| *	Update HOL Light to rev 157	Marco Maggesi	2013-03-25
\| *	wxmaxima: don't try to build this package on FreeBSD	Peter Simons	2013-03-22
* \|	Merge branch 'master' into x-updates	Vladimír Čunát	2013-03-09
\|\\|
\| *	TPTP had a bugfix without version change	Michael Raskin	2013-03-09
\| *	qucs: minor update and fix for new gcc	Vladimír Čunát	2013-02-24
* \|	Merge branch stdenv-updates into x-updates	Vladimír Čunát	2013-02-21
\|\\|
\| *	Merge remote-tracking branch 'origin/master' into stdenv-updates	Eelco Dolstra	2013-02-15
\| \|\
\| * \	Merge remote-tracking branch 'upstream/master' into stdenv-updates	Rickard Nilsson	2013-01-20
\| \|\ \
\| * \ \	Merge remote-tracking branch 'origin/master' into stdenv-updates	Eelco Dolstra	2013-01-17
\| \|\ \ \
\| * \ \ \	Merge branch 'master' into stdenv-updates.	Peter Simons	2013-01-11
\| \|\ \ \ \
\| * \ \ \ \	Merge remote-tracking branch 'eelco/master' into stdenv-updates	Lluís Batlle i Rossell	2012-12-28
\| \|\ \ \ \ \
\| * \| \| \| \| \|	Rename buildNativeInputs -> nativeBuildInputs	Eelco Dolstra	2012-12-28
* \| \| \| \| \| \|	Merge remote-tracking branch 'central/master' into x-updates	Lluís Batlle i Rossell	2013-02-18
\|\ \ \ \ \ \ \
\| * \| \| \| \| \| \|	Revert "WIP", sorry, I got confused, somehow	Vladimír Čunát	2013-02-17
\| * \| \| \| \| \| \|	WIP	Vladimír Čunát	2013-02-17
\| \| \|_\|_\|_\|_\|/ \| \|/\| \| \| \| \|
\| * \| \| \| \| \|	Update HOL Light to revision 155	Marco Maggesi	2013-02-08
\| * \| \| \| \| \|	Update HOL Light to revision 154	Marco Maggesi	2013-02-08
\| \| \|_\|_\|_\|/ \| \|/\| \| \| \|
* / \| \| \| \|	tulip: update to fix compilation with libpng-1.6	Vladimír Čunát	2013-02-16
\|/ / / / /
* \| \| \| \|	maxima: update to version 5.29.1	Peter Simons	2013-01-19
* \| \| \| \|	stellarium: update to version 0.11.4a	Peter Simons	2013-01-19
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Fix bad URLs lacking a scheme	Eelco Dolstra	2013-01-14
\| \|_\|/ \|/\| \|
* \| \|	boinc: fix it; the binaries didn't start.	Lluís Batlle i Rossell	2013-01-08
* \| \|	boinc: updating to 7.0.44	Lluís Batlle i Rossell	2013-01-08
\| \|/ \|/\|
* \|	Merge pull request #231 from RSzibele/master	Michael Raskin	2012-12-27
\|\ \
\| * \|	Added Logisim-2.7.1.	RSzibele	2012-12-27
* \| \|	Merge pull request #226 from maggesi/hol_light_updates	Michael Raskin	2012-12-27
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	Update HOL Light (and fix installation)	Marco Maggesi	2012-12-23
\| \|/
* /	celestia: add version 1.6.1	Peter Simons	2012-12-25
\|/
*	Update E prover	Michael Raskin	2012-12-09
*	Update golly	Michael Raskin	2012-12-04
*	Remove a bunch of unreferenced files	Eelco Dolstra	2012-11-29
*	Merge pull request #193 from badi/gromacs	Peter Simons	2012-11-28
\|\
\| *	remove reference to meta.nix	Badi' Abdul-Wahid	2012-11-23