nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
*	Merge pull request #14468 from vbgl/why3-0.87	Damien Cassou	2016-04-05
\|\
\| *	why3: 0.86.3 -> 0.87.0	Vincent Laporte	2016-04-05
* \|	picosat: enable proof output and install various utils	Gabriel Ebner	2016-04-02
* \|	picosat: 960 -> 965	Gabriel Ebner	2016-04-02
* \|	lammps: init at 2016-02-16	Chris Ostrouchov	2016-04-01
* \|	Merge pull request #14334 from ne0phyte/kicad-4.0.2	joachifm	2016-03-31
\|\ \
\| * \|	kicad: 2013 stable -> 4.0.2	ne0phyte	2016-03-31
* \| \|	satallax: 1.4 -> 2.7	Michael Raskin	2016-03-31
* \| \|	cvc4: fix the build by skipping line markers in cpp expansions during configu...	Michael Raskin	2016-03-31
* \| \|	Merge pull request #13913 from grwlf/torch	joachifm	2016-03-30
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	torch: add unsup package	Sergey Mironov	2016-03-22
\| * \|	torch: read user PATH and LD_LIBRARY_PATH	Sergey Mironov	2016-03-22
\| * \|	torch: image, enable JPEG and PNG support	Sergey Mironov	2016-03-22
\| * \|	torch: unhardcode references to luajit	Sergey Mironov	2016-03-21
\| * \|	torch: use default luajit	Sergey Mironov	2016-03-19
\| * \|	torch: Read LUA_PATH and LUA_CPATH set by users	Sergey Mironov	2016-03-16
\| * \|	torch: don't use default value for src	Sergey Mironov	2016-03-16
\| * \|	torch: init at torch-git-2016-03-08	Sergey Mironov	2016-03-14
* \| \|	gazebo: init at 6.5.1 and 7.0.0	Patrick Callahan	2016-03-28
\| \|/ \|/\|
* \|	qgroundcontrol: init at 2.9.4	Patrick Callahan	2016-03-24
* \|	lp_solve: mark as broken	Joachim Fasting	2016-03-19
* \|	Merge pull request #14008 from bzizou/scotch	Arseniy Seroka	2016-03-18
\|\ \
\| * \|	scotch: init at 6.0.4	Bruno Bzeznik Bruno.Bzeznik@imag.fr	2016-03-18
* \| \|	Ensure that we can evaluate the platform attribute of ocaml packages.	Nicolas B. Pierron	2016-03-13
* \| \|	stellarium: update to 0.14.2	Peter Simons	2016-03-04
* \| \|	why3: 0.86.2 -> 0.86.3	Vincent Laporte	2016-03-04
* \| \|	Merge pull request #13639 from bzizou/gromacs	Arseniy Seroka	2016-03-03
\|\ \ \
\| * \| \|	gromacs: 4.6.5 -> 4.6.7 + MPI support	Bruno Bzeznik Bruno.Bzeznik@imag.fr	2016-02-24
\| \|/ /
* \| \|	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
\|/ / /
* \| \|	eprover: fix build on Darwin	Vincent Laporte	2016-02-29
* \| \|	Remove all dots at end of descriptions	zimbatm	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
* \| \|	neuron: init at 7.4	devresse	2016-02-21
\|/ /
* \|	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
\|\ \ \| \|/ \|/\|