1122 Commits

Author	SHA1	Message	Date
Mounium	eb688ac0a7	pymol: init at 1.8.4 (#23007)	2017-02-22 01:35:09 +01:00
Maximilian Bosch	10a453c61b	geogebra: add ma27 as maintainer	2017-02-19 16:51:01 +01:00
Maximilian Bosch	5d62724e27	geogebra: 5-0-328-0 -> 5-0-331-0	2017-02-19 16:44:49 +01:00
Maximilian Bosch	d95868e980	geogebra: 5-0-320-0 -> 5-0-328-0	2017-02-14 17:43:58 +01:00
Rongcui Dong	acce1d9ad2	ngspice: Add XSpice and Cider support	2017-02-13 15:23:38 -08:00
Frederik Rietdijk	2832472da0	golly: use python2	2017-02-10 09:35:10 +01:00
Celine Mercier	78c052e91a	ecopcr: init at 0.8.0	2017-02-06 16:01:08 +01:00
Ian Lancaster	5f67b7b30a	emboss: 6.0.1 -> 6.6.0	2017-02-04 19:05:48 -05:00
Joachim F	2b961075ae	Merge pull request #22231 from Ma27/hotfix/update-geogebra ... geogebra: 5.0.271.0 -> 5-0-320-0	2017-02-03 01:13:07 +01:00
Gabriel Ebner	311ec6abd5	Merge pull request #22361 from peterhoeg/u/crunch ... speedcrunch: 0.11 -> 0.12.0	2017-02-02 07:54:06 +01:00
Rongcui Dong	7ea20c9e27	ngspice: 25 -> 26	2017-02-02 07:42:26 +01:00
Peter Hoeg	58a5d0783e	speedcrunch: 0.11 -> 0.12.0 ... Also: - build against qt5 instead of qt4	2017-02-02 09:13:54 +08:00
Gabriel Ebner	ac10c19746	veriT: 201506 -> 2016	2017-02-01 19:43:02 +01:00
Damien Cassou	58dc8e3024	Remove myself from maintainers	2017-01-31 11:00:14 +01:00
Maximilian Bosch	eda5bca00a	geogebra: 5.0.271.0 -> 5-0-320-0	2017-01-28 17:33:20 +01:00
Vincent Laporte	d40b680101	coq-8.4: fix build of ssreflect and mathcomp	2017-01-25 13:14:31 +00:00
Vincent Laporte	798a87159b	Coq: propagates the findlib package ... So that Coq libraries that need it can easyly use it	2017-01-25 10:29:13 +00:00
Vincent Laporte	9b949be617	coq: minor refactoring	2017-01-25 10:29:13 +00:00
Vincent Laporte	a30e8db9f0	coq: merge files 8.5.nix and 8.6.nix into default.nix	2017-01-25 10:29:13 +00:00
Vincent Laporte	86b74fb76b	alt-ergo: 0.99.1 -> 1.30	2017-01-21 13:44:41 +00:00
Vincent Laporte	8c928cd55a	why3: 0.87.1 -> 0.87.3	2017-01-21 13:31:10 +00:00
Gabriel Ebner	6c9f4a61be	lean: 2017-01-14 -> 3.0.0	2017-01-20 10:59:54 +01:00
Gabriel Ebner	5ad75554b6	lean: 2017-01-06 -> 2017-01-14	2017-01-14 09:37:48 +01:00
Pascal Wittmann	89dfe67f81	Merge pull request #21819 from AtnNn/isabelle ... isabelle: 2016 -> 2016-1	2017-01-13 21:58:57 +01:00
Etienne Laurin	3d301e384e	isabelle: 2016 -> 2016-1	2017-01-11 17:33:04 -05:00
Michael Raskin	39ed261c4c	Merge pull request #21632 from veprbl/sherpa_fix ... sherpa: fix sqlite dependency	2017-01-09 09:58:22 +00:00
Dmitry Kalinkin	0f71012fe6	sherpa: add useful dependencies	2017-01-07 01:36:51 -05:00
Vladimír Čunát	07bf828bd9	Merge branch 'staging'; security /cc #21642	2017-01-06 16:32:47 +01:00
Gabriel Ebner	74a97421ce	lean: 2016-12-30 -> 2017-01-06	2017-01-06 11:57:40 +01:00
Dmitry Kalinkin	2f23d60323	sherpa: fix sqlite dependency	2017-01-04 04:59:06 +00:00
Daiderd Jordan	27660cfdc0	Merge branch 'master' into staging	2017-01-04 01:42:26 +01:00
Domen Kožar	af2cfc076f	haskellPackages.z3: fix #16357	2017-01-03 23:10:24 +01:00
Michael Raskin	7c5784d1f0	maxima: 5.38.1 -> 5.39.0	2017-01-02 21:53:21 +01:00
Daiderd Jordan	5a67b130b9	Merge branch 'master' into staging	2017-01-02 00:54:17 +01:00
Dmitry Kalinkin	c7bcb99ff2	root: 6.04.18 -> 6.08.02 ... This relies on e9d60c56 ('libc++3.7: fix to use with modern compilers')	2017-01-01 17:52:03 -05:00
Pascal Wittmann	039e90c9d3	fityk: 1.3.0 -> 1.3.1	2017-01-01 18:19:39 +01:00
Gabriel Ebner	68b2d43c88	lean: 2016-12-08 -> 2016-12-30	2016-12-31 13:51:10 +01:00
Dmitry Kalinkin	8fb6895614	sherpa: init at 2.2.1	2016-12-30 14:27:55 -05:00
Michael Raskin	e65cccb776	Merge pull request #21221 from rardiol/gplates ... gplates: init at 2.0.0	2016-12-28 10:21:23 +00:00
mimadrid	29cb10c021	igv: 2.3.77 -> 2.3.89	2016-12-23 19:37:10 -05:00
John Wiegley	4888bfecc2	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect ... Addresses #14829	2016-12-22 10:35:56 -08:00
Jason Daniel Augustine Gilliland	59ca5d213f	freebayes: init at 1.1.0 ... Signed-off-by: zimbatm <zimbatm@zimbatm.com>	2016-12-22 14:10:37 +00:00
ft@zeus	1b8aec421b	stellarium: 0.14.3 -> 0.15.0 ... close #21271	2016-12-21 20:22:44 -05:00
Ricardo Ardissone	662aa495df	gplates: init at 2.0.0	2016-12-16 22:29:53 -02:00
John Wiegley	838a3b4294	coq_8_6: 8.6rc1 -> 8.6	2016-12-14 13:46:07 -08:00
John Wiegley	62934023c3	coq_HEAD: Update to the latest commit as of 2016-12-13	2016-12-13 08:09:23 -08:00
John Wiegley	360234dab6	coq_8_6: new package, based on Coq 8.6rc1	2016-12-13 07:27:15 -08:00
Eelco Dolstra	c5b96ca801	minisat: Fix build on Darwin	2016-12-09 19:57:07 +01:00
Gabriel Ebner	a2210a9efd	lean: init at 2016-12-08	2016-12-08 10:30:28 -05:00
Gabriel Ebner	ce2a9a8f9b	lean2: 2016-07-05 -> 2016-11-29 ... Renamed from lean since upstream renamed it as well. The lean attribute in nixpkgs will now refer to the new lean 3 version.	2016-12-08 10:30:28 -05:00