Vincent Laporte
eb7312ca7d
maxima: 5.39.0 -> 5.40.0
2017-08-05 10:48:50 +02:00
Théo Zimmermann
057ffcf0dd
coq: adding myself to the maintainers
2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051
coq: use camlp5_strict
...
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00
coq: 8.6 -> 8.6.1
2017-08-04 19:52:51 +02:00
Silvan Mosberger
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
Frederik Rietdijk
3ed7975b65
Merge pull request #27844 from mimadrid/update/igv-2.3.98
...
igv: 2.3.89 -> 2.3.98
2017-08-01 21:52:33 +02:00
Frederik Rietdijk
d1af3b33aa
Merge pull request #27006 from Infinisil/scyther
...
scyther: init at 1.1.3
2017-08-01 21:48:47 +02:00
mimadrid
20fb18bdbc
igv: 2.3.89 -> 2.3.98
2017-08-01 20:46:31 +02:00
John Wiegley
ea8798acc6
coq2html: New expression
2017-08-01 09:30:20 -07:00
Frederik Rietdijk
903d9daf0f
Merge pull request #27816 from mimadrid/update/calc-2.12.6.1
...
calc: 2.12.5.3 -> 2.12.6.1
2017-08-01 09:19:29 +02:00
mimadrid
eaf1198f39
calc: 2.12.5.3 -> 2.12.6.1
2017-07-31 23:27:29 +02:00
Gabriel Ebner
b94da10c27
libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0
2017-07-31 16:29:39 +01:00
Franz Pletz
5d2f5e374f
verilator: build with current flex
2017-07-29 19:51:16 +02:00
Maximilian Bosch
02ceec5343
geogebra: 5-0-369-0 -> 5-0-377-0
2017-07-26 23:06:30 +02:00
Peter Hoeg
45248be2aa
cryptominisat: use new xxd package instead of vim
2017-07-24 09:37:58 +08:00
Silvan Mosberger
313b8b7e4b
scyther: Separated into two derivations
2017-07-23 03:17:38 +02: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
Silvan Mosberger
75fde4130d
scyther: init at 1.1.3
2017-07-16 23:38:05 +02: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
