1077 Commits

Author	SHA1	Message	Date
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
Michael Raskin	3a98749bd1	pari: 2.9.0 -> 2.9.1	2016-12-08 16:15:18 +01:00
Vincent Laporte	431c564993	hol_light: fix build with Camlp5-6.17	2016-11-29 18:34:21 +00:00
Nicolò Balzarotti	f390d68b75	yarp: 2.3.66.1 -> 2.3.68	2016-11-28 17:03:19 +01:00
Michael Raskin	fcc5a4d3b8	Merge pull request #20672 from AndersonTorres/pari ... pari/gp: 2.7.6 -> 2.9.0	2016-11-26 13:34:15 +00:00
Ole Krüger	a31c37c759	[mathematica] 10.0.2 -> 11.0.1	2016-11-25 12:13:41 +01:00
AndersonTorres	d395439a10	pari/gp: 2.7.6 -> 2.9.0 ... Adding gp2c compiler, too.	2016-11-24 22:44:56 -02:00
Vladimír Čunát	4c19651108	Merge #20264: root: fix environment setup	2016-11-14 22:27:09 +01:00
Justin Bedo	a6d6a3972f	plink-ng: init at 1.90b3	2016-11-14 20:28:39 +11:00
Shea Levy	2ded9f3f7b	coq: Improve emacs buffer handling	2016-11-13 14:01:01 -05:00
Austin Seipp	0bdc0143fe	nixpkgs: proverif 1.94 -> 1.95 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2016-11-10 03:45:51 +00:00
Frederik Rietdijk	3b5d5041ef	Merge pull request #20267 from jbedo/master ... Fix bcftools installation prefix	2016-11-09 21:57:46 +01:00
Gabriel Ebner	8c4aee4c79	z3: 4.4.1 -> 4.5.0	2016-11-08 16:14:16 -05:00
Justin Bedo	ec31e2cc27	Fix bcftools installation prefix	2016-11-09 08:03:04 +11:00
Tim Steinbach	6d11e8ed4c	Remove pal2nal ... No longer build/exists	2016-11-03 21:58:47 -04:00
Tim Steinbach	c36a1d6502	paml: 4.2a -> 4.9c	2016-11-03 21:33:19 -04:00
Vincent Laporte	b028b5f4ef	coq-8.5: ease the selection of an older (patch level) version	2016-11-02 19:39:22 +01:00
Vincent Laporte	b840da02cd	coq: build and install the votour utility	2016-11-02 19:23:15 +01:00
Vincent Laporte	da68cc24f0	coq: 8.5pl2 -> 8.5pl3	2016-11-02 19:23:15 +01:00
vbgl	7f241baaaf	Merge pull request #19902 from dtzWill/update/yices ... yices: 2.3.1 -> 2.5.1	2016-10-31 09:35:21 +01:00
Will Dietz	0443affe17	yices: Add darwin to meta.platforms	2016-10-30 13:38:07 -05:00
Dmitry Kalinkin	9434ec5441	root: fix environment setup ... 1) s/envHook/postHook/ 2) patch to not set $p that fixes nested ```nix-shell -p root``` calls	2016-10-29 14:47:32 -04:00
Ertugrul Söylemez	9c8f6fb4fb	pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable".	2016-10-27 14:48:03 +02:00
Michael Raskin	f9f23084d9	pari_alpha: fix source link	2016-10-27 12:17:16 +02:00
Will Dietz	3cf27a654a	yices: Build in parallel, run tests, fix test shebang.	2016-10-26 13:01:21 -05:00
Will Dietz	8584ec97ed	yices: fix install target by using 'true' as ldconfig	2016-10-26 12:59:34 -05:00
Will Dietz	1f89121551	yices: 2.3.1 -> 2.5.1	2016-10-26 12:59:06 -05:00
Frederik Rietdijk	7077a270bf	Merge remote-tracking branch 'upstream/master' into HEAD	2016-10-26 13:06:43 +02:00
Michael Raskin	28aa92de64	maxima: support building with ECL; optionally support building maxima.fas when building with ECL	2016-10-26 11:06:41 +02:00
Michael Raskin	36804c75e4	singular: Wrap executables instead of symlinking ... This way config scripts can fidn out their own location	2016-10-26 11:06:40 +02:00
Michael Raskin	2bed05d8e1	singular: add an option to install as libsingular	2016-10-26 11:06:40 +02:00
Michael Raskin	8e9ad9bfdc	pari_alpha: use perl to generate function descriptions	2016-10-26 11:06:40 +02:00
Michael Raskin	5af1b7ad02	singular: 3-1-2 -> 3-1-7	2016-10-26 11:06:39 +02:00
Michael Raskin	93bea1ecb0	R: 3.2.3 -> 3.2.4	2016-10-26 11:06:37 +02:00
Michael Raskin	5f418b75d6	nauty: init at 26r7	2016-10-26 11:06:36 +02:00
Michael Raskin	a67a50895c	gfan: init at 0.5	2016-10-26 11:06:36 +02:00
Michael Raskin	71f659d86d	pari_alpha: init at 2.8.0.alpha: planning to use for Sage	2016-10-26 11:06:34 +02:00
Michael Raskin	411d5742ca	symmetrica: init at 2.0	2016-10-26 11:06:33 +02:00
Michael Raskin	c450d7b0a8	ratpoints: init at 2.1.3	2016-10-26 11:06:33 +02:00
Frederik Rietdijk	e56832d730	Merge remote-tracking branch 'upstream/master' into HEAD	2016-10-22 17:23:24 +02:00
Vladimír Čunát	4328629bf8	treewide: fix meta evaluation ... There is no `stdenv.maintainers`. /cc @veprbl.	2016-10-22 12:05:23 +02:00
Jörg Thalheim	9c0b5e4b22	Merge pull request #19666 from veprbl/hep_for_upstream ... Add fastjet, hepmc, yoda, rivet, lhapdf, herwig, pythia, sacrifice, nlojet++	2016-10-21 21:58:45 +02:00
Dmitry Kalinkin	ef96b48659	root: s/python/python2/	2016-10-21 15:47:38 -04:00
Dmitry Kalinkin	59a8aff8e6	root: add veprbl to maintainers	2016-10-21 13:30:30 -04:00
Dmitry Kalinkin	b4e3e7b752	add veprbl to maintainers	2016-10-21 13:29:57 -04:00
=	d6880b210c	yarp: 2.3.65 -> 2.3.66.1	2016-10-20 19:34:03 +02:00