Commit graph

3671 commits

Author SHA1 Message Date
Timo Kaufmann 51de320353 palp: add meta.changelog 2020-05-16 15:05:45 +02:00
Mario Rodas b022ecbf5d
lean: 3.10.0 -> 3.13.1 2020-05-16 04:20:00 -05:00
Matt Huszagh e8215cd634 colmap: update boost to 1.72 to fix build 2020-05-15 09:42:36 -07:00
R. RyanTM d11e5f1a4e verilator: 4.032 -> 4.034 2020-05-12 22:27:21 -07:00
R. RyanTM e07dfd38f1 wxmaxima: 20.02.4 -> 20.04.0 2020-05-12 22:12:53 -07:00
Ben Darwin 5e716bf469 vtk: 7.1.1 -> 8.2.0
- also create vtk_7 as several packages don't build with 8.x:
  - itk5: vtkVersion.h header not found at compile time
  - ants: version in tree (2.2.0) is incompatible with 8.2
  - itk4: ants depends on both vtk and itk4, so use vtk_7
  - gdcm: vtk header issue
  - python3Packages.vtk: Python C API compilation error with Python 3.8

- upgrade vtkWithQt4 -> vtkWithQt5
2020-05-11 17:54:29 -04:00
Jörg Thalheim 3a9543b778
Merge pull request #82634 from evils/kicad 2020-05-11 10:27:18 +01:00
R. RyanTM ae4d9cb9a0 stacks: 2.52 -> 2.53 2020-05-10 09:37:29 -07:00
R. RyanTM 92d970c766
snakemake: 5.15.0 -> 5.16.0 (#87496) 2020-05-10 10:09:53 -04:00
R. RyanTM 85b39960b5 SPAdes: 3.14.0 -> 3.14.1 2020-05-10 13:06:19 +00:00
Dmitry Kalinkin e80302dc7d
Merge pull request #86142 from bcdarwin/itk-5.1.0
Itk: 5.0.1 -> 5.1.0
2020-05-09 15:03:28 -04:00
Luz 5e40913eac librepcb: 0.1.3 -> 0.1.4 2020-05-09 09:10:20 +02:00
albakham 0c0f353d62 rofi-calc: 1.6 -> 1.7 2020-05-08 22:12:49 -04:00
Gabriel Ebner 115fa1c129 elan: 0.9.0 -> 0.10.0 2020-05-08 17:17:03 +02:00
Pavol Rusnak 6abf4a43ad
treewide: per RFC45, remove more unquoted URLs 2020-05-08 15:20:47 +02:00
Gabriel Ebner f6f5f6a30f elan: 0.8.0 -> 0.9.0 2020-05-07 15:35:13 +02:00
Mario Rodas 60762e9524
Merge pull request #86216 from bcdarwin/mrtrix-update
mrtrix: 3.0_RC3_latest -> 3.0.0
2020-05-07 06:57:44 -05:00
R. RyanTM bdcefc1053 marvin: 20.9.0 -> 20.10.0 2020-05-06 23:16:23 -07:00
Evils 2d3d8c4d66 kicad-unstable: 2020-04-25 -> 2020-05-06 2020-05-07 02:15:57 +02:00
Evils 1059fdf143 kicad: link utils; clean up wrapper installPhase 2020-05-07 01:54:51 +02:00
Evils 95e4e33bdf kicad-unstable-small: init to make kicad-unstable
the -small packages depend on all hydra buildable dependencies
the non-small ones depend on packages3d which exceeds hydra's limit

set platforms to all (kicad is cross-platform)
clarify package differences in the description

set maintainers on just the top level derivation

switch -unstable to not save debug symbols

indicate patch in version string

note broken dependencies
2020-05-07 01:54:50 +02:00
Evils 18a1b153ac kicad: expose base and libraries attributes 2020-05-07 01:54:50 +02:00
Yurii Rashkovskii c73875ea1e tlaplus: 1.5.6 -> 1.7.0 2020-05-06 12:26:10 -07:00
Jörg Thalheim 3c4096f18b
Merge pull request #86808 from doronbehar/rename-opencv 2020-05-05 20:19:50 +01:00
tim put 33b968049a
kstars: init at 2.9.8 (#86032)
* kstars: init at 2.9.8

* Update pkgs/applications/science/astronomy/kstars/default.nix

Co-authored-by: Manuel Bärenz <programming@manuelbaerenz.de>

Co-authored-by: Manuel Bärenz <programming@manuelbaerenz.de>
2020-05-05 20:38:28 +02:00
markuskowa 73dc3fc400
Merge pull request #86887 from r-ryantm/auto-update/gromacs
gromacs: 2020.1 -> 2020.2
2020-05-05 19:19:04 +02:00
Doron Behar 53effac040 mathematica: explicitly use opencv2 2020-05-05 13:48:55 +03:00
Lancelot SIX b9d13090a8
cytoscape: 3.7.2 -> 3.8.0
See https://cytoscape.org/release_notes_3_8_0.html for release
information
2020-05-05 09:52:27 +01:00
R. RyanTM ed5575071f gromacs: 2020.1 -> 2020.2 2020-05-05 05:59:23 +00:00
Ben Darwin 6f1430a802 ezminc: switch from itk5 to itk4 branch
- itk5 branch currently lacks support for itk 5.1
2020-05-05 00:08:04 -04:00
Mario Rodas 3b6c399fc3
Merge pull request #86720 from r-ryantm/auto-update/picard-tools
picard-tools: 2.22.2 -> 2.22.4
2020-05-04 06:01:31 -05:00
R. RyanTM 0a115f8087 cryptominisat: 5.6.8 -> 5.7.0 2020-05-04 01:41:26 -07:00
R. RyanTM 877b1cdad7 picard-tools: 2.22.2 -> 2.22.4 2020-05-04 04:07:44 +00:00
Mario Rodas 3253c03d2e
lean: 3.9.0 -> 3.10.0 2020-05-02 04:20:00 -05:00
Benjamin Hipple 6b21541772
Merge pull request #86101 from dkudriavtsev/magic-vlsi
magic-vlsi: init at 8.3.5
2020-05-02 13:51:41 -04:00
R. RyanTM a930faab93 mxnet: 1.4.1 -> 1.6.0 2020-05-02 10:17:38 +02:00
R. RyanTM d0afae4298 dcm2niix: 1.0.20190902 -> 1.0.20200331 2020-05-02 10:16:22 +02:00
Wulfsta 5dbc4f7fda elmerfem: init at release-8.4 2020-05-01 18:35:57 -07:00
Timo Kaufmann 7866440f12
Merge pull request #86274 from samlich/sage-matrix-double-dense
sage: fix doctest matrix_double_dense is_unitary
2020-05-01 22:12:10 +00:00
Peter Simons 205e4dffd5
Merge pull request #86081 from jabranham/update-r
R: 3.6.3 --> 4.0.0 & update packages
2020-05-01 20:25:14 +02:00
samlich c0bd938e5c
sage: fix doctest matrix_double_dense is_unitary 2020-05-01 16:04:23 +00:00
R. RyanTM 7333b8cd6d eagle: 9.6.0 -> 9.6.1 2020-05-01 09:09:10 +02:00
Dmitry Kalinkin babf5477f5
Merge pull request #86251 from veprbl/pr/sherpa_2_2_9
sherpa: 2.2.8 -> 2.2.9
2020-04-29 19:10:43 -04:00
Jan Tojnar 2b5e2ffe0a
Merge pull request #86165 from jtojnar/libusb-compat-rename 2020-04-29 08:26:08 +02:00
Dmitry Kalinkin ae0685129b
sherpa: 2.2.8 -> 2.2.9 2020-04-28 16:46:02 -04:00
evils e257a92472
foldingathome: 7.5.1 -> 7.6.9 (#86171) 2020-04-28 17:20:43 +00:00
Ben Darwin 70171d321e mrtrix: 3.0_RC3_latest -> 3.0.0 2020-04-28 10:37:06 -04:00
Daniël de Kok 3ba5bc7130 fasttext: 0.9.1 -> 0.9.2
Changelog:

https://github.com/facebookresearch/fastText/releases/tag/v0.9.2
2020-04-28 12:14:54 +02:00
Jan Tojnar e89e2edc73
libusb-compat-0_1: rename from libusb 2020-04-28 05:33:41 +02:00
Dmitry Kudriavtsev 69f54c1e19 magic-vlsi: init at 8.3.5 2020-04-27 00:13:59 -07:00
Alex Branham 8ce6552d64
R: 3.6.3 -> 4.0.0 2020-04-26 17:06:07 -04:00
Evils b80bd001e2
kicad-unstable: 2020-02-10 -> 2020-04-25
cc #82634
2020-04-26 13:38:37 -04:00
Evils 75963b9160
kicad: update.sh: set -e
and some more suggestions from veprbl

warn if an empty item gets through anyway

and use UTC time

cc #82634
2020-04-26 13:38:13 -04:00
Renato Garcia 22133c6bf3
snakemake: 5.13.0 -> 5.15.0 (#85913) 2020-04-25 09:19:54 -04:00
Konrad Borowski f527f9db3a snakemake: update homepage link to use HTTPS 2020-04-24 19:44:59 -07:00
Konrad Borowski 40dd2c27c6 rink: update homepage link to use HTTPS 2020-04-24 19:44:59 -07:00
Ben Wolsieffer bc93f123ea mavproxy: 1.8.18 -> 1.8.19 2020-04-24 18:03:57 -07:00
Lassulus d0b1de5491
Merge pull request #70401 from bzizou/quast
Quast: init at 5.0.2
2020-04-24 20:26:04 +02:00
Bruno Bzeznik eb51b462aa Quast: init at 5.0.2 2020-04-24 10:11:54 +02:00
Pavol Rusnak 461a252bee
verifast: change license to MIT
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a

As this was the only package using lib.licenses.msrla I dropped it.
2020-04-23 09:59:33 +00:00
worldofpeace b4d5dd861b
Merge pull request #84673 from mmilata/qt5-mkDerivation-stdenv
Use qt5's mkDerivation in packages that otherwise crash
2020-04-22 13:39:46 -04:00
Martin Milata 7d1c2c05c5 caneda: use qt5's mkDerivation 2020-04-22 15:21:49 +02:00
Frederik Rietdijk ec21df329a
Merge pull request #85636 from matthewbauer/blas-lapack-fix-fallout-from-83888
BLAS/LAPACK fix fallout from #83888
2020-04-21 19:59:16 +02:00
Justin Bedo d8d6ecc418 mosdepth: 0.2.6 -> 0.2.9 2020-04-21 19:42:05 +02:00
Maximilian Bosch 68684b6376
stellarium: 0.20.0 -> 0.20.1
https://github.com/Stellarium/stellarium/releases/tag/v0.20.1
2020-04-21 18:05:15 +02:00
Matthew Bauer ff2f2644f8 blas,lapack: use isILP64 instead of is64bit
This is a better name since we have multiple 64-bit things that could
be referred to.

LP64  : integer=32, long=64, pointer=64
ILP64 : integer=64, long=64, pointer=64
2020-04-20 16:02:43 -05:00
markuskowa d9af81af16
Merge pull request #85006 from r-ryantm/auto-update/verilator
verilator: 4.030 -> 4.032
2020-04-20 16:51:31 +02:00
Benjamin Hipple e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin ad7b7367b6 beluga: 20180403 -> unstable-2020-03-11 2020-04-19 21:54:06 -04:00
Mario Rodas f37c9226fc
lean: 3.8.0 -> 3.9.0 2020-04-18 04:20:00 -05:00
Matthew Bauer 97fc083fd4 giac: broken on 64-bit blas 2020-04-17 16:24:31 -05:00
Matthew Bauer 1c8aba8334 treewide: use blas and lapack
This makes packages use lapack and blas, which can wrap different
BLAS/LAPACK implementations.

treewide: cleanup from blas/lapack changes

A few issues in the original treewide:

- can’t assume blas64 is a bool
- unused commented code
2020-04-17 16:24:09 -05:00
worldofpeace 433ea74af1 nasc: fix build 2020-04-15 17:19:47 -04:00
AndersonTorres 3b91c3de8f gp2c: 0.0.11pl2 -> 0.0.11pl3 2020-04-15 00:45:28 -03:00
Benjamin Hipple 17a1bf5dbd
Merge pull request #85069 from r-ryantm/auto-update/ginac
ginac: 1.7.8 -> 1.7.9
2020-04-12 11:18:43 -04:00
R. RyanTM 9b5aad0644 ginac: 1.7.8 -> 1.7.9 2020-04-12 12:04:38 +00:00
R. RyanTM 3fcbc7545c verilator: 4.030 -> 4.032 2020-04-11 15:46:52 +00:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Mario Rodas 8e537ad391
lean: 3.7.2 -> 3.8.0 2020-04-09 10:40:00 -05:00
Matt Huszagh fc66192b37 fparser: init at 4.5.1 2020-04-09 11:28:21 -07:00
Jonathan Ringer 3238302827 libpoly: fix src 2020-04-09 11:22:53 -07:00
R. RyanTM f4a9fe36fa libpoly: 0.1.7 -> 0.1.8 2020-04-09 10:29:28 -07:00
Timo Kaufmann b72fd98789
Merge pull request #84666 from jonringer/repofy-palp
palp: correct metadata for repology
2020-04-08 11:44:33 +00:00
Gabriel Ebner e71c0d80a1
Merge pull request #84583 from r-ryantm/auto-update/qalculate-gtk
qalculate-gtk: 3.8.0 -> 3.8.0a
2020-04-08 11:01:33 +02:00
Vincent Laporte f4ff33cce6 alt-ergo: 2.3.1 → 2.3.2 2020-04-08 10:23:48 +02:00
Jonathan Ringer f89b76d9db
palp: correct metadata for repology 2020-04-07 14:08:03 -07:00
R. RyanTM 67ea5a0081 qalculate-gtk: 3.8.0 -> 3.8.0a 2020-04-07 10:29:32 +00:00
Mario Rodas c9ce292597
Merge pull request #84383 from r-ryantm/auto-update/gmsh
gmsh: 4.5.4 -> 4.5.6
2020-04-05 20:03:05 -05:00
R. RyanTM b43965986f gmsh: 4.5.4 -> 4.5.6 2020-04-05 19:28:16 +00:00
Vincent Laporte d6a8d0ca5b coq_8_11: 8.11.0 → 8.11.1 2020-04-05 15:32:32 +02:00
Frederik Rietdijk 866c5aa090 Merge master into staging-next 2020-04-05 08:33:39 +02:00
Jan Tojnar 418628e162
dsview: fix build
It was using libusb-compat instead of libusb1, and the former no longer propagates the latter.
2020-04-05 01:13:14 +02:00
Timo Kaufmann 02b1f2a2de
Merge pull request #83224 from shnarazk/cadical-pr
cadical: init at 1.2.1
2020-04-04 15:44:04 +00:00
Narazaki, Shuji c5a12e33d2 cadical: init at 1.2.1 2020-04-05 00:22:36 +09:00
Jan Tojnar 08cf27e5d9
libsigrok4dsl: fix build
It was using libusb-compat instead of libusb1, and the former no longer propagates the latter.
2020-04-04 10:50:34 +02:00
Dmitry Kalinkin 99a236b477
Merge pull request #83914 from cgevans/gwyddion-darwin
gwyddion: support darwin
2020-04-01 21:44:21 -04:00
Constantine Glen Evans cacbbe92bf
gwyddion: add darwin support
Gwyddion will build on Darwin, but gnome2.gtkglext is broken there,
and so I am disabling it as an optional dependency here when building
on Darwin.
2020-04-01 17:50:36 -07:00
R. RyanTM 92c8881358 picard-tools: 2.22.0 -> 2.22.2 2020-04-01 17:29:55 +00:00
Timo Kaufmann 83fd89945d
Merge pull request #79661 from luc65r/pkg/cemu
cemu: init at 1.3
2020-03-31 15:17:33 +00:00
R. RyanTM 3017e6989f deeptools: 3.3.1 -> 3.4.1 2020-03-30 21:47:32 -07:00
R. RyanTM cff5adc2fb
snakemake: 5.10.0 -> 5.13.0 (#83839) 2020-03-31 00:39:00 -04:00
R. RyanTM bd245a755f stacks: 2.41 -> 2.52 2020-03-30 16:13:02 -07:00
Ryan Mulligan d8c21cb4bc
Merge pull request #83746 from r-ryantm/auto-update/marvin
marvin: 20.6.0 -> 20.9.0
2020-03-30 06:14:11 -07:00
R. RyanTM 1d349b8512 marvin: 20.6.0 -> 20.9.0 2020-03-30 04:02:45 +00:00
luc65r 8edd400bfb
rofi-calc: init at 1.6 (#83136)
Also:
* maintainers: add albakhamj
* maintainers: add luc65r
* rofi: add plugins argument to wrapper

Co-authored-by: Maciej Krüger <mkg20001@gmail.com>
2020-03-30 01:18:56 +02:00
Maximilian Bosch 9e7c54325e
stellarium: 0.19.3 -> 0.20.0
https://github.com/Stellarium/stellarium/releases/tag/v0.20.0
2020-03-29 17:56:35 +02:00
Jörg Thalheim d04396da8b
Merge pull request #82852 from Mic92/cross-build-rust-package
[WIP] buildRustPackage: enable strictDeps
2020-03-29 14:07:07 +01:00
Guanpeng Xu d2702c915f mathematica: 12.0.0 -> 12.1.0 2020-03-29 14:38:33 +02:00
Jörg Thalheim e841dce44a
rink: fix strict deps build 2020-03-29 12:37:25 +01:00
Constantine Glen Evans 59fbc7acba gwyddion: 2.48 -> 2.55 (and add options)
Gwyddion has a large number of optional dependencies. In this update,
those dependencies have been added with options set mostly to true,
and an option (default false) for working Python 2.7 support in the
program and in Python has been added. I have also added myself as a
maintainer as no maintainer is currently set.
2020-03-27 10:56:00 -07:00
Ryan Mulligan c669d2991b
Merge pull request #83464 from r-ryantm/auto-update/last
last: 1047 -> 1060
2020-03-27 07:34:18 -07:00
R. RyanTM bd3fbef804 last: 1047 -> 1060 2020-03-27 04:12:41 +00:00
Ryan Mulligan 8c5f9d0200
Merge pull request #83390 from r-ryantm/auto-update/seaview
seaview: 5.0 -> 5.0.2
2020-03-26 03:10:56 -07:00
R. RyanTM 4a3ea14b5b seaview: 5.0 -> 5.0.2 2020-03-26 00:25:29 +00:00
Austin Seipp 517fd073fc
xcircuit: 3.9.73 -> 3.10.12, maintain
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 17:46:15 -05:00
Austin Seipp 765b2fd866
mcy: 2020.03.16 -> 2020.03.21
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp 4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Vincent Laporte 618bca7054 alt-ergo: 2.3.0 → 2.3.1 2020-03-24 20:43:06 -04:00
Mario Rodas b2df6d541d
lean: 3.7.0 -> 3.7.2 2020-03-22 04:20:00 -05:00
Mario Rodas baeb670ce2
Merge pull request #82610 from r-ryantm/auto-update/eagle
eagle: 9.5.2 -> 9.6.0
2020-03-20 06:21:30 -05:00
Vincent Laporte 8dddd8a07f ocamlPackages.camlp5: 7.10 → 7.11 2020-03-19 18:04:14 -07:00
Claudio Bley 39767f8ae5
foldingathome: Make FAHControl be able to start the FAHViewer (#82925)
The command to run when clicking the button is configurable, but by default it
tries to run `FAHViewer`.
2020-03-19 13:05:54 +00:00
Austin Seipp 2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16
Now with working web UI dashboard -- but no working GUI (yet!)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp 5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp 9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
- Bump `abc-verifier` (2020.03.05)
  - Install `yosys-abc` symlink for tool compatbility
  - Various `yosys` expression cleanups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Dmitry Kalinkin ebe5f10794
kicad: don't build versions with 3d on Hydra
The hydraPlatforms have to be set on the kicad package itself, that can be
checked using:

  echo ":p { inherit kicad kicad-small kicad-unstable; }" | nix repl ./pkgs/top-level/release.nix

This commit disables build of all kicad variants that require downloading
packages3d, which currently fail on hydra with the "Output limit exceeded"
status. This leaves Hydra with only building the kicad-small, which will allow
us to cache the build of kicad-base as well as all libraries except of
packages3d.
2020-03-16 19:45:04 -04:00
Dmitry Kalinkin 68db99ad97 snakemake: 5.9.1 -> 5.10.0 2020-03-14 15:58:24 -07:00
R. RyanTM bafbfc5a06 eagle: 9.5.2 -> 9.6.0 2020-03-14 20:19:26 +00:00
zimbatm 001be890f7 folding@home: 6.02 -> 7.5.1
The v7 series is very different.

This commit introduces the 3 packages: fahclient, fahcontrol and
fahviewer. It also rebuilds the NixOS module to map better with the new
client.
2020-03-14 13:01:26 -07:00
Frederik Rietdijk 5175c35a99
Merge pull request #81611 from r-ryantm/auto-update/R
R: 3.6.2 -> 3.6.3
2020-03-14 14:29:05 +01:00
Josef Kemetmüller 3a8d05747b qgroundcontrol: Fix build
This silences some warnings to not run into "Log limit exceeded" on
hydra.
2020-03-14 03:18:39 +00:00
Mario Rodas c935567de6 lean: 3.6.1 -> 3.7.0 2020-03-14 01:32:58 +00:00
wucke13 c24b9a57c4 getdp: 3.0.4 -> 3.3.0 2020-03-13 04:10:20 +00:00
R. RyanTM a58d091d8d verilator: 4.028 -> 4.030 2020-03-12 20:57:34 -05:00
Maximilian Bosch 76821e6f43
geogebra: 5-0-573-0 -> 5-0-574-0 2020-03-12 18:12:57 +01:00
Timo Kaufmann ba589e24c9 sage: patch for pari 2.11.3 2020-03-12 12:24:41 +01:00
Timo Kaufmann c4ab541443 pari: backport bug fix
https://trac.sagemath.org/ticket/29313#comment:4
2020-03-12 12:24:35 +01:00
xaverdh 5ac085c3cc
wxmaxima: 18.02.0 -> 20.02.4 (#82323)
The commit description is 18.02.0 -> 20.02.4, because in the last version bump (1c6a193b3e), the version string was changed, but the hash was not.

Co-authored-by: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
2020-03-11 12:07:53 -04:00
Timo Kaufmann 1a6b1fb32a symmetrica: add timokau to maintainers 2020-03-10 18:10:28 +01:00
Timo Kaufmann 0c875c28c6 symmetrica: 2.0 -> 3.0.1
This switches to the sagemath fork, since the original upstream is no
longer maintained and sagemath has effectively maintained symmetrica
through patches for a while now. The update fixes one bug in particular
that has caused failures in the sagemath test suite:

https://github.com/NixOS/nixpkgs/issues/81449
https://trac.sagemath.org/ticket/15312
https://trac.sagemath.org/ticket/29061

Regarding the licensing change:

7cf91b3800
2020-03-10 18:10:25 +01:00
Timo Kaufmann e05e219b31
Merge pull request #82240 from timokau/sage-docutils-0.15-fix
sage: fix test suite with docutils 0.15
2020-03-10 15:25:22 +00:00
Timo Kaufmann 7133577405 sage: fix test suite with docutils 0.15
The better way to fix this would be to backport the upstream sphinx
patch:

faedcc48cc

Unfortunately it doesn't apply cleanly and isn't worth the effort
of backporting. Let's hope we can switch to python3 sage and the recent
sphinx version that comes with it before this becomes a problem.
2020-03-10 13:15:41 +01:00
Timo Kaufmann 63ed2bf3c3
Merge pull request #81950 from r-ryantm/auto-update/pari
pari: 2.11.2 -> 2.11.3
2020-03-09 17:31:14 +00:00
Michael Raskin bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init
clingcon: init at 3.3.0
2020-03-09 07:42:38 +00:00
mucaho 202c2a8eff clingcon: init at 3.3.0 2020-03-08 19:21:55 +01:00
Maximilian Bosch 84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
satallax: Fix build with GCC9
2020-03-08 16:12:40 +01:00
Gabriel Ebner d7a68e9bce
Merge pull request #82028 from r-ryantm/auto-update/qalculate-gtk
qalculate-gtk: 3.7.0 -> 3.8.0
2020-03-08 13:31:00 +01:00
Frederik Rietdijk 0eb0ddc4db Merge staging-next into master 2020-03-08 08:11:01 +01:00
R. RyanTM e6f5bb8dc4 qalculate-gtk: 3.7.0 -> 3.8.0 2020-03-08 00:14:22 +00:00
Vincent Laporte dcfccdfc33
acgtk: 1.5.0 → 1.5.1 (#81539)
Co-authored-by: Jon <jonringer@users.noreply.github.com>
2020-03-07 09:56:18 +01:00
R. RyanTM 6528554396 pari: 2.11.2 -> 2.11.3 2020-03-07 02:43:40 +00:00
Gabriel Ebner 8428f5bb4a elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00
Gabriel Ebner 70e5428d66 elan: 0.7.5 -> 0.8.0 2020-03-06 14:28:36 +01:00
Joachim Breitner 2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)

js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1

Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Frederik Rietdijk 188c3a4d03 Merge staging-next into staging 2020-03-06 07:09:30 +01:00
Mario Rodas 7597bdd59b
Merge pull request #81783 from r-ryantm/auto-update/gmsh
gmsh: 4.5.2 -> 4.5.4
2020-03-05 08:31:38 -05:00
Mario Rodas 1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft
workcraft: 3.2.5 -> 3.2.6
2020-03-05 07:42:25 -05:00
Daniel Schaefer bc56175034 satallax: Fix build with GCC9 2020-03-05 05:16:49 +01:00
R. RyanTM 9974067129 gmsh: 4.5.2 -> 4.5.4 2020-03-05 00:20:08 +00:00
R. RyanTM adcdd7b0a7 gromacs: 2020 -> 2020.1 2020-03-04 23:10:39 +00:00
Jan Tojnar 1a44e325d2
Merge branch 'staging-next' into staging 2020-03-04 21:24:05 +01:00
R. RyanTM 86e6080daf workcraft: 3.2.5 -> 3.2.6 2020-03-04 13:41:09 +00:00
Mario Rodas 5760e001ca
Merge pull request #81706 from r-ryantm/auto-update/picard-tools
picard-tools: 2.21.8 -> 2.22.0
2020-03-04 07:26:05 -05:00
R. RyanTM 343ec80712 picard-tools: 2.21.8 -> 2.22.0 2020-03-04 09:58:40 +00:00
Gabriel Ebner 0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean
lean: 3.6.0 -> 3.6.1
2020-03-04 10:32:38 +01:00
R. RyanTM 5b833c08ef lean: 3.6.0 -> 3.6.1 2020-03-04 06:26:01 +00:00
Aiken Cairncross 3db82f6fc3 python3Packages.monosat: Fix hash
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
markuskowa dbb9fab27f
Merge pull request #81604 from markuskowa/upd-octopus
octopus: 9.1 -> 9.2
2020-03-03 12:45:16 +01:00
R. RyanTM faa5c3bde3 R: 3.6.2 -> 3.6.3 2020-03-03 11:34:22 +00:00
markuskowa 4822d61252
Merge pull request #80977 from r-ryantm/auto-update/quantum-espresso
quantum-espresso: 6.4.1 -> 6.5
2020-03-03 11:09:30 +01:00
Markus Kowalewski eebd6fe75a
octopus: 9.1 -> 9.2 2020-03-03 10:54:23 +01:00
Aiken Cairncross 2148a154c6 python3Packages.monosat: Fix Python 3.8 build 2020-03-03 07:40:57 +01:00
Brenton Horne b07eb54048 marvin: 20.4.0 -> 20.6.0 2020-03-02 21:50:25 +01:00
Jan Tojnar f27031f48f
Merge pull request #81063 from NixOS/netpbm
netpbm: 10.82.01 → 10.89.1
2020-03-02 19:26:25 +01:00
scalavision dbb4826457 truvari:1.3.2->1.3.4 2020-03-02 09:15:58 +01:00
Jan Tojnar 9555834399
netpbm: split into multiple outputs 2020-03-01 15:13:03 +01:00
Frederik Rietdijk 21b808cd76 Merge staging-next into staging 2020-02-29 15:29:45 +01:00
Benjamin Hipple ad30a30488 rustPlatform.fetchCargo: handle custom Cargo.lock patchfiles with validation
Previously, we would asssert that the lockfiles are consistent during the
unpackPhase, but if the pkg has a patch for the lockfile itself then we must
wait until the patchPhase is complete to check.

This also removes an implicity dependency on the src attribute coming from
`fetchzip` / `fetchFromGitHub`, which happens to name the source directory
"source". Now we glob for it, so different fetchers will work consistently.
2020-02-28 18:54:23 -08:00
Matthieu Coudron 05b6836816 torchPackages, torch-repl: remove
See https://github.com/NixOS/nixpkgs/issues/71888
and https://github.com/NixOS/nixpkgs/issues/56398

To sump up, development has moved on to other technologies than lua:
https://github.com/torch/torch7#development-status
and the current packages are broken anyway.
2020-02-28 20:56:42 +01:00
Austin Seipp 7e66ce29bf
mcy: init at 2020.02.05
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Austin Seipp 3d8efecda1
symbiyosys: fix calls to external programs
48085826f broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.

But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.

This also does some other minor clean up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Mario Rodas 79f057e2eb
lean: 3.5.1 -> 3.6.0 2020-02-26 18:00:00 -05:00
Dmitry Kalinkin b9ee6cd85c
Merge pull request #80640 from smaret/gildas-20200201a
gildas: 20200101_a -> 20200201_a
2020-02-25 10:26:18 -05:00
R. RyanTM 56d58ecb24 quantum-espresso: 6.4.1 -> 6.5 2020-02-24 19:40:14 +00:00
R. RyanTM 4080e7976e gtkwave: 3.3.103 -> 3.3.104 2020-02-24 11:43:54 -06:00
Linus Heckemann 0cc83f884a
Merge pull request #80292 from bcdarwin/mrtrix
mrtrix: init at 3.0_RC3_latest
2020-02-24 13:52:38 +01:00
Timo Kaufmann f4dbf4402b
Merge pull request #80759 from Thra11/fix-r
Fix R
2020-02-23 23:48:21 +00:00
Tom Hall ae9e09a2e1 R: fix build on aarch64 by removing a failing test
I believe this test is currently incorrect on aarch64 and expects a
warning about loss of precision with much smaller numbers than the
platform's long doubles can handle.
2020-02-22 13:17:40 +00:00
Edward Tjörnhammar 9b6faedb18
shogun: 6.0.0 -> 6.1.4
Also migrate to opencv3 to address #72739, the PR didn't build for me.
Disable testing and ccache since they were broken.

Co-authored-by: Robert Scott <code@humanleg.org.uk>
2020-02-21 11:05:09 +01:00
Sébastien Maret 7667207f3d
gildas: 20200101_a -> 20200201_a
- Upgrade gildas to the latest version

 - Remove a patch that has been included upstream

 - Re-enable parallel building (fixed upstream)
2020-02-20 15:28:57 +01:00
Gabriel Ebner f098b0dd2c
Merge pull request #80576 from bhipple/u/rust-cargo-elan
elan: upgrade cargo fetcher and cargoSha256
2020-02-20 09:53:49 +01:00
Maximilian Bosch 7bdc103ac8
geogebra: 5-0-570-0 -> 5-0-573-0 2020-02-20 03:09:06 +01:00
Benjamin Hipple ed85c9981a elan: upgrade cargo fetcher and cargoSha256
Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00
Tom Hall 4e5aeca90b R: Enable java support on all platforms 2020-02-19 22:57:41 +00:00
Ben Darwin 9a2cd20478 mrtrix: init at 3.0_RC3_latest
This package consists mostly of command-line tools, but there are also two qt5-based image viewers (`mrview` and `shview`). I have provided an option `withGui = true` to allow users to disable these viewers. They work on NixOS but unlikely to work out-of-the box on non-NixOS Linux (see #62169), but I've refrained from asserting that they shouldn't be built since a user might want to fiddle with runtime GL stuff.

Some programs rely on FSL and/or ANTs backends; I have somewhat heavy-handedly wrapped all binaries to point to ANTs, while FSL is not available in Nix at the moment and has a non-commercial license so would be convenient to disable by default for Hydra builds.
2020-02-16 22:25:25 -05:00
Daniel Schaefer 1e613230d2
Merge pull request #80122 from r-ryantm/auto-update/kallisto
kallisto: 0.46.1 -> 0.46.2
2020-02-15 22:41:15 +01:00
R. RyanTM 4c6c40d96a kallisto: 0.46.1 -> 0.46.2
Co-authored-by: Daniel Schaefer <git@danielschaefer.me>
2020-02-15 22:39:58 +01:00
Junyoung Clare Jang b71c03e483
lean: 3.4.2 -> 3.5.1
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
R. RyanTM d54a58a2cd verilator: 4.026 -> 4.028 2020-02-14 12:13:04 -06:00
Benjamin Hipple eb11feaa0b treewide: change fetchCargoTarball default to opt-out
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.

This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.

See #79975 for details.
2020-02-13 22:41:37 -08:00
Dmitry Kalinkin 5f2a3bef33
Merge pull request #79778 from jbedo/delly
delly: 0.8.1 -> 0.8.2
2020-02-11 03:54:02 -05:00
Justin Bedo a8fe9e7aff
delly: 0.8.1 -> 0.8.2
Backported patch required for htslib 1.10.2
2020-02-11 19:21:59 +11:00
Ryan Mulligan b99e12f4fe
Merge pull request #79534 from r-ryantm/auto-update/last
last: 1045 -> 1047
2020-02-10 18:10:08 -08:00
Brenton Horne 567be48707 marvin: 20.3.0 -> 20.4.0 2020-02-10 19:55:13 +01:00
Evils d3a9e634bf kicad-unstable: update update.sh && update
use /tmp instead of XDG_RUNTIME_DIR
  which is /run/user/1000, which defaults to 10% of RAM
  and kicad-packages3d needs ~6gb
2020-02-10 19:54:38 +01:00
Evils a9942b0226 kicad: simplify component names 2020-02-10 19:54:38 +01:00
Ben Darwin 39f0e3b32b minc_tools: enable building conversion tools 2020-02-10 19:53:25 +01:00
Ben Darwin bcad453bcf minc_tools: 2017-09-11 -> unstable-2019-12-04 2020-02-10 19:53:25 +01:00
luc65r 94c60990fc cemu: init at 1.3 2020-02-10 19:26:25 +01:00
R. RyanTM e988c072be clp: 1.17.3 -> 1.17.5 2020-02-10 13:24:22 +01:00
R. RyanTM 1d4fd7f5f2 verifast: 18.02 -> 19.12 2020-02-09 14:29:31 -06:00
R. RyanTM 3a1098e3e2 pcb: 4.2.1 -> 4.2.2 2020-02-09 16:49:13 +01:00
Frederik Rietdijk 3846896084 Merge pull request #79293 from NixOS/staging-next
Staging next (with glibc 2.30)
2020-02-09 16:40:16 +01:00
Ryan Mulligan c9cf351871 Merge pull request #79479 from r-ryantm/auto-update/workcraft
workcraft: 3.1.9 -> 3.2.5
2020-02-09 06:37:47 -08:00
Frederik Rietdijk 531a48ebdb Merge master into staging-next 2020-02-09 11:00:29 +01:00
Jannik Vierling 6ea5cd21ab iprover: 2018_Jul_24_11h -> 3.1 2020-02-09 09:38:57 +01:00
Frederik Rietdijk 03755ed59a Merge master into staging-next 2020-02-09 09:17:51 +01:00
Luz 0522b3347e librepcb: 0.1.2 -> 0.1.3 (#74786) 2020-02-09 01:07:31 -05:00
Dmitry Kalinkin 1872e69450
Merge pull request #79301 from Abdillah/patch-2
librepcb: Fix platform plugin xcb not found
2020-02-09 00:28:49 -05:00
Emily a14a32fd75 symbiyosys: 2019.10.11 -> 2020.02.08 2020-02-08 23:00:07 -06:00
Ryan Mulligan 537f07555f Merge pull request #79557 from r-ryantm/auto-update/marvin
marvin: 19.27.0 -> 20.3.0
2020-02-08 12:42:18 -08:00
R. RyanTM 20f22f681f marvin: 19.27.0 -> 20.3.0 2020-02-08 19:34:35 +00:00
markuskowa 8261fc4980
Merge pull request #79511 from r-ryantm/auto-update/gmsh
gmsh: 4.5.1 -> 4.5.2
2020-02-08 14:21:27 +01:00
R. RyanTM dae266aa66 last: 1045 -> 1047 2020-02-08 13:04:53 +00:00
R. RyanTM 7c58b6437b gmsh: 4.5.1 -> 4.5.2 2020-02-08 07:25:27 +00:00
Ryan Mulligan 555ca166ec
Merge pull request #79467 from r-ryantm/auto-update/picard-tools
picard-tools: 2.21.6 -> 2.21.8
2020-02-07 18:10:16 -08:00
R. RyanTM 5bf0de57ad workcraft: 3.1.9 -> 3.2.5 2020-02-07 21:09:41 +00:00
Frederik Rietdijk 30f0909e3a Merge master into staging-next 2020-02-07 19:27:52 +01:00
R. RyanTM d5404eebe9 picard-tools: 2.21.6 -> 2.21.8 2020-02-07 17:20:58 +00:00
R. RyanTM 78d6e74427 eagle: 9.5.1 -> 9.5.2 2020-02-06 20:17:53 +01:00
R. RyanTM ce5b0406db labelImg: 1.6.0 -> 1.8.1 2020-02-06 20:11:53 +01:00
Hernawan Faïz Abdillah 2d4ee40176
librepcb: Fix platform plugin xcb not found 2020-02-06 08:44:16 +07:00
Frederik Rietdijk 292fd97f67 Merge staging-next into staging 2020-02-05 20:48:28 +01:00
Frederik Rietdijk 419bc0a4cd Revert "Revert "Merge master into staging-next""
In 87a19e9048 I merged staging-next into master using the GitHub gui as intended.
In ac241fb7a5 I merged master into staging-next for the next staging cycle, however, I accidentally pushed it to master.
Thinking this may cause trouble, I reverted it in 0be87c7979. This was however wrong, as it "removed" master.

This reverts commit 0be87c7979.
2020-02-05 19:41:25 +01:00
Frederik Rietdijk 0be87c7979 Revert "Merge master into staging-next"
I merged master into staging-next but accidentally pushed it to master.
This should get us back to 87a19e9048.

This reverts commit ac241fb7a5, reversing
changes made to 76a439239e.
2020-02-05 19:18:35 +01:00
Ryan Mulligan 67143ec938
Merge pull request #79231 from r-ryantm/auto-update/SPAdes
SPAdes: 3.13.1 -> 3.14.0
2020-02-05 06:54:45 -08:00
Vladimír Čunát 48a997cd76
Merge #66528: glibc: 2.27 -> 2.30 (into staging)
Includes update of stdenv bootstap tools (for three main platforms)
and many package fixes with new glibc.
2020-02-05 13:41:09 +01:00
R. RyanTM 3c54ae5679 SPAdes: 3.13.1 -> 3.14.0 2020-02-04 16:40:50 +00:00
Millian Poquet 150f4a967c simgrid: 3.24 -> 3.25 2020-02-03 10:37:03 -08:00
Maximilian Bosch ea8ae88f04
Merge branch 'staging' into glibc230 2020-02-01 17:42:03 +01:00
Florian Klink 570afbcb5b abc-verifier: passthru rev
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
2020-02-01 12:49:45 +01:00
Florian Klink 351f47da57 abc-verifier: 2018-07-08 -> 2020-01-11 2020-02-01 12:49:45 +01:00
markuskowa d9209250e5
Merge pull request #78981 from r-ryantm/auto-update/jmol
jmol: 14.30.1 -> 14.30.2
2020-02-01 11:07:38 +01:00
Mario Rodas c8af1bef6e
Merge pull request #78833 from r-ryantm/auto-update/snakemake
snakemake: 5.8.1 -> 5.9.1
2020-02-01 04:11:11 -05:00
Mario Rodas 611971f9a5
Merge pull request #78849 from r-ryantm/auto-update/tetgen
tetgen: 1.5.0 -> 1.5.1
2020-02-01 04:10:16 -05:00
R. RyanTM 097737b5a4 jmol: 14.30.1 -> 14.30.2 2020-02-01 03:50:56 +00:00
Vincent Laporte 13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte 659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Luka Blaskovic fd614a8e8f saw-tools: use default llvm 2020-01-30 18:35:30 -05:00
Jörg Thalheim 6eb23e0721
verilator: 4.024 -> 4.026 (#78891)
verilator: 4.024 -> 4.026
2020-01-30 20:43:40 +00:00