Frederik Rietdijk
daf3297cb4
Merge master into staging-next
2018-11-12 18:59:08 +01:00
Peter Simons
22a802584f
Merge pull request #50179 from Thra11/r-without-jdk
...
R: Remove jdk dependency on aarch32/64
2018-11-12 12:42:39 +01:00
Frederik Rietdijk
7863aae5b2
Merge master into staging-next
2018-11-11 08:59:44 +01:00
Tom Hall
b51018ed2e
R: Remove jdk dependency on aarch32/64
...
Add javaSupport as an argument for R. Default to false on arm as there is no free jdk on arm.
2018-11-10 20:53:26 +00:00
R. RyanTM
2fd0c31673
calc: 2.12.6.8 -> 2.12.7.1 ( #50173 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/calc/versions
2018-11-10 15:32:06 +01:00
Gabriel Ebner
698ad2dd4d
nasc: 0.5.0 -> 0.5.1
2018-11-10 14:18:31 +01:00
Gabriel Ebner
5f2a7607fa
qalculate-gtk: 2.6.2 -> 2.8.1
2018-11-10 13:17:17 +01:00
Frederik Rietdijk
53d00c3351
Merge master into staging-next
2018-11-10 11:08:54 +01:00
Timo Kaufmann
ea8d794026
Merge pull request #50092 from r-ryantm/auto-update/jmol
...
jmol: 14.29.26 -> 14.29.28
2018-11-10 10:13:35 +01:00
R. RyanTM
37f01d5bf8
igv: 2.4.14 -> 2.4.15 ( #50087 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
2018-11-09 22:42:04 -05:00
R. RyanTM
3902a47bed
jmol: 14.29.26 -> 14.29.28
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
2018-11-09 16:17:35 -08:00
Jörg Thalheim
c44e7b2e1c
Merge pull request #50024 from r-ryantm/auto-update/ngspice
...
ngspice: 28 -> 29
2018-11-09 14:35:44 +00:00
R. RyanTM
791286efd9
ngspice: 28 -> 29
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ngspice/versions
2018-11-09 06:07:46 -08:00
Renaud
5810df24a7
Merge pull request #49834 from smaret/gildas-update
...
gildas: 20181001_b -> 20181101_a
2018-11-09 10:20:32 +01:00
Gabriel Ebner
155595b0c7
eprover: 2.1 -> 2.2
2018-11-07 22:33:25 +01:00
Timo Kaufmann
efe6322ce4
pythonPackages.networkx: 2.1 -> 2.2
2018-11-07 20:15:37 +01:00
Timo Kaufmann
72e6e792f6
sage: add fetchSageDiff utility function
2018-11-07 20:15:37 +01:00
Sebastien Maret
1048a7349e
gildas: 20181001_b -> 20181101_a
2018-11-06 17:00:10 +01:00
Jörg Thalheim
b3ed2b4c18
Merge pull request #49728 from vbgl/acgtk-1.5.0
...
acgtk: 1.3.1 -> 1.5.0
2018-11-04 17:09:34 +00:00
Frederik Rietdijk
cb4ff927a1
Merge master into staging-next
2018-11-04 08:49:24 +01:00
Théo Zimmermann
dd21f83950
coq_8_9: init at 8.9+beta1
2018-11-04 07:26:29 +00:00
Vincent Laporte
08ac103970
acgtk: 1.3.1 -> 1.5.0
2018-11-04 06:29:27 +00:00
Renaud
848f2f3d0d
Merge pull request #49559 from ikarulus/librepcb
...
bump version librepcb-unstable: 2018-06-28 -> 2018-10-31
2018-11-03 14:38:39 +01:00
Ikarulus
f5af5b19f4
librepcb-unstable: 2018-06-28 -> 2018-10-31
2018-11-03 13:01:41 +01:00
Matthew Bauer
7f4b26681d
Merge pull request #49417 from matthewbauer/disallow-native-build-inputs
...
Disallow references to nativeBuildInputs
2018-11-02 20:26:48 -05:00
Kevin Quick
411c665f33
yices: 2.6.0 -> 2.6.1
2018-11-02 15:49:09 -07:00
Jan Tojnar
3493f44727
Merge pull request #49560 from worldofpeace/eos-third-update
...
update some elementary thirdparty apps
2018-11-02 21:29:57 +01:00
worldofpeace
0a2420bccd
nasc: 0.4.7 -> 0.5.0
2018-11-02 16:01:05 -04:00
Austin Seipp
3378db6adf
Merge branch 'master' into staging
2018-11-02 14:01:15 -05:00
Michael Raskin
722476273c
Merge pull request #49547 from fadenb/simgrid_3.21
...
simgrid: 3.20 -> 3.21
2018-11-02 14:22:47 +00:00
Vladimír Čunát
a92a2c8e15
Merge branch 'master' into staging
...
Conflict: rename of pythondaemon -> python-daemon.
2018-11-02 14:40:14 +01:00
Tristan Helmich (omniIT)
4f8cac02c6
simgrid: 3.20 -> 3.21
2018-11-02 14:23:39 +01:00
ikarulus
7bd8805408
kicad 5.0.0 -> 5.0.1 ( #49561 )
2018-11-02 10:32:32 +01:00
Gabriel Ebner
5de50f8fa3
Merge pull request #49250 from royneary/nim-0.19
...
nim: 0.18.0 -> 0.19.0
2018-11-02 10:20:13 +01:00
Will Dietz
c417342cd2
Merge pull request #48579 from dtzWill/update/z3-4.8.1
...
z3: 4.7.1 -> 4.8.1
2018-11-02 04:02:24 -05:00
royneary
bb2bae6986
mosdeph: fix compilation with nim 0.19
2018-10-31 22:03:27 +01:00
Frederik Rietdijk
1d196d99be
Merge staging-next into staging
2018-10-30 20:35:15 +01:00
Jörg Thalheim
8df0ca2bbc
coq_8_4: remove
...
verasco was its only user
2018-10-30 13:31:11 +00:00
Tuomas Tynkkynen
067d1cf330
Merge remote-tracking branch 'upstream/master' into staging
...
Conflicts:
pkgs/applications/science/math/sage/sage-src.nix
2018-10-27 19:58:03 +03:00
Timo Kaufmann
2513747356
sage: fix attrname
...
This is a minimal change mainly to make sure repology recognizes this
package as sage. I plan a bit more refactoring later, but this is
intentionally kept minimally invasive so that it won't break anything
and can be backported to 18.09.
2018-10-27 14:18:08 +02:00
Timo Kaufmann
7970a5a475
Merge pull request #49225 from timokau/arb-2.15.1
...
arb: 2.14.0 -> 2.15.1
2018-10-27 12:36:51 +02:00
Timo Kaufmann
fbea2cd77a
arb: 2.14.0 -> 2.15.1
2018-10-27 11:27:03 +02:00
Timo Kaufmann
2ce2fcfc30
pythonPackages.cython: 0.28.5 -> 0.29
...
Needs a sage patch from
https://trac.sagemath.org/ticket/25292
2018-10-24 20:05:44 +02:00
Joachim F
b6a5cd8970
Merge pull request #48812 from mpickering/cedille
...
cedille bug fixes
2018-10-24 15:29:47 +00:00
R. RyanTM
c759273e2e
star: 2.6.1a -> 2.6.1c
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
2018-10-24 15:22:22 +02:00
Timo Kaufmann
db75fe7313
sage: fix doctest
...
The test is depending on the "py2" tag always being added. I patched
that recently to make it possible to test sagedoc individually. Somehow
I missed this doctest.
2018-10-22 14:52:19 +02:00
Matthew Pickering
08e5ef20d8
cedille: Make a seperate output for the base library
...
For now, for normal usage you need to add `${cedille.lib}` to
the `~/.cedille/options` file so that cedille will find the base
libraries. There is no option to pass options by the command line.
2018-10-22 08:43:07 +00:00
Matthew Pickering
f7d4bc2c71
cedille: Apply patch which unbreaks the options file
...
See https://github.com/cedille/cedille/issues/29
2018-10-22 08:42:01 +00:00
Timo Kaufmann
b39142cd1f
sage: fix dochtml tests
2018-10-21 19:17:07 +02:00
Timo Kaufmann
38c2be5ffe
sage: fix docbuild
...
This is only a hotfix without really knowing the issue. See
https://groups.google.com/forum/#!msg/sage-packaging/VU4h8IWGFLA/mrmCMocYBwAJ
2018-10-21 14:16:06 +02:00