nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
*	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 remote-tracking branch 'origin/master' into stdenv-updates	Eelco Dolstra	2013-02-15
\|\
\| *	Update HOL Light to revision 155	Marco Maggesi	2013-02-08
\| *	Update HOL Light to revision 154	Marco Maggesi	2013-02-08
* \|	Merge remote-tracking branch 'upstream/master' into stdenv-updates	Rickard Nilsson	2013-01-20
\|\\|
\| *	maxima: update to version 5.29.1	Peter Simons	2013-01-19
\| *	stellarium: update to version 0.11.4a	Peter Simons	2013-01-19
* \|	Merge remote-tracking branch 'origin/master' into stdenv-updates	Eelco Dolstra	2013-01-17
\|\\|
\| *	Fix bad URLs lacking a scheme	Eelco Dolstra	2013-01-14
* \|	Merge branch 'master' into stdenv-updates.	Peter Simons	2013-01-11
\|\\|
\| *	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 remote-tracking branch 'eelco/master' into stdenv-updates	Lluís Batlle i Rossell	2012-12-28
\|\\|
\| *	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
\| \|/
* /	Rename buildNativeInputs -> nativeBuildInputs	Eelco Dolstra	2012-12-28
\|/
*	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
\| *	fix skipped indentation	Badi' Abdul-Wahid	2012-11-23
\| *	Update based on comments to pull request	Badi' Abdul-Wahid	2012-11-23
\| *	Add GROMACS v4.5.5	Badi' Abdul-Wahid	2012-11-23
* \|	Fix tarball	Shea Levy	2012-11-26
* \|	fix xoscope - thx archlinux!	Florian Friesdorf	2012-11-26
\|/
*	qfsm: add version 0.53.0	Peter Simons	2012-11-11
*	tkgate: limit to i686-linux and x86_64-linux to fix channel build	Mathijs Kwik	2012-11-11
*	tkgate: add versions 1.8.7 and 2.0-b10	Peter Simons	2012-11-08
*	kicad: update homepage URL	Peter Simons	2012-10-28
*	ng-spice-rework: update to version 24	Peter Simons	2012-10-28
*	stellarium: update to version 0.11.4	Peter Simons	2012-10-19
*	wxmaxima: update to version 12.09.0	Peter Simons	2012-10-19
*	maxima: update to version 5.28.0	Peter Simons	2012-10-19
*	gravit: update to version 0.5.0	Peter Simons	2012-10-10
*	Update SSReflect to version 1.4	Russell O'Connor	2012-09-10
*	Upgrade Isabelle proof assistant to version 2012	Marco Maggesi	2012-09-04
*	Fixing configure patch for coq 8.3.	Russell O'Connor	2012-08-19
*	Correcting filename.	Russell O'Connor	2012-08-19
*	Update coq to 8.4	Russell O'Connor	2012-08-19
*	gtkwave: updating to 3.3.39	Lluís Batlle i Rossell	2012-08-10
*	stellarium: update to version 0.11.3	Peter Simons	2012-08-04
*	Merge branch 'tptp-5.4.0' of https://github.com/7c6f434c/nixpkgs	Shea Levy	2012-07-07
\|\
\| *	TPTP: update to 5.4.0	Michael Raskin	2012-07-07
* \|	wxmaxima: update to version 12.04.0	Peter Simons	2012-07-07
* \|	maxima: update to version 5.27.0	Peter Simons	2012-07-07
\|/