nixlib - Alyssa's collection of Nix expressions

	Commit message (Expand)	Author	Age
...
* \|	paml: 4.2a -> 4.9c	Tim Steinbach	2016-11-03
* \|	coq-8.5: ease the selection of an older (patch level) version	Vincent Laporte	2016-11-02
* \|	coq: build and install the votour utility	Vincent Laporte	2016-11-02
* \|	coq: 8.5pl2 -> 8.5pl3	Vincent Laporte	2016-11-02
* \|	Merge pull request #19902 from dtzWill/update/yices	vbgl	2016-10-31
\|\ \ \| \|/ \|/\|
\| *	yices: Add darwin to meta.platforms	Will Dietz	2016-10-30
\| *	yices: Build in parallel, run tests, fix test shebang.	Will Dietz	2016-10-26
\| *	yices: fix install target by using 'true' as ldconfig	Will Dietz	2016-10-26
\| *	yices: 2.3.1 -> 2.5.1	Will Dietz	2016-10-26
* \|	pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable".	Ertugrul Söylemez	2016-10-27
* \|	pari_alpha: fix source link	Michael Raskin	2016-10-27
\|/
*	Merge remote-tracking branch 'upstream/master' into HEAD	Frederik Rietdijk	2016-10-26
\|\
\| *	maxima: support building with ECL; optionally support building maxima.fas whe...	Michael Raskin	2016-10-26
\| *	singular: Wrap executables instead of symlinking	Michael Raskin	2016-10-26
\| *	singular: add an option to install as libsingular	Michael Raskin	2016-10-26
\| *	pari_alpha: use perl to generate function descriptions	Michael Raskin	2016-10-26
\| *	singular: 3-1-2 -> 3-1-7	Michael Raskin	2016-10-26
\| *	R: 3.2.3 -> 3.2.4	Michael Raskin	2016-10-26
\| *	nauty: init at 26r7	Michael Raskin	2016-10-26
\| *	gfan: init at 0.5	Michael Raskin	2016-10-26
\| *	pari_alpha: init at 2.8.0.alpha: planning to use for Sage	Michael Raskin	2016-10-26
\| *	symmetrica: init at 2.0	Michael Raskin	2016-10-26
\| *	ratpoints: init at 2.1.3	Michael Raskin	2016-10-26
* \|	Merge remote-tracking branch 'upstream/master' into HEAD	Frederik Rietdijk	2016-10-22
\|\\|
\| *	treewide: fix meta evaluation	Vladimír Čunát	2016-10-22
\| *	Merge pull request #19666 from veprbl/hep_for_upstream	Jörg Thalheim	2016-10-21
\| \|\
\| \| *	root: s/python/python2/	Dmitry Kalinkin	2016-10-21
\| \| *	root: add veprbl to maintainers	Dmitry Kalinkin	2016-10-21
\| \| *	add veprbl to maintainers	Dmitry Kalinkin	2016-10-21
\| \| *	sacrifice: init at 1.0.0	Dmitry Kalinkin	2016-10-19
\| * \|	yarp: 2.3.65 -> 2.3.66.1	=	2016-10-20
\| \|/
* /	z3: use python2	Frederik Rietdijk	2016-10-18
\|/
*	nix-buffer support improvements.	Shea Levy	2016-10-07
*	treewide: use ocaml.version (#19192)	Kirill Boltaev	2016-10-05
*	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	Aneesh Agrawal	2016-10-01
*	redprl: remove explicit builder	Brian McKenna	2016-09-29
*	redprl: patch install script shebangs	Anthony Cowley	2016-09-27
*	Merge pull request #19004 from nico202/fix-gazebo-cmake	Joachim F	2016-09-27
\|\
\| *	gazebo7: Fix gazebo-config.cmake output file	=	2016-09-27
* \|	scilab: mark as broken	Kirill Boltaev	2016-09-26
* \|	glsurf: mark as broken	Kirill Boltaev	2016-09-26
* \|	treewide: move to ocaml-ng system	Kirill Boltaev	2016-09-26
\|/
*	redprl: init at 2016-09-22	Anthony Cowley	2016-09-23
*	ecm: set meta.platforms to linux only	Vincent Laporte	2016-09-21
*	eprover: 1.9 -> 1.9.1	Gabriel Ebner	2016-09-20
*	Merge pull request #18740 from chris-martin/tulip-4-9	Joachim F	2016-09-20
\|\
\| *	tulip: 4.1.0 -> 4.9.0	Chris Martin	2016-09-18
* \|	calc: remove redundant groff dependency	Ram Kromberg	2016-09-19
* \|	root: add setup-hook	Dmitry Kalinkin	2016-09-18
\|/
*	Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs	Nikolay Amiantov	2016-09-13
\|\