1259 Commits

Author	SHA1	Message	Date
Peter Hoeg	45248be2aa	cryptominisat: use new xxd package instead of vim	2017-07-24 09:37:58 +08:00
Franz Pletz	e69dfc252a	Revert "coq2html: New expression" ... This reverts commit 31437ccf7a.	2017-07-20 19:36:50 +02:00
John Wiegley	31437ccf7a	coq2html: New expression	2017-07-20 11:51:25 -04:00
Jörg Thalheim	699f8e2f65	Merge pull request #26352 from Mounium/aliza ... aliza: init at 1.29.2	2017-07-19 07:03:01 +01:00
Jörg Thalheim	d945e3ccc4	Merge pull request #27366 from veprbl/version_bumps ... bump rivet, yoda, lhapdf	2017-07-18 23:38:53 +01:00
Symphorien Gibol	d7103eadc8	boolector: 1.{5,6} -> 2.4.1	2017-07-18 23:50:31 +02:00
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
Dmitry Kalinkin	459e3864d2	root: 6.10.00 -> 6.10.02	2017-07-14 04:40:27 -04: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
Katona László	b86eb39a58	aliza: 1.28.10->1.29.2	2017-07-02 23:39:08 +02: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
Katona László	5e528db0d9	aliza: init at 1.28.10	2017-06-15 19:53:01 +02: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