1250 Commits

Author	SHA1	Message	Date
Gabriel Ebner	7ba1c7a9fb	iprover: 0.8.1 -> 2.5	2017-07-17 22:45:27 +01:00
Vladimír Čunát	371ad29661	abc-verifier: fix typo in meta	2017-07-15 09:27:41 +02:00
Vincent Laporte	8bafd3aaa4	ginac: 1.6.2 -> 1.7.2	2017-07-13 19:35:06 +02:00
Michael Raskin	dcbe96d260	Merge pull request #27197 from kquick/master ... yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.	2017-07-08 22:37:12 +02:00
Vincent Laporte	eb2be6d97e	acgtk: 1.1 -> 1.3.1	2017-07-08 08:52:02 +02:00
Vincent Laporte	43b2b55743	hol_light: 2016-07-23 -> 2017-07-06	2017-07-08 06:14:43 +00:00
Kevin Quick	6cbd9ce8f9	Fix license reference for added libpoly library.	2017-07-07 12:54:32 -07:00
Kevin Quick	6387a7ec8b	Update yices to add libpoly/mcsat functionality and add soname target.	2017-07-06 21:31:38 -07:00
Kevin Quick	8ff05c85ee	Add poly library for manipulating polynomials.	2017-07-06 21:30:30 -07:00
Peter Simons	4c5577b504	R: update to version 3.4.1	2017-06-30 13:37:26 +02:00
Shea Levy	24c59a4452	neuron: enable GUI	2017-06-28 11:59:54 -04:00
Maximilian Bosch	9516bbf172	geogebra: make language configurable	2017-06-27 09:51:06 +02:00
Vincent Laporte	ac83ef3994	glsurf: 3.3 -> 3.3.1	2017-06-26 19:24:33 +02:00
Joachim F	90d3a0314c	Merge pull request #26836 from Ma27/update/geogebra ... geogebra: 5-0-361-0 -> 5-0-369-0	2017-06-25 16:35:13 +01:00
Maximilian Bosch	f5665e9ab4	geogebra: 5-0-361-0 -> 5-0-369-0	2017-06-25 12:39:30 +02:00
Jörg Thalheim	ad42e5f6e5	Merge pull request #26795 from veprbl/root_6.10.00 ... root: 6.09.02 -> 6.10.00	2017-06-25 09:14:30 +01:00
Dmitry Kalinkin	ada12f46dc	root: 6.09.02 -> 6.10.00 ... also workaround #26197	2017-06-24 13:38:25 -04:00
Frederik Rietdijk	4f0d812abc	python.pkgs.spyder: remove maintainers ... since we both do not use this package anymore. cc @bjornfor	2017-06-23 10:44:42 +02:00
Franz Pletz	b6cf652e08	boinc: 7.4.42 -> 7.8.0	2017-06-20 05:19:31 +02:00
Gabriel Ebner	89e02c7516	lean: 3.1.0 -> 3.2.0	2017-06-18 20:04:30 +02:00
Thomas Tuegel	c816bbc8a8	qt5: remove makeQtWrapper	2017-06-18 08:44:42 -05:00
Thomas Tuegel	210f688802	qt5: rename qmakeHook to qmake	2017-06-18 08:41:57 -05:00
Thomas Tuegel	3f3d33a078	qt5: use distinct lib/qt-5.x prefix for each minor version ... Using a distinct prefix for plugins and QML libraries allows multiple Qt 5 minor versions to coexist in the same environment.	2017-06-18 08:41:57 -05:00
Justin Bedo	94ec54598c	snpeff: 4.3i -> 4.3p	2017-06-13 15:31:52 +10:00
Jörg Thalheim	c972f01e2d	pymol: set PYTHONPATH in a future way	2017-06-02 21:55:16 +01:00
Katona László	2a1c535b7e	pymol: added Pmw + python version bump	2017-06-02 19:58:00 +02:00
Maximilian Bosch	47e8665595	geogebra: 5-0-355-0 -> 5-0-361-0	2017-05-30 06:35:33 +02:00
Dan Peebles	594829ddfc	msieve: update and enable on Darwin	2017-05-26 18:18:39 -04:00
Dan Peebles	1df505fc36	ecm: enable on Darwin	2017-05-26 18:14:31 -04:00
Vladimír Čunát	8004e79415	Merge branch 'master' into staging	2017-05-24 03:24:06 +02:00
Samuel Leathers	fdbcee03fe	minisat: fix maintainer	2017-05-22 23:55:05 -04:00
Jörg Thalheim	2549be898d	stp: 2014.01.07 -> 2.2.0	2017-05-22 22:25:45 +01:00
Jörg Thalheim	893c7b6112	cryptominisat: init at 5.0.1	2017-05-22 22:25:14 +01:00
Jörg Thalheim	7786922240	minisatUnstable: init at 2013-09-25	2017-05-22 22:24:58 +01:00
Frederik Rietdijk	99cfab07b9	Merge remote-tracking branch 'upstream/master' into HEAD	2017-05-22 09:21:40 +02:00
Shea Levy	b1b61d0988	coq: nix-buffer: Inherit variables to PG shell	2017-05-22 00:45:54 -04:00
Jörg Thalheim	ea706bd98b	Merge pull request #25231 from veprbl/root_6.09.02 ... root: 6.08.02 -> 6.09.02	2017-05-20 17:37:43 +01:00
Joachim Fasting	874b81b31f	treewide: s,enableParallelBuild(s),enableParallelBuilding,g	2017-05-20 17:16:17 +02:00
marcnnn	e46ca1b95f	cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808) ... * cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514 * cvc4: use stable url upstream delete their tarballs	2017-05-20 14:00:39 +01:00
Shea Levy	b21540c4a6	coq: Add emacs buffer setup	2017-05-20 08:34:33 -04:00
Vladimír Čunát	65ede052fa	treewide: fixup packages with RPATH problems	2017-05-16 18:30:58 +02:00
Matthew Daiter	093130f802	openmvs: init at current master (#25672) ... * openmvs: init at current master * openmvs: simplify expression * openmvs: init at unstable-2017-05-01	2017-05-12 20:07:11 +01:00
Jörg Thalheim	be19ad150c	Merge pull request #25594 from mimadrid/update/htslib-1.4 ... Update/htslib 1.4	2017-05-11 07:08:56 +01:00
mimadrid	8d1bebf83c	bcftools: 1.3.1 -> 1.4	2017-05-11 07:04:33 +01:00
Peter Hoeg	32b57bec77	Merge pull request #25588 from mimadrid/update/weka-3.8.1 ... weka: 3.8.0 -> 3.8.1	2017-05-09 17:39:05 +08:00
mdaiter	fdd28b6fe0	openmvg: clarify Git version ... fixes #25615	2017-05-09 09:39:41 +01:00
Frederik Rietdijk	183cada05a	Merge pull request #25590 from mimadrid/update/cytoscape-3.5.1 ... cytoscape: 3.4.0 -> 3.5.1	2017-05-09 10:03:20 +02:00
mimadrid	9073e67568	samtools: 1.3.1 -> 1.4	2017-05-07 23:15:48 +02:00
mimadrid	0ed5b1c867	cytoscape: 3.4.0 -> 3.5.1	2017-05-07 23:05:59 +02:00
mimadrid	bfc3d976f3	weka: 3.8.0 -> 3.8.1	2017-05-07 22:54:09 +02:00