Frederik Rietdijk
60a3973a55
Merge staging-next into staging
2019-01-05 10:15:00 +01:00
Piotr Bogdan
71f216b7e6
golly-beta: link with lib{dl,GL} explicitly
2019-01-04 21:44:19 +00:00
Piotr Bogdan
ae7557c4cb
avogadro: fix libX11 underlinking
2019-01-04 21:13:57 +00:00
Frederik Rietdijk
9618abe87c
Merge master into staging-next
2019-01-04 21:13:19 +01:00
Lengyel Balazs
f4a53ff3bc
treewide/xorg: replace *proto with xorgproto
2019-01-04 14:38:57 +01:00
Frederik Rietdijk
0a2caa41fe
Python: drop python.majorVersion
...
Drop `python.majorVersion`. For Python language version, use `python.pythonVersion`.
For implementation version, use `python.sourceVersion`.
Some expressions were broken. Those that were identified were fixed.
fixup major
2019-01-04 10:45:22 +01:00
R. RyanTM
c7afdaf5cd
gtkwave: 3.3.97 -> 3.3.98
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2019-01-03 16:44:01 -05:00
Ben Gamari
537b0ac9be
ngspice: 29 -> 30
...
Just a simple bump.
2019-01-03 16:16:51 -05:00
Frederik Rietdijk
2da31b80bb
Merge master into staging-next
2019-01-03 20:07:35 +01:00
markuskowa
d38f103586
Merge pull request #53312 from r-ryantm/auto-update/gromacs
...
gromacs: 2018.4 -> 2019
2019-01-03 18:52:49 +01:00
R. RyanTM
344fd2319b
gromacs: 2018.4 -> 2019
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2019-01-03 05:58:09 -08:00
R. RyanTM
c00dbcb7c4
picard-tools: 2.18.20 -> 2.18.21
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-01-03 08:39:10 +01:00
Frederik Rietdijk
092e3b50a8
Merge master into staging-next
2019-01-02 21:08:27 +01:00
Vladimír Čunát
70bff06140
Merge branch 'master' into staging
2019-01-02 17:19:23 +01:00
R. RyanTM
e6d8d29f30
kicad: 5.0.1 -> 5.0.2 ( #52866 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kicad/versions
2019-01-01 20:02:29 +01:00
Frederik Rietdijk
070290bda7
Merge master into staging-next
2018-12-31 12:00:36 +01:00
Vincent Laporte
ea92816c74
why3: 1.1.0 -> 1.1.1 ( #52980 )
2018-12-29 21:05:23 +01:00
Timo Kaufmann
7abdacc4f2
Merge pull request #51039 from timokau/sage-8.5
...
sage: 8.4 -> 8.5
2018-12-29 16:15:38 +01:00
Timo Kaufmann
8cd7b5aab3
gap: 4r8p10 -> 4.10.0 ( #53037 )
...
This new version also has a libgap replacement, so after the next sage
update gap-libgap-compatible and libgap won't be necessary anymore.
2018-12-29 16:05:56 +01:00
Timo Kaufmann
22c16ed300
Merge remote-tracking branch 'upstream/master' into sage-8.5
2018-12-29 12:16:02 +01:00
Timo Kaufmann
95909d4fb6
Revert "sage: preload openblasCompat"
...
This reverts commit 4900bbee17
.
The issue that was supposed to fix is now fixed by lazy-loading rpy2 and
makign sure scipy is loaded before that.
That is not quite as nice, but preloading is now causing its own issues
with openblas 0.3.4:
https://github.com/xianyi/OpenBLAS/issues/1936
2018-12-28 23:06:05 +01:00
Timo Kaufmann
360eddd3a3
sage: remove outdated patch files
2018-12-28 23:06:05 +01:00
Timo Kaufmann
6f0f06ec89
sage: 8.5.rc1 -> 8.5
2018-12-28 23:06:05 +01:00
Andrey Komarov
bc7aa5d202
iverilog: 2017.08.12 -> 2018.12.15
2018-12-28 07:53:36 -06:00
Frederik Rietdijk
10afccf145
Merge staging-next into staging
2018-12-27 18:11:34 +01:00
R. RyanTM
338cf1a7fc
igv: 2.4.15 -> 2.4.16
...
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-12-26 10:44:01 +01:00
Jan Tojnar
c45e9d0fac
Merge branch 'master' into staging
2018-12-25 17:03:57 +01:00
Alexey Shmalko
a5306b311b
Merge pull request #52768 from r-ryantm/auto-update/stellarium
...
stellarium: 0.18.2 -> 0.18.3
2018-12-24 16:38:24 +02:00
Jan Tojnar
ef935fa101
Merge branch 'master' into staging
2018-12-24 15:02:29 +01:00
R. RyanTM
c6cc68a510
stellarium: 0.18.2 -> 0.18.3
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/stellarium/versions
2018-12-24 04:42:47 -08:00
Jörg Thalheim
5bae6dea20
Merge pull request #52669 from r-ryantm/auto-update/verilator
...
verilator: 4.006 -> 4.008
2018-12-22 12:51:50 +01:00
R. RyanTM
d4021ad9e4
verilator: 4.006 -> 4.008
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2018-12-22 03:33:41 -08:00
Dmitry Kalinkin
62aea9510c
Merge pull request #51796 from bachp/dsview-0.99
...
dsview: init at 0.99
2018-12-21 17:40:40 -05:00
Alex Branham
a5fc513079
R: 3.5.1 -> 3.5.2
...
Closes https://github.com/NixOS/nixpkgs/pull/52571 .
2018-12-21 13:59:36 +01:00
Pascal Bach
3facb3bf79
dsview: init at 0.99
2018-12-21 10:24:16 +01:00
Samuel Dionne-Riel
3c38cc8058
Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1
...
aarch64: ZHF for aarch64 (1/??)
2018-12-20 21:06:52 -05:00
Renaud
6f5ec9d889
Merge pull request #52134 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.18.17 -> 2.18.20
2018-12-19 17:53:47 +01:00
Frederik Rietdijk
9ab61ab8e2
Merge staging-next into staging
2018-12-19 09:00:36 +01:00
volth
fed7914539
Merge branch 'staging' into make-perl-pathd
2018-12-18 17:13:27 +00:00
Renaud
921caad16d
Merge pull request #52284 from r-ryantm/auto-update/gtkwave
...
gtkwave: 3.3.95 -> 3.3.97
2018-12-17 16:23:56 +01:00
Gabriel Ebner
21597583f9
Merge pull request #52067 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 2.8.1 -> 2.8.2
2018-12-17 09:46:32 +01:00
markuskowa
96b0a38f07
Merge pull request #52015 from r-ryantm/auto-update/star
...
star: 2.6.1c -> 2.6.1d
2018-12-16 23:38:37 +01:00
Timo Kaufmann
b09967d812
sage: 8.5.rc0 -> 8.5.rc1
2018-12-16 21:33:28 +01:00
Jörg Thalheim
33c227c23b
Merge pull request #52392 from r-ryantm/auto-update/calc
...
calc: 2.12.7.1 -> 2.12.7.2
2018-12-16 17:33:43 +00:00
R. RyanTM
ae22d3dc85
cubicle: 1.1.1 -> 1.1.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cubicle/versions
2018-12-16 17:24:47 +01:00
R. RyanTM
67536060ac
calc: 2.12.7.1 -> 2.12.7.2
...
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-12-16 07:44:09 -08:00
R. RyanTM
b26ba90c34
jmol: 14.29.28 -> 14.29.29 ( #52275 )
...
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-12-16 09:22:07 +01:00
R. RyanTM
54ece098fd
gtkwave: 3.3.95 -> 3.3.97
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2018-12-15 18:07:39 -08:00
Michael Raskin
2f0cbb34cf
Merge pull request #52171 from r-ryantm/auto-update/pari
...
pari: 2.11.0 -> 2.11.1
2018-12-15 12:08:50 +00:00
markuskowa
feb0aba969
Merge pull request #52153 from r-ryantm/auto-update/octopus
...
octopus: 8.2 -> 8.3
2018-12-15 11:46:44 +01:00
R. RyanTM
943e6fa283
pari: 2.11.0 -> 2.11.1
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pari/versions
2018-12-14 22:17:15 -08:00
volth
bb9557eb7c
lib.makePerlPath -> perlPackages.makePerlPath
2018-12-15 03:50:31 +00:00
R. RyanTM
b8e09ad0b5
octopus: 8.2 -> 8.3
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/octopus/versions
2018-12-14 19:45:56 -08:00
R. RyanTM
b261fb0474
picard-tools: 2.18.17 -> 2.18.20
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2018-12-14 16:27:07 -08:00
R. RyanTM
a7e1717d4b
qalculate-gtk: 2.8.1 -> 2.8.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/qalculate-gtk/versions
2018-12-14 07:37:22 -08:00
luz.paz
ab9532b1fe
gmsh: 4.0.5 -> 4.0.7
2018-12-14 08:01:20 -05:00
R. RyanTM
87481c2ff1
star: 2.6.1c -> 2.6.1d
...
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-12-14 01:07:34 -08:00
Samuel Dionne-Riel
5e1dfd3025
avy: Disable build on aarch64-linux
2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
7aabdea1ca
aspino: Disable build on aarch64-linux
...
This is due to glucose not building.
2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
516f436614
glucose: Disable build on aarch64-linux
2018-12-10 14:55:20 -05:00
Timo Kaufmann
90bc5ce04d
sage: 8.5.beta5 -> 8.5.beta6
2018-12-10 19:36:24 +01:00
Timo Kaufmann
f0ea741a9a
Merge pull request #51786 from symphorien/giac-1.5
...
giac: 1.4.9 -> 1.5.0
2018-12-10 13:40:03 +01:00
Maximilian Bosch
de02111a51
Merge pull request #51534 from jbedo/bowtie2
...
bowtie2: fix missing dependencies
2018-12-10 00:58:51 +01:00
Symphorien Gibol
29242e472e
giac: build with nauty support
2018-12-09 23:18:58 +01:00
Symphorien Gibol
2253b3e760
nauty: also install libs
2018-12-09 23:18:53 +01:00
Symphorien Gibol
8b4f885264
giac: add missing optional dependencies
2018-12-09 23:18:53 +01:00
Symphorien Gibol
e7801461e0
giac: don't split in multiple outputs for when gui enabled
...
This breaks the Phys and Turtle menu, among other things.
2018-12-09 23:18:53 +01:00
Symphorien Gibol
b5435d0551
giac: 1.4.9 -> 1.5.0
2018-12-09 23:18:46 +01:00
Frederik Rietdijk
e0950ae9ad
Merge master into staging-next
2018-12-08 12:40:13 +01:00
Sebastien Maret
da314a44ea
gildas: 20181101_a -> 20181201_a
2018-12-06 12:02:05 +01:00
Justin Bedo
8c5251e3c0
bowtie2: fix missing dependencies
2018-12-05 10:51:30 +11:00
Frederik Rietdijk
a510aa2672
Merge master into staging-next
2018-12-03 12:18:43 +01:00
Timo Kaufmann
5f2b8de75c
Revert "pythonPackages.cypari2: 1.3.1 -> 2.0.1 ( #49446 )" ( #51414 )
...
This reverts commit d9b650f4cc
.
The update is causing segfaults. See
https://trac.sagemath.org/ticket/26442 .
2018-12-03 00:44:33 +01:00
markuskowa
506d4c7e44
Merge pull request #51329 from c0bw3b/cleanup/gnu-https
...
Favor HTTPS URLs - the GNU edition
2018-12-02 16:52:33 +01:00
c0bw3b
0498ccd076
Treewide: use HTTPS on GNU domains
...
HTTP -> HTTPS for :
- http://gnu.org/
- http://www.gnu.org/
- http://elpa.gnu.org/
- http://lists.gnu.org/
- http://gcc.gnu.org/
- http://ftp.gnu.org/ (except in fetchurl mirrors)
- http://bugs.gnu.org/
2018-12-02 15:51:59 +01:00
c0bw3b
0f868d8116
Treewide: use HTTPS on SourceForge
2018-12-02 15:33:08 +01:00
Jan Tojnar
a51a99c690
gobject-introspection: rename package
...
camelCase package name was a huge inconsistency in GNOME package set.
2018-12-02 12:42:29 +01:00
Brenton Horne
10f40f3ac6
scilab-bin: adding application launchers
...
Moving the desktop configuration files from
opt/scilab-$ver/share/applications to share/applications, making the
required changes, and moving the icons in opt/scilab-$ver/share/icons to
share/icons. Moving locales, appdata and mime out of there
opt/scilab-${ver} too. Also removing unneeded scilab-${ver} and
scilab-${majorVer} symlinks from bin/.
2018-12-02 17:53:40 +10:00
Brenton Horne
7041972128
scilab-bin: adding bin/scilab symlink ( #51346 )
...
Should fix #51343 , merely adding a scilab symlink within the bin/ directory, so that it can be detected by SageMath.
2018-12-01 23:25:40 +01:00
Timo Kaufmann
88b69a0d40
Merge pull request #51337 from timokau/sagenb-matplotlib-fix
...
sage: misc fixes
2018-12-01 22:04:48 +01:00
Timo Kaufmann
0e570199de
sage: fix jmol integration
2018-12-01 21:31:29 +01:00
Timo Kaufmann
cb73495f02
sagenb: fix matplotlib path
2018-12-01 20:41:40 +01:00
Timo Kaufmann
d9b650f4cc
pythonPackages.cypari2: 1.3.1 -> 2.0.1 ( #49446 )
2018-12-01 12:57:55 +01:00
Jan Tojnar
c5881ec2c9
Merge remote-tracking branch 'upstream/master' into staging
2018-11-30 20:09:45 +01:00
Frederik Rietdijk
1828a5c5ba
Merge master into staging-next
2018-11-30 17:46:21 +01:00
Matthew Bauer
76c7a8bac0
Merge pull request #51205 from matthewbauer/more-setup-hooks
...
Add premake & imake setup hook
2018-11-29 19:36:25 -06:00
Frederik Rietdijk
9b81c7e455
Merge staging-next into staging
2018-11-29 09:18:35 +01:00
Frederik Rietdijk
9db2421d1f
Merge master into staging-next
2018-11-29 08:12:56 +01:00
Matthew Bauer
c0a804c747
treewide: add dontUseImakeConfigure where needed
...
We need to set dontUseImakeConfigure in a few places to prevent imake
from overriding the default configure phase. This packages all have a
configure script that needs to get run:
- Xaw3d
- R
- tkgate
- ssvnc
2018-11-28 20:14:45 -06:00
Matthew Bauer
8a4da41849
xearth: use imake setup hook
2018-11-28 20:14:36 -06:00
Will Dietz
d7a0e03cfa
Merge pull request #51162 from dtzWill/update/z3-4.8.3
...
z3: 4.8.1 -> 4.8.3
2018-11-28 18:15:31 -06:00
Timo Kaufmann
aa053197de
Merge pull request #51191 from timokau/sage-fixes
...
sage: fix test timeout and downgraded R tests
2018-11-28 23:10:32 +01:00
Timo Kaufmann
d6376bca6d
sage: don't test the downgraded R
...
Fails transiently. See https://github.com/NixOS/nixpkgs/pull/49249 . The
failures look harmless and are fixed with R 3.5 which will be used in
sage 8.5.
2018-11-28 22:52:15 +01:00
Timo Kaufmann
359bf7f1e3
sage: disable test timeout
...
Hydra build failed due to timeout:
https://hydra.nixos.org/build/84870983
2018-11-28 22:37:24 +01:00
Timo Kaufmann
4900bbee17
sage: preload openblasCompat
2018-11-28 20:44:09 +01:00
Renaud
d209180c78
Merge pull request #51087 from Luz/librepcb
...
librepcb: 20181031 -> 0.1.0
2018-11-28 08:19:13 +01:00
Will Dietz
a034d90e3b
z3: 4.8.1 -> 4.8.3
...
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
2018-11-27 22:00:19 -06:00
Timo Kaufmann
7ca2915a50
sage: 8.5.beta4 -> 8.5.beta5
2018-11-27 18:26:16 +01:00
Timo Kaufmann
2dd9a0ed72
Merge remote-tracking branch 'upstream/master' into sage-8.5
2018-11-27 18:25:39 +01:00
R. RyanTM
36a0335d02
picard-tools: 2.18.14 -> 2.18.17 ( #50647 )
...
* picard-tools: 2.18.14 -> 2.18.16
Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.16
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
* picard-tools: 2.18.16 -> 2.18.17
Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.17
2018-11-27 14:31:09 +01:00
Nick Hu
583911a0b2
quantomatic: init at 0.7
2018-11-26 21:51:58 +00:00
Luz
021b6e86fa
librepcb: 20181031 -> 0.1.0
2018-11-26 22:33:39 +01:00
Vladimír Čunát
a5de78b7d7
Merge branch 'master' into staging-next
2018-11-26 10:28:00 +01:00
Timo Kaufmann
90cebaf828
sage: 8.5.beta3 -> 8.5.beta4
2018-11-25 19:39:18 +01:00
Timo Kaufmann
2a87caa892
sage: 8.5.beta2 -> 8.5.beta3
2018-11-25 19:39:17 +01:00
Timo Kaufmann
3370247f7f
sage: 8.5.beta1 -> 8.5.beta2
2018-11-25 19:39:17 +01:00
Timo Kaufmann
883aa99226
sage: add short tests
2018-11-25 19:39:13 +01:00
Timo Kaufmann
8e7da1b8a4
sage: 8.5.beta0 -> 8.5.beta1
2018-11-25 19:36:21 +01:00
Timo Kaufmann
6138f5d5eb
sage: 8.4 -> 8.5.beta0
2018-11-25 19:36:21 +01:00
Timo Kaufmann
2fbde72556
sage: add tkinter as matplotlib backend ( #51032 )
...
Fixes #50959 .
2018-11-25 17:38:45 +01:00
Timo Kaufmann
98c94d3d7d
sage: add jupyter notebook support
...
Fixes #48544 .
2018-11-25 15:54:31 +01:00
Timo Kaufmann
0c23fa9aaf
Merge pull request #50998 from timokau/sage-refactor
...
Sage refactor
2018-11-24 23:59:28 +01:00
Timo Kaufmann
a0723f1285
sage: don't fix node version
2018-11-24 23:14:38 +01:00
Timo Kaufmann
e28a8ed287
sage: add some flexibility to the test runner
...
Make it possible to run individual tests. This is very useful while
git-bisecting.
2018-11-24 23:14:38 +01:00
Timo Kaufmann
21f9123ea6
sage: remove openblas hack
...
The pc files have since been included into the openblas package.
2018-11-24 23:14:38 +01:00
Timo Kaufmann
3832ddedb9
sage: refactor
2018-11-24 23:14:33 +01:00
c0bw3b
0ea604ac1d
Treewide: use https for SourceForge
2018-11-24 19:58:03 +01:00
Timo Kaufmann
9b4a518465
sage: drop known-padics-failure patch
...
The failure was not observed for a while and is probably fixed now.
2018-11-24 19:01:57 +01:00
Timo Kaufmann
ca6475b5e8
sage: drop unused patches
2018-11-24 19:01:57 +01:00
Frederik Rietdijk
c1792242ef
Merge staging-next into staging
2018-11-24 10:44:50 +01:00
Frederik Rietdijk
e41154d1ab
Merge master into staging-next
2018-11-24 10:43:33 +01:00
Gabriel Ebner
4e1323a0cf
vampire: fix nondeterministic hash
...
Probably related to #8567
2018-11-22 14:15:55 +01:00
Michael Raskin
6fe39605df
polymake: init at 3.2r4
2018-11-22 12:29:14 +03:00
Frederik Rietdijk
2219e2578e
Merge staging-next into staging
2018-11-22 10:10:40 +01:00
Frederik Rietdijk
c31cb577ae
Merge master into staging-next
2018-11-22 09:57:08 +01:00
worldofpeace
2e70b40f58
Merge pull request #49376 from dpaetzel/package-netlogo
...
NetLogo: init 6.0.4
2018-11-21 21:37:01 -05:00
Frederik Rietdijk
fed881e510
Merge staging-next into staging
2018-11-21 12:39:46 +01:00
Frederik Rietdijk
701375662b
Merge master into staging-next
2018-11-21 12:39:20 +01:00
Gabriel Ebner
f505340252
iprover: 2.5 -> 2018_Jul_24_11h
2018-11-21 12:15:48 +01:00
David Pätzel
fa623ad828
netlogo: init 6.0.4
2018-11-21 09:38:22 +01:00
Matthew Bauer
d492f53faf
Merge pull request #50527 from matthewbauer/ninja-check-phase
...
Add check phase to ninja setup hook
2018-11-20 16:55:12 -06:00
markuskowa
0e98312b72
Merge pull request #50734 from r-ryantm/auto-update/gromacs
...
gromacs: 2018.3 -> 2018.4
2018-11-20 22:14:05 +01:00
Frederik Rietdijk
aabf1a93bc
Merge staging-next into staging
2018-11-20 11:51:11 +01:00
Frederik Rietdijk
fd26e7be2a
Merge master into staging-next
2018-11-20 11:47:26 +01:00
Renaud
6550c0275e
Merge pull request #50703 from r-ryantm/auto-update/ltl2ba
...
ltl2ba: 1.2b1 -> 1.2
2018-11-19 22:21:52 +01:00
luzpaz
0ec2af3736
gmsh: 4.0.4 -> 4.0.5
...
Manually updated
2018-11-19 11:12:38 -05:00
R. RyanTM
08a0192340
gromacs: 2018.3 -> 2018.4
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2018-11-19 06:47:47 -08:00
R. RyanTM
5648699f6c
ltl2ba: 1.2b1 -> 1.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ltl2ba/versions
2018-11-19 02:28:38 -08:00
Frederik Rietdijk
e343a85cfb
Merge master into staging-next
2018-11-19 09:55:32 +01:00
Matthew Bauer
2c47a4229f
treewide: remove ctest usages
...
These are already in the generated makefiles!
2018-11-18 19:31:02 -06:00
Matthew Bauer
2c1d3a9a82
Merge remote-tracking branch 'upstream/master' into staging
2018-11-18 19:02:09 -06:00
Jörg Thalheim
1282ba6ac4
Merge pull request #50554 from r-ryantm/auto-update/verilator
...
verilator: 4.004 -> 4.006
2018-11-18 12:18:45 +00:00
Frederik Rietdijk
0d0d7dcd06
Merge staging-next into staging
2018-11-18 10:41:34 +01:00
Frederik Rietdijk
63c6875f26
Merge master into staging-next
2018-11-18 10:32:12 +01:00
R. RyanTM
ee521455da
verilator: 4.004 -> 4.006
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2018-11-18 00:14:21 -08:00
Renaud
44f24a1b8c
Merge pull request #50474 from Pneumaticat/boinc-update
...
boinc: 7.8.0 -> 7.14.2
2018-11-17 12:03:09 +01:00
Jörg Thalheim
131f2e93b6
sage: unpin nodePackage version
2018-11-16 21:24:25 +00:00
Kevin Liu
c93b16829c
boinc: 7.8.0 -> 7.14.2
2018-11-16 15:52:22 -05:00
Ben Darwin
cb6d819b93
niftyseg: init at 1.0.0
2018-11-16 12:29:29 -05:00
Ben Darwin
6aa3deeb50
niftyreg: init at 1.3.9
2018-11-16 12:24:53 -05:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc
...
solc: 0.4.25 -> 0.5.0
2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64
...
it uses x86-only header:
include <immintrin.h>
^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
2018-11-15 21:25:53 +00:00
Piotr Bogdan
5d0eeeee38
coq2html: switch to default make
2018-11-15 17:41:25 +00:00
Gabriel Ebner
b1c149d47a
tptp: use urls instead of url
...
nix-prefetch-url breaks if the url argument to fetchurl is a list.
2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6
tptp: 7.1.0 -> 7.2.0
2018-11-15 15:50:48 +01:00
Renaud
650036f022
Merge pull request #50359 from jfrankenau/gurobi-java
...
gurobi: install Java library files
2018-11-15 14:13:47 +01:00
Johannes Frankenau
b4e13e6257
gurobi: install Java library files
2018-11-14 19:38:18 +01:00
Jörg Thalheim
987bd62232
Merge pull request #50232 from wucke13/master
...
qgroundcontrol: fixes #49870
2018-11-14 17:10:05 +00:00
Renaud
7ca9d67948
Merge pull request #50102 from r-ryantm/auto-update/gp2c
...
gp2c: 0.0.11 -> 0.0.11pl1
2018-11-14 16:07:49 +01:00
wucke13
c26b42be74
qgroundcontrol: fixes #49870
...
The `.desktop` referenced a non existent script to run `QGroundControl`. This commits adds a `sed` command, which replaces the non existent script by the name of the `QGroundControl` binary in the relevant `.desktop` file.
2018-11-14 13:12:20 +01:00
markuskowa
f597a88542
Merge pull request #50101 from r-ryantm/auto-update/gmsh
...
gmsh: 4.0.2 -> 4.0.4
2018-11-14 12:46:48 +01:00
Markus Kowalewski
644ab709e7
gmsh: restrict platform to x86_64-linux
2018-11-14 12:33:37 +01:00
Markus Kowalewski
ced40eabfd
gmsh: use openblas instead of atlas/lapack
...
* openblas is properly recognized by cmake
* the cmake patch is no longer neccessary
2018-11-14 11:41:46 +01:00
Matthew Bauer
2e18ba6c5a
Merge pull request #49776 from matthewbauer/atlas-remove
...
atlas: remove
2018-11-13 19:18:35 -06:00
markuskowa
2823b5e698
Merge pull request #46667 from costrouc/costrouc/lammps-update
...
lammps: update, hoomd-blue, dl_poly: init
2018-11-13 21:00:02 +01:00
Markus J. Ankenbrand
bf05da0967
hmmer: 3.1b2 -> 3.2.1 ( #50284 )
...
This version was released in June 2018 and has many bug fixes
and improvements compared to the previous version from 2015.
See: https://cryptogenomicon.org/2018/06/07/hmmer-3-2-release/
2018-11-13 15:43:44 +01:00
Frederik Rietdijk
3b052406ea
Merge staging-next into staging
2018-11-12 19:01:36 +01:00
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
1d3bff25db
Merge staging-next into staging
2018-11-11 14:28:08 +01:00
Frederik Rietdijk
7863aae5b2
Merge master into staging-next
2018-11-11 08:59:44 +01:00
markuskowa
45a4adb1b3
Merge branch 'master' into atlas-remove
2018-11-11 02:22:04 +01:00
Markus Kowalewski
6533d7588d
colpack: set platform to linux
2018-11-11 02:17:49 +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
f5b4eb63f3
gp2c: 0.0.11 -> 0.0.11pl1
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gp2c/versions
2018-11-09 17:56:17 -08:00
R. RyanTM
6f2bb3c275
gmsh: 4.0.2 -> 4.0.4
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
2018-11-09 17:41:49 -08: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
Matthew Bauer
3dcb8c10f5
shogun: remove liblapack
...
not needed anymore
2018-11-08 14:42:29 -06:00
Gabriel Ebner
155595b0c7
eprover: 2.1 -> 2.2
2018-11-07 22:33:25 +01:00
Matthew Bauer
349f3dfe25
shogun: use openblas
...
shogun needs the cblas.h header file to be available. It used to get
it from liblapack, but that is not available anymore. Instead we can
use openblasCompat to get it.
2018-11-07 13:18:33 -06: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
Patrick Hilhorst
9ec40cc3bf
treewide: Fix overrides having wrong versions
2018-11-06 00:06:21 +01:00
John Ericson
48caae5045
Merge remote-tracking branch 'upstream/master' into HEAD
2018-11-05 15:19:33 -05:00
Matthew Bauer
95373d3634
atlas: remove
...
atlas is broken and can apparently be removed.
Fixes #49594
2018-11-04 20:23:12 -06: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