JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
283,024 Commits 2 Branches 0 Tags 13 GiB
12a520fc53
Commit Graph

4414 Commits

Author SHA1 Message Date
R. RyanTM
a36f37b778 gmsh: 4.6.0 -> 4.7.0 2020-11-13 14:19:59 +00:00
Austin Seipp
c1661fa7e1
magic-vlsi: 8.3.5 -> 8.3.80, co-maintain 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-11-12 15:23:03 -06:00
Austin Seipp
58a906a7bf
iverilog: unstable-2020-08-24 -> unstable-2020-10-24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-11-12 15:23:02 -06:00
R. RyanTM
8acd7a3540 workcraft: 3.3.0 -> 3.3.1 2020-11-12 10:54:47 +00:00
R. RyanTM
d1baaef83d samblaster: 0.1.24 -> 0.1.26 2020-11-12 01:43:02 +00:00
R. RyanTM
f7485d07b5 lean: 3.21.0 -> 3.23.0 2020-11-11 15:16:44 -08:00
Gabriel Ebner
05d27ba19b
Merge pull request #103256 from r-ryantm/auto-update/qalculate-gtk 
qalculate-gtk: 3.13.0 -> 3.14.0
 2020-11-10 11:16:30 +01:00
R. RyanTM
3664e4929f qalculate-gtk: 3.13.0 -> 3.14.0 2020-11-10 01:49:59 +00:00
Frederik Rietdijk
20f001c01e Merge master into staging-next 2020-11-09 14:33:52 +01:00
Hunter Jones
5041cbc691 kstars: 2.9.8 -> 3.4.3 2020-11-09 12:21:31 +00:00
Luz
3bf8df2877 librepcb: 0.1.4 -> 0.1.5 2020-11-09 11:56:58 +00:00
Samuel Gräfenstein
22b73d1282 pkgs/*: add final newline to .nix files 2020-11-09 11:39:28 +00:00
Orivej Desh
0c75dfb732
convertall: init at 0.8.0 (#103108) 2020-11-09 01:45:09 +00:00
Masanori Ogino
88de0d7354
maxima: 5.42.2 -> 5.44.0 (#102861) 
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.43.md
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.44.md
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
 2020-11-08 19:29:53 -05:00
markuskowa
428bea042e
Merge pull request #102296 from r-ryantm/auto-update/gromacs 
gromacs: 2020.3 -> 2020.4
 2020-11-08 11:31:54 +01:00
Evils
a52e974cff kicad-unstable: 2020-10-09 -> 2020-11-07 
patch for issue 72248 no longer applies
  issue doesn't seem to occur without it anymore...
 2020-11-07 16:29:52 +01:00
Evils
905134a79f kicad: 5.1.7 -> 5.1.8 2020-11-07 16:29:52 +01:00
Evils
50ec961174 kicad: fix update.sh bootstrapping 
it will now correctly build a version.nix file from scratch
 2020-11-07 16:29:52 +01:00
Evils
756f36b554 kicad: 5.1.6 -> 5.1.7 2020-11-07 16:29:52 +01:00
Jan Tojnar
a821be7531
Merge branch 'master' into staging-next 2020-11-05 09:42:47 +01:00
Gabriel Ebner
8279979f38 lean: build olean files 2020-11-04 16:32:56 +01:00
Ryan Mulligan
ba3fc8bf47
Merge pull request #102707 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.4 -> 2.23.8
 2020-11-04 06:11:08 -08:00
Frederik Rietdijk
10c57af49c Merge staging-next into staging 2020-11-04 09:28:07 +01:00
R. RyanTM
6391d3c1b5 picard-tools: 2.23.4 -> 2.23.8 2020-11-04 04:53:50 +00:00
Ryan Mulligan
4ee1f7bc2c
Merge pull request #102582 from r-ryantm/auto-update/marvin 
marvin: 20.17.0 -> 20.19.0
 2020-11-03 14:56:38 -08:00
Kevin Cox
d7a0daf2a1
Merge pull request #102420 from freezeboy/remove-plink 
plink: remove (broken since 2014)
 2020-11-03 07:49:09 -05:00
Frederik Rietdijk
470f05cb5d Merge staging-next into staging 2020-11-03 12:06:41 +01:00
R. RyanTM
aea6594c69 marvin: 20.17.0 -> 20.19.0 2020-11-03 04:38:29 +00:00
Mario Rodas
98bf2ceb68
Merge pull request #102464 from r-ryantm/auto-update/igv 
igv: 2.8.9 -> 2.8.11
 2020-11-02 18:21:36 -05:00
Timo Kaufmann
9560149052
Merge pull request #102479 from r-ryantm/auto-update/jmol 
jmol: 14.31.3 -> 14.31.14
 2020-11-02 19:31:29 +01:00
R. RyanTM
ccabae32dd gtkwave: 3.3.106 -> 3.3.107 2020-11-02 08:26:41 -08:00
R. RyanTM
41e1c236bf cytoscape: 3.8.1 -> 3.8.2 2020-11-02 08:20:13 -08:00
R. RyanTM
3d40283367 jmol: 14.31.3 -> 14.31.14 2020-11-02 12:07:07 +00:00
R. RyanTM
8ef46be2a4 igv: 2.8.9 -> 2.8.11 2020-11-02 10:16:32 +00:00
Pavol Rusnak
2c931312ce treewide: simplify rev/repo arguments in src 
+ use fetchFromGithub where possible
 2020-11-01 23:02:24 -08:00
freezeboy
1f7e201e9e plink: remove (broken since 2014) 2020-11-02 03:24:16 +01:00
R. RyanTM
036cec187c ginac: 1.7.9 -> 1.8.0 2020-11-01 17:19:05 -08:00
Frederik Rietdijk
83dde6c52c Merge staging-next into staging 2020-11-01 10:11:12 +01:00
R. RyanTM
afa6047e12 gromacs: 2020.3 -> 2020.4 2020-11-01 00:24:33 +00:00
Vincent Laporte
8cab21b48b Revert "coq: propagate and install ocaml and findlib" 
This reverts commit 5d0e2dedd5.
 2020-10-31 09:08:06 +01:00
Justin Bedo
32573f4b6e
last: 1066 -> 1133 2020-10-31 10:59:02 +11:00
Maximilian Bosch
952dc5c7ff
Merge pull request #101421 from sikmir/geogebra 
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0
 2020-10-30 23:39:37 +01:00
Renato Alves
6e19ed0a52
lumpy: 0.3.0 -> 0.3.1 2020-10-30 01:28:00 +01:00
Renato Alves
a28e5b0a4f
samtools: 1.10 -> 1.11 2020-10-29 18:27:22 +01:00
Andreas Rammhold
db0fe5c3eb
Merge branch master into staging to fix eval error 
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05 & eba8f542.
 2020-10-28 03:03:27 +01:00
Ben Siraphob
db74029e3e treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
Max Hausch
8fb91897f4
pspp 1.2.0 -> 1.4.1 2020-10-27 01:10:37 +01:00
Masanori Ogino
40fb3ed6dc maxima: remove 5.41.0 
It had been kept for SageMath, but it uses the default version nowadays
and this version is not referenced in nixpkgs.

Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
 2020-10-27 06:09:12 +09:00
Maximilian Bosch
61fa498994
Merge pull request #101646 from luc65r/pkg/rofi-calc 
rofi-calc: 1.8 -> 1.9
 2020-10-26 16:36:43 +01:00
Ryan Mulligan
4fce633319
Merge pull request #101716 from r-ryantm/auto-update/openhantek6022 
openhantek6022: 3.1.2 -> 3.1.3
 2020-10-26 05:43:38 -07:00
Vladimír Čunát
336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
 2020-10-26 08:19:17 +01:00
R. RyanTM
250757970b openhantek6022: 3.1.2 -> 3.1.3 2020-10-26 00:37:51 +00:00
Peter Simons
40bc6c8dad
Merge pull request #100393 from matthiasbeyer/update-r 
R: 4.0.2 -> 4.0.3
 2020-10-25 21:57:03 +01:00
Lucas Ransan
2436e41916 rofi-calc: 1.8 -> 1.9 2020-10-25 14:31:57 +01:00
Vladimír Čunát
c778945806
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
I'm sorry; I didn't notice it contained staging commits.

This reverts commit 17f5305b6c, reversing
changes made to a8a018ddc0.
 2020-10-25 09:41:51 +01:00
Vladimír Čunát
17f5305b6c
Merge #101508: libraw: 0.20.0 -> 0.20.2 2020-10-25 09:28:53 +01:00
Nikolay Korotkiy
a2472ebfb1
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0 2020-10-23 19:25:11 +03:00
Vincent Laporte
2cb651ad14 cryptoverif: 2.01pl1 → 2.03pl1 2020-10-23 10:20:09 +02:00
Anderson Torres
253fb7648c
Merge pull request #101244 from zaninime/nanovna-saver 
nanovna-saver: init at 0.3.7
 2020-10-22 20:42:56 -03:00
Jan Tojnar
3e01d383ee
Merge branch 'staging-next' into staging 2020-10-22 21:20:32 +02:00
Francesco Zanini
2a54c4f950 nanovna-saver: init at 0.3.7 2020-10-22 16:23:13 +02:00
Daiderd Jordan
bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook 
treewide: move fixDarwinDylibNames to nativeBuildInputs
 2020-10-21 19:25:48 +02:00
Théo Zimmermann
5d0e2dedd5 coq: propagate and install ocaml and findlib 
Fix #34657.
 2020-10-21 11:07:02 +02:00
markuskowa
4eb5b1285c
Merge pull request #101065 from markuskowa/fix-molcas 
openmolcas: 19.11 -> 20.10
 2020-10-21 09:37:28 +02:00
Andrew Childs
722d02a720 treewide: move fixDarwinDylibNames to nativeBuildInputs 
This hook runs at build time and depends on executing
install_name_tool from binutils.
 2020-10-21 13:26:53 +09:00
Guanpeng Xu
efe94c085b mathematica: use opencv4 
The default opencv2 is marked broken at 5e68d203, and it is suggested
there that the current release is 4.x.
 2020-10-21 08:36:54 +08:00
Austin Seipp
fba7eaeb63
Merge pull request #100741 from arcz/btor2tools 
btor2tools: enable unix platforms
 2020-10-19 16:18:56 -05:00
Markus Kowalewski
2eee4e4eac
openmolcas: 19.11 -> 20.10 2020-10-19 14:13:08 +02:00
Markus Kowalewski
8b02ff6b8e
openmolcas: fix build w.r.t. openblas 
Fall out from switching openblas over to multiple outputs:
https://github.com/NixOS/nixpkgs/pull/98337
 2020-10-19 14:00:48 +02:00
Masanori Ogino
096ef94717 gfan: fix build failures with cddlib v0.94l 
It fixes https://github.com/NixOS/nixpkgs/issues/100622.

Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
 2020-10-19 10:29:01 +09:00
Gabriel Ebner
6d22203168
Merge pull request #101010 from r-ryantm/auto-update/lean 
lean: 3.19.0 -> 3.21.0
 2020-10-18 20:10:42 +02:00
R. RyanTM
855b84d8b0 lean: 3.19.0 -> 3.21.0 2020-10-18 17:00:15 +00:00
Doron Behar
1693d00562
Merge pull request #85456 from matthuszagh/kicad-libraries 2020-10-17 20:31:38 +03:00
Ryan Mulligan
ed8a50fa13
Merge pull request #100548 from r-ryantm/auto-update/MAVProxy 
mavproxy: 1.8.19 -> 1.8.22
 2020-10-17 10:28:18 -07:00
Matt Huszagh
9320c69ecb kicad: set default footprint, symbol library and package locations 
Previously, these library locations were set absolutely. This
prevented overriding their locations with environment variables. Now,
setting the corresponding environment variable will override the
setting in the environment wrapper. For instance, I can set

KISYSMOD=/some/path/to/footprints

and this will be used as my footprint library instead of the default
footprint library in the nix store. This feature is particularly
useful for having kicad libraries which are writable.
 2020-10-17 09:32:55 -07:00
Ben Siraphob
683a87dbeb treewide: remove periods from end of package descriptions 2020-10-17 08:22:31 -07:00
Artur Cygan
5229b4502a btor2tools: enable unix platforms 2020-10-16 19:39:46 +02:00
Ryan Mulligan
f9728adae7
Merge pull request #99128 from jbedo/delly 
delly: 0.8.2 -> 0.8.5
 2020-10-16 06:30:11 -07:00
R. RyanTM
a3dca9576b deeptools: 3.4.1 -> 3.5.0 2020-10-16 00:42:47 -07:00
Doron Behar
1db3202722
Merge pull request #75843 from jbedo/lumpy 2020-10-15 19:46:13 +03:00
piegames
e14a359896 treewide: Fix broken desktop files and mark packages as broken 
This fixes all packages that are failed `nixpkgs-review` in #91790.
Packages that were broken prior to that PR were marked as broken.
Packages that failed because of #75729 were fixed.
 2020-10-15 15:14:51 +02:00
R. RyanTM
af82dfa808 mavproxy: 1.8.19 -> 1.8.22 2020-10-15 05:05:52 +00:00
Frederik Rietdijk
b981eca057 Merge master into staging-next 2020-10-14 11:32:49 +02:00
Anderson Torres
a9637e5b52
Merge pull request #100357 from AndersonTorres/zegrapher-new 
zegrapher: init at 3.1.1
 2020-10-13 15:14:04 -03:00
Frederik Rietdijk
9e1943edc0 Merge master into staging-next 2020-10-13 19:34:34 +02:00
Vincent Laporte
33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 (#100148) 2020-10-13 10:16:11 +02:00
Matthias Beyer
ea4a13e573 R: 4.0.2 -> 4.0.3 
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
 2020-10-13 10:05:15 +02:00
AndersonTorres
1331d642e0 zegrapher: init at 3.1.1 2020-10-12 19:31:34 -03:00
Doron Behar
58b8ae4127
Merge pull request #100066 from matthuszagh/kicad-srcs 2020-10-12 22:55:16 +03:00
Matt Huszagh
f2cb2c447d kicad: add srcs parameter to allow configuring kicad versions 
This also exposes the full src and version parameters for each
derivation, allowing them to overrideable by srcs.
 2020-10-12 11:32:44 -07:00
Matt Huszagh
9d13164b27 kicad: Rename <feature>Support arguments to with<Feature> 
Also: Use assertions instead of silently ignoring arguments that don't cooperate
(occ+oce) / won't compile (aarch64 + oce).

base.nix no longer provides default argument values since these are
provided by default.nix.
 2020-10-12 11:32:04 -07:00
Anderson Torres
e61c9d185d
Merge pull request #100193 from AndersonTorres/big-upload 
A bunch of updates
 2020-10-12 08:48:52 -03:00
AndersonTorres
69c14beb04 gp2c: 0.0.11pl3 -> 0.0.11pl4 2020-10-12 04:07:03 -03:00
AndersonTorres
781753db45 pari: 2.11.3 -> 2.11.4 2020-10-12 04:07:03 -03:00
Claudio Bley
0f6b8b7964 fritzing: 0.9.3b -> 0.9.4 
Notes:

* fritzing still needs an older version of libgit2
* releases no longer directly correspond to tags in the git repository, they are
  using build numbers instead
* the fritzing-parts repository is no longer versioned at all, the master branch
  contains the latest stable release
* a `parts.db` file needs to be generated from the fritzing-parts files during
  the build
 2020-10-11 16:51:59 -07:00
Matt Huszagh
937c2597d9 ngspice: 31 -> 32 2020-10-11 16:10:33 +02:00
Wulfsta
77143fc628 mathematica: fix libQt errors 2020-10-11 15:49:11 +02:00
Gabriel Ebner
b03c6ef37d
Merge pull request #99503 from NieDzejkob/isabelle-z3-fix 2020-10-11 12:39:09 +02:00
Matt Huszagh
85d5195f70 kicad: remove unnecessary with lib; statements 2020-10-10 16:22:04 -07:00
Jan Tojnar
aabcf2d8f5
Merge branch 'master' into staging-next 2020-10-11 00:27:21 +02:00
Matt Huszagh
e2fea84597 kicad: clarify wrapGAppsHook comment 2020-10-10 15:15:43 -07:00
Matt Huszagh
b3e2b523e5 kicad: reformat with nixpkgs-fmt 2020-10-10 12:53:09 -07:00
Vladimír Čunát
338b25697c
Merge branch 'master' into staging-next 
Quite many rebuilds from master:
> Estimating rebuild amount by counting changed Hydra jobs.
>    3926 x86_64-darwin
>    4645 x86_64-linux
 2020-10-10 11:32:10 +02:00
Doron Behar
967a01f206
Merge pull request #100065 from matthuszagh/kicad 2020-10-10 12:28:09 +03:00
Daniel Schaefer
384470e23f
Merge pull request #99964 from guserav/horizon-eda 
horizon-eda: init at 1.2.1
 2020-10-10 11:49:07 +08:00
guserav
6a4c1972a2 horizon-eda: init at 1.2.1 
Mostly based on #86694 by yrashk
 2020-10-09 19:57:38 +02:00
Matt Huszagh
104aca941a kicad-unstable: 2020-08-22 -> 2020-10-09 
base.nix requires gtk3 to compile
 2020-10-09 07:36:42 -07:00
Matt Huszagh
b67afd8a44 kicad: modify update script to use gitlab for libraries 
Kicad libraries are now hosted on gitlab instead of github.
 2020-10-09 07:36:41 -07:00
Frederik Rietdijk
ec28e32c9e Merge master into staging-next 2020-10-08 21:47:26 +02:00
Dmitry Kalinkin
b0486f3171
pythia: 8.244 -> 8.303 2020-10-07 20:28:19 -04:00
Ben Darwin
e673c285e1 conglomerate: update LIBMINC_DIR to reflect libminc CMake changes 2020-10-06 15:31:18 -04:00
Ben Darwin
44f2bf87d6 EZminc: update LIBMINC_DIR to reflect libminc CMake changes 2020-10-06 15:31:18 -04:00
Ben Darwin
83d0571ae6 mni_autoreg: update LIBMINC_DIR due to CMake changes in libminc 2020-10-06 15:31:17 -04:00
Ben Darwin
9a190786a4 n3: 2017-09-18 -> 2018-08-09 
- update LIBMINC_DIR and EBTKS_DIR due to CMake updates in those packages
 2020-10-06 15:31:16 -04:00
Ben Darwin
7772e248ab inormalize: update LIBMINC_DIR and dependencies due to libminc update 2020-10-06 15:31:16 -04:00
Ben Darwin
91a429a148 minc_tools: unstable-2019-12-04 -> unstable-2020-07-25 2020-10-06 15:31:14 -04:00
Francesco Gazzetta
a302261318 key: init at 2.6.3 2020-10-06 17:37:23 +02:00
Frederik Rietdijk
692d219a93 Merge staging-next into staging 2020-10-06 10:25:58 +02:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Justin Bedo
d8d8f9390a
delly: 0.8.2 -> 0.8.5 2020-10-01 18:09:53 +10:00
Anderson Torres
5e99485b3d
Merge pull request #99214 from bcdarwin/update-mrtrix 
mrtrix: 3.0.0 -> 3.0.2
 2020-10-01 01:14:54 -03:00
Ben Darwin
a94d0fe675 mrtrix: 3.0.0 -> 3.0.2 2020-09-30 22:13:18 -04:00
Vincent Laporte
cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Justin Bedo
634927a402
mosdepth: 0.2.9 -> 0.3.1 2020-09-30 09:48:47 +10:00
Jan Tojnar
32b4375f10
Merge branch 'staging-next' into staging 2020-09-29 00:12:29 +02:00
Dmitry Kalinkin
dd57dcf2a5
stellarium: enable on darwin 2020-09-27 17:00:10 -04:00
Maximilian Bosch
b8d1e39a28
stellarium: 0.20.2 -> 0.20.3 
https://github.com/Stellarium/stellarium/releases/tag/v0.20.3
 2020-09-27 22:09:36 +02:00
Matt Huszagh
6b9481607b openems: init at unstable-2020-02-15 2020-09-27 11:32:27 -07:00
Robert Scott
8db3ea1ef1
Merge pull request #98614 from r-burns/aragorn 
aragorn: fix build on darwin
 2020-09-25 19:58:10 +01:00
Dmitry Kalinkin
7867aafa51
Merge pull request #97613 from drewrisinger/zhf/verilog 
verilog: cleanup & test
 2020-09-25 10:37:34 -04:00
R. RyanTM
e66a7e2fb7 cytoscape: 3.8.0 -> 3.8.1 2020-09-25 04:38:49 +00:00
Jan Tojnar
d471c5d1f3
Merge branch 'staging-next' into staging 2020-09-24 23:09:00 +02:00
R. RyanTM
0765b507f9 jmol: 14.31.2 -> 14.31.3 2020-09-23 23:36:41 -07:00
Ryan Burns
6cc2d3e6f2 aragorn: fix build on darwin 
Use environment-specified $CC for C compiler
 2020-09-23 20:45:21 -07:00
Ryan Mulligan
dfd2eeabd6
Merge pull request #69644 from bzizou/obitools 
obitools3: init at 3.0.0-beta14
 2020-09-23 19:04:11 -07:00
Doron Behar
0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3 
why3: 1.3.1 -> 1.3.3
 2020-09-23 10:35:57 +03:00
Daniël de Kok
af5b1a9f94
Merge pull request #98427 from jbedo/octopus 
octopus-caller: 0.6.3 -> 0.7.0
 2020-09-23 08:24:10 +02:00
Jon
c7fdc43709
Merge pull request #98283 from risicle/ris-truvari-2.0.2 
truvari: 1.3.4 -> 2.0.2, add new dependencies & fix build
 2020-09-22 23:10:58 -07:00
Robert Scott
fc709e6dfe cvc3: enable for darwin 
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
 2020-09-22 23:06:45 -07:00
Robert Scott
53a8a415ac cvc3: fix build against bison 3.7 
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
 2020-09-22 23:06:45 -07:00
Austin Seipp
daaa0e3350
Merge pull request #98239 from Sohalt/avy 
avy: 2017.10.16 -> cav19
 2020-09-22 23:19:05 -05:00
Vincent Laporte
64b68b30e9
why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
Drew Risinger
ba886f7b1a verilog: add tests 
Run recommended self-tests from iverilog's CI.

Tests add about a minute to the build time on local machine
(2 -> 3 mins).
 2020-09-22 13:58:15 -04:00
Drew Risinger
0d9a6e2da5 verilog: cleanup 
Meta attributes were out of date or not in current style,
and some attributes of derivation were redundant.
 2020-09-22 13:58:06 -04:00
Justin Bedo
4bbdb75f22
octopus-caller: 0.6.3 -> 0.7.0 2020-09-22 08:43:04 +10:00
WORLDofPEACE
34aaac6d7c Merge branch 'staging-next' into staging 2020-09-20 18:41:15 -04:00
sohalt
40722346b8 avy: 2017.10.16 -> 2019.05.01 2020-09-20 16:13:29 +02:00
Robert Scott
ecd5886830 truvari: 1.3.4 -> 2.0.2, fixing build 
seeing it has no tests, use pythonImportsCheck in an attempt to detect
total breakage, even though it's not intended to be used as an importable
module
 2020-09-20 12:25:17 +01:00
Robert Scott
f1d2491057 bwa: include static library and some key headers in output 2020-09-20 12:23:18 +01:00
Gabriel Ebner
efa2089077
Merge pull request #89731 from doronbehar/jdk_rename 2020-09-20 11:07:55 +02:00
Robert Scott
4637721bc1 truvari: fix build 
be less strict about versions
 2020-09-19 20:25:08 -07:00
Gabriel Ebner
67ff41201f leo3: fix executable 2020-09-19 15:05:02 +02:00
Gabriel Ebner
1c576d0b37 sage: use jdk8 2020-09-19 14:22:43 +02:00
Hannes Weisbach
9c73e34d18 kicad: remove gettext from buildInputs, add to nativeBuildInputs 
The i18n "library" does not link against gettext. It only requires the
msgfmt utility from gettext, hence gettext should be a nativeBuildInput
 2020-09-17 19:48:50 +02:00
Vladyslav M
9147432d5f
Merge pull request #98062 from jonringer/fix-streamlit 
streamlit: fix build
 2020-09-16 23:45:32 +03:00
Austin Seipp
f1f1396167
Merge pull request #98109 from Pamplemousse/verilator 
verilator: 4.040 -> 4.100
 2020-09-16 14:25:25 -05:00
Pamplemousse
9839c0b292 verilator: 4.040 -> 4.100 
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
 2020-09-16 08:40:01 -07:00
Anderson Torres
811709ff94
Merge pull request #95734 from trepetti/flatcam 
flatcam: init at 8.5
 2020-09-15 23:17:59 -03:00
Jonathan Ringer
07660b28bc streamlit: fix build 2020-09-15 11:19:26 -07:00
Vincent Laporte
cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Sébastien Maret
234b39a6d4
gildas: 20200601_b -> 20200901_a (#97968) 2020-09-14 11:18:06 -04:00
Robert Scott
35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve 
lp_solve: fix build
 2020-09-13 11:00:26 +01:00
Vladimír Čunát
e78b52ede7
Merge #95089: glibc: 2.31 -> 2.32 (into staging) 2020-09-13 08:26:14 +02:00
freezeboy
3fc3fd14cf lp_solve: fix buildCommand some binaries moved 2020-09-13 03:51:51 +02:00
Maximilian Bosch
81cf190882
sherpa: fix build w/glibc-2.32 2020-09-12 23:04:48 +02:00
Maximilian Bosch
8984fc2994
xfitter: fix build w/glibc-2.32 2020-09-12 23:04:47 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Maximilian Bosch
56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update 
maintainers: updates for badi/badmutex
 2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
Cole Helbling
339f6248f6
verilog: unstable-2019-08-01 -> unstable-2020-08-24 
The build would previously fail due to a change in bison's behavior (see
5b699c1be7
for more information). Updating to a more recent version fixes this
issue.
 2020-09-09 00:47:52 -07:00
Emery Hemingway
dc09e3edfc nim: wrap compiler for cross-compilation support 2020-09-07 16:16:55 +02:00
Emery Hemingway
06ac3c1d2a nim: patch to fix dynamic library loading 2020-09-07 16:16:55 +02:00
Vincent Laporte
2a82f71bed
proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
Vladimír Čunát
0ecc8b9a56
Merge #97229: picard-tools: 2.23.3 -> 2.23.4 2020-09-07 09:38:34 +02:00
R. RyanTM
1cd9dafce0 ott: 0.30 -> 0.31 2020-09-06 22:25:50 +01:00
Daniël de Kok
193a6a2307
Merge pull request #97243 from r-ryantm/auto-update/rink 
rink: 0.5.0 -> 0.5.1
 2020-09-06 10:52:28 +02:00
Ryan Mulligan
6748689238
Merge pull request #97251 from r-ryantm/auto-update/star 
star: 2.7.4a -> 2.7.5c
 2020-09-05 19:28:47 -07:00
R. RyanTM
cc797c4ab8 star: 2.7.4a -> 2.7.5c 2020-09-05 18:44:51 +00:00
R. RyanTM
f47530237d rink: 0.5.0 -> 0.5.1 2020-09-05 16:48:17 +00:00
R. RyanTM
1c368b0f13 picard-tools: 2.23.3 -> 2.23.4 2020-09-05 14:02:32 +00:00
voidless
721da4b5e2 geogebra6: 6-0-598-0 -> 6-0-600-0 2020-09-04 11:49:44 +02:00
Tom Repetti
10e5003d20 flatcam: init at 8.5 2020-09-03 14:19:59 -04:00
John Ericson
1965a241fc
Merge pull request #61019 from volth/gcc.arch-amd 
platform.gcc.arch: support for AMD CPUs
 2020-09-01 22:31:16 -04:00
R. RyanTM
71d933e214 openhantek6022: 3.1.1 -> 3.1.2 2020-08-31 17:24:28 -07:00
worldofpeace
20252b3cb6 nasc: typo 2020-08-31 13:53:25 -04:00
worldofpeace
32a9e0eea7 nasc: 0.5.4 -> 0.7.5 
* updates to meson build system
* adapt to complications around libqalculate
* update metadata
* add update script
 2020-08-31 13:50:43 -04:00
R. RyanTM
43114a1751 wxmaxima: 20.04.0 -> 20.06.6 2020-08-31 17:09:33 +02:00
R. RyanTM
73cff3d2c2 R: 4.0.0 -> 4.0.2 2020-08-31 16:57:06 +02:00
Mario Rodas
f7eb2883b5 lean: 3.18.4 -> 3.19.0 2020-08-29 04:20:00 +00:00
Maximilian Bosch
577b654415
Merge pull request #96584 from r-ryantm/auto-update/rofi-calc 
rofi-calc: 1.7 -> 1.8
 2020-08-29 18:42:32 +02:00
R. RyanTM
741b7f7b36 rofi-calc: 1.7 -> 1.8 2020-08-29 06:44:34 +00:00
Vincent Laporte
5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
R. RyanTM
ee4c871ecd marvin: 20.16.0 -> 20.17.0 2020-08-26 12:52:34 +00:00
Henri Menke
e1f177fab2
mathematica: 12.1.0 -> 12.1.1 2020-08-24 11:36:59 +12:00
Silvan Mosberger
cf47ba66fb
Merge pull request #81129 from scalavision/igv-update-28x 
igv: 2.4.19 -> 2.8.0
 2020-08-23 19:24:33 +02:00
scalavision
78e89143d4
igv: 2.4.19 -> 2.8.9 
Co-Authored-By: Silvan Mosberger <contact@infinisil.com>
 2020-08-23 19:23:04 +02:00
Austin Seipp
7cb1f36513
verilator: 4.036 -> 4.040 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp
1e451da386
mcy: 2020.07.06 -> 2020.08.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Evils
3ebb12a695 kicad-unstable: 2020-07-21 -> 2020-08-22 2020-08-23 13:24:16 +02:00
Evils
c761c60431 kicad: reenable scriptingSupport 
94108 fixed the wxPython dependency
 2020-08-23 13:24:16 +02:00
Evils
43a6b7b886 kicad: use hash rather than date for package names 
to prevent duplication when just the date changes

kicad.libraries should be fixed output derivations?
 2020-08-23 13:24:16 +02:00
Gabriel Ebner
f84aae6f67
Merge pull request #96074 from gebner/qalc-gtk-doc-hack 
qalculate-gtk: explain pkg-config issue
 2020-08-23 11:53:32 +02:00
Lassulus
15d98507ee
Merge pull request #87224 from Sohalt/isabelle 
isabelle: 2018 -> 2020
 2020-08-23 11:28:53 +02:00
Gabriel Ebner
294ddd8e9f qalculate-gtk: explain pkg-config issue 2020-08-23 11:13:06 +02:00
Daniël de Kok
0d2d55f16b
Merge pull request #86807 from matthuszagh/vhd2vl 
vhd2vl: init
 2020-08-22 20:19:43 +02:00
Gabriel Ebner
a3ce3f5931 qalculate-gtk: fix parallel build 2020-08-22 19:06:43 +02:00
Matt Huszagh
38aadfbbad vhd2vl: init at unstable-2018-09-01 2020-08-22 09:42:34 -07:00
Gabriel Ebner
55af730da0
Merge pull request #95999 from gebner/calculix217 
calculix: 2.15 -> 2.17
 2020-08-22 18:26:02 +02:00
Gabriel Ebner
294cd72be3 qalculate-gtk: 3.8.0a -> 3.12.1 2020-08-22 17:14:25 +02:00
Gabriel Ebner
214d7626e1 calculix: 2.15 -> 2.17 2020-08-22 17:12:30 +02:00
Daniël de Kok
0cb88d7302
Merge pull request #95975 from r-ryantm/auto-update/hyp2mat 
hyp2mat: 0.0.17 -> 0.0.18
 2020-08-22 15:24:37 +02:00
Lassulus
7623640e54
Merge pull request #89868 from r-ryantm/auto-update/star 
star: 2.7.3a -> 2.7.4a
 2020-08-22 13:35:13 +02:00
R. RyanTM
55d5e762d0 hyp2mat: 0.0.17 -> 0.0.18 2020-08-22 09:25:47 +00:00
R. RyanTM
60a133f5d1 adms: 2.3.6 -> 2.3.7 2020-08-21 21:04:44 -07:00
Thomas Tuegel
616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel
1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Lassulus
de25713886
Merge pull request #91647 from jbedo/whisper 
whisper: init at 2.0.1
 2020-08-21 18:09:35 +02:00
Mario Rodas
f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00
Lassulus
8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba 
ltl2ba: 1.2 -> 1.3
 2020-08-20 23:02:41 +02:00
freezeboy
531cf77114 labelImg: 1.8.1 -> 1.8.3 
Switch to python3 and qt5 libraries also
 2020-08-20 21:08:39 +02:00
Daniël de Kok
1b71929034 finalfusion-utils: 0.11.2 -> 0.12.0 
Changelog:
https://github.com/finalfusion/finalfusion-utils/releases/tag/0.12.0
 2020-08-19 09:51:11 +00:00
Gabriel Ebner
7f31fe9ea6 vampire: 4.4 -> 4.5.1 2020-08-17 19:39:32 +02:00
Daniël de Kok
67c88680f9
Merge pull request #95616 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 4.0.9 -> 4.0.10
 2020-08-17 08:00:41 +02:00
Mario Rodas
b05ede05a1
Merge pull request #90281 from purcell/fast-downward-darwin 
fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues
 2020-08-16 21:30:09 -05:00
Ben Wolsieffer
5c78ba8ef6 qgroundcontrol: 4.0.9 -> 4.0.10 2020-08-16 15:28:55 -04:00
voidIess
3cc44ba04e
geogebra 6 : init at 6-0-598-0 (#95422) 
* geogebra 6 : init at 6-0-598-0

since geogebra was ported from java to electron, this is a repacke;
wont want to delete geogebra 5, no darwin package for 6

ran nixpkgs-fmt over the file to cleanly reformat the spacings

Update pkgs/top-level/all-packages.nix

remove a trailing space

Co-authored-by: Tom Smeets <Tom.TSmeets@Gmail.com>

Update pkgs/applications/science/math/geogebra/geogebra_6.nix

Co-authored-by: Tom Smeets <Tom.TSmeets@Gmail.com>

Applied a sugestion for the formating of the lines

fixed a mistake, where the wrong name attribute was used

removed an unnecassary chmod statement

added a downlod link to archive.org

moved geogebra_6.nix to geogebra6.nix

removed unnecesary build inputs statement

* renamed to geogebra6
 2020-08-16 20:02:54 +02:00
Justin Bedo
20c8945467 hisat2: 2.1.0 -> 2.2.1 2020-08-16 13:30:53 +00:00
Daniël de Kok
3ab2bf69ce
Merge pull request #85330 from chkno/openmvg 
openmvg: 1.3 -> 1.5 (unbreak)
 2020-08-16 09:39:38 +02:00
Scott Worley
05a16be9c5 openmvg: 1.3 -> 1.6 (unbreak) 2020-08-16 08:35:54 +02:00
zowoq
473536e3b5 buildRustPackage: remove platform.all from packages 2020-08-16 12:48:18 +10:00
R. RyanTM
2f9ceb5416 gtkwave: 3.3.105 -> 3.3.106 2020-08-15 15:25:15 -07:00
Rohit Goswami
620f9049ae
d-seams: init at 1.0.1 2020-08-15 19:36:04 +00:00
Lorenz Leutgeb
d50a6db016
z3: Add Java Bindings (#92096) 
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
 2020-08-15 07:37:38 +02:00
R. RyanTM
afb809f30b kssd: 1.0 -> 1.1 2020-08-14 15:06:11 +00:00
Vladyslav M
3d1956ad34
Merge pull request #95062 from cryptix/update-aliza 
aliza: 1.48.10 -> 1.98.32
 2020-08-13 22:47:05 +03:00
Daniël de Kok
01a69537df
Merge pull request #93613 from baracoder/init-openhantek6022 
openhantek6022: init at 3.1.1
 2020-08-11 17:33:16 +02:00
Matt Huszagh
93e5e9e22d appcsxcad: init at unstable-2020-01-04 2020-08-10 23:45:59 -07:00
Matt Huszagh
dad6b637c2 qcsxcad: init at unstable-2020-01-04 2020-08-10 21:39:57 -07:00
Henry
eeea325e64 aliza: 1.48.10 -> 1.98.32 2020-08-10 11:16:16 +02:00
Ryan Mulligan
ea39525ae7
Merge pull request #94779 from r-ryantm/auto-update/marvin 
marvin: 20.15.0 -> 20.16.0
 2020-08-09 12:45:42 -07:00
Jonathan Ringer
23d6cd325f root: don't propagated python interpreter 2020-08-09 10:44:15 -07:00
Vincent Laporte
b8dfca143c coq_8_12: 8.12+β1 → 8.12.0 
coqPackages.equations: 1.2.2 → 1.2.3
 2020-08-08 06:33:08 +02:00
Markus Kowalewski
6c2f1e7f6b
octopus: 9.2 -> 10.0 2020-08-07 12:53:54 +02:00
Brandon Black
bceadafba3
fritzing: use Qt's mkDerivation (#89117) 2020-08-06 23:24:25 +02:00
Matt Huszagh
4390d9b9f1 hyp2mat: init at 0.0.17 2020-08-06 10:22:06 -07:00
R. RyanTM
4e6f70eaf8 marvin: 20.15.0 -> 20.16.0 2020-08-06 10:10:49 +00:00
Matt Huszagh
e74a6bcc20 csxcad: init at unstable-2020-02-08 2020-08-05 19:27:28 -07:00
volth
cf7b63df5b gcc.arch: refactor, move tables under lib/ 2020-08-05 11:18:26 +00:00
Daniël de Kok
d65ff81450
Merge pull request #93954 from danieldk/finalfusion-utils 
finalfusion-utils: init at 0.11.2
 2020-08-05 13:03:18 +02:00
Vincent Laporte
390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
Ryan Mulligan
393d3338f9
Merge pull request #94545 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.1 -> 2.23.3
 2020-08-02 15:23:56 -07:00
R. RyanTM
44181da7b7 picard-tools: 2.23.1 -> 2.23.3 2020-08-02 10:04:36 +00:00
R. RyanTM
7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
Gabriel Ebner
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover 
eprover: 2.4 -> 2.5
 2020-08-01 11:12:37 +02:00
John Ericson
ef81828143
Merge pull request #94047 from kmicklas/fix-gplates 
gplates: 2.0.0 -> 2.2.0, unbreak
 2020-07-31 19:57:01 -04:00
R. RyanTM
202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00:00
Yurii Rashkovskii
cc8369c461 why3: 1.2.1 -> 1.3.1 
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
 2020-07-30 23:05:08 +02:00
Herman Fries
956d35b990 openhantek6022: init at 3.1.1 2020-07-29 22:04:07 +02:00
Dmitry Kudriavtsev
345949594f maintainers: update name to anna 2020-07-28 19:48:16 -07:00
Mario Rodas
703b8ef3f3
Merge pull request #94091 from r-ryantm/auto-update/hmmer 
hmmer: 3.3 -> 3.3.1
 2020-07-28 14:04:04 -05:00
Mario Rodas
552a1f9278
itsx: enable on darwin 2020-07-28 13:48:55 -05:00
Mario Rodas
b7c9ca336f
hmmer: enable on darwin 2020-07-28 13:47:34 -05:00
R. RyanTM
58e7ed9d56 hmmer: 3.3 -> 3.3.1 2020-07-28 16:39:23 +00:00
Ken Micklas
7ae6e51bd4 gplates: 2.0.0 -> 2.2.0, unbreak 2020-07-27 20:54:18 -04:00
Daniël de Kok
655d902909 finalfrontier: 0.9.3 -> 0.9.4 
Changelog:
https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4
 2020-07-27 11:02:09 +02:00
Daniël de Kok
2e97f552fd finalfusion-utils: init at 0.11.2 2020-07-27 10:00:47 +02:00
Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump 
drat-trim: 2017-08-31 -> 2020-06-05
 2020-07-26 22:50:14 +03:00
Daniël de Kok
0f9afb2716
Merge pull request #92253 from danieldk/finalfrontier 
finalfrontier: init at 0.9.3
 2020-07-26 08:34:49 +02:00
Peter Simons
b4dd96b206 sad: mark package as broken because if depends on dropped ghc-8.4.4 
Ping @schmitthenner.
 2020-07-24 13:06:29 +02:00
Maximilian Bosch
a83e2e3662
Merge pull request #93742 from Xitian9/geogebra 
geogebra: 5-0-574-0 -> 5-0-593-0
 2020-07-24 11:34:38 +02:00
Evils
b6863cbfe7 kicad: fix build 
disable scripting support as 92261 broke wxPython_4_0
  and i haven't managed to get wxPython 4.1 to work

something caused makeWrapper to have to be added on its own
  not sure where it came from before...

and some cleanup
 2020-07-24 03:26:00 -04:00
Evils
e842233678 kicad-unstable: 2020-05-14 -> 2020-07-21 2020-07-24 03:26:00 -04:00
Stephen Morgan
d9e6338fec geogebra: 5-0-574-0 -> 5-0-593-0 2020-07-24 15:11:42 +10:00
Daniël de Kok
4dd9423b05 finalfrontier: init at 0.9.3 2020-07-23 10:05:33 +02:00
Robert Scott
fd5c0b94b2
Merge pull request #76960 from risicle/ris-hal-hardware-analyzer 
hal-hardware-analyzer: init at 2.0.0
 2020-07-21 22:08:05 +01:00
Daniël de Kok
622150e873
Merge pull request #93429 from danieldk/sortmerna-4.2.0 
sortmerna: 3.0.3 -> 4.2.0
 2020-07-21 09:34:01 +02:00
Robert Scott
d2d921b763 hal-hardware-analyzer: init at 2.0.0 2020-07-20 22:35:00 +01:00
Daniël de Kok
5bb161af08
Merge pull request #93351 from alyssais/gfan 
gfan: fix clang build on non-Darwin
 2020-07-19 10:23:13 +02:00
Daniël de Kok
dee4befc78
Merge pull request #93406 from lsix/add-gnu-gama 
gama: init at 2.09
 2020-07-19 08:49:37 +02:00
Lancelot SIX
9eccd6417a
gama: init at 2.09 2020-07-18 18:58:22 +01:00
Gabriel Ebner
3ffc16a834
Merge pull request #93375 from MrChico/cvc4_1.8 
cvc4: 1.6 -> 1.8
 2020-07-18 18:48:12 +02:00
Daniël de Kok
56c841393a sortmerna: 3.0.3 -> 4.2.0 
- Fixes build against rocksdb 6.10.2
- Use dynamic rocksdb and zlib libraries
- Build a dynamic binary
 2020-07-18 18:06:23 +02:00
Martin Lundfall
424936ed33 cvc4: 1.6 -> 1.8 
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
 2020-07-18 17:48:10 +02:00
Vladyslav M
2076487221
rink: 0.4.5 -> 0.5.0 2020-07-18 13:30:05 +03:00
Keshav Kini
b28d329c62 drat-trim: 2017-08-31 -> 2020-06-05 2020-07-17 21:38:31 -07:00
Alyssa Ross
8f5eaa6deb
gfan: fix clang build on non-Darwin 
-fno-guess-branch-probability isn't a Darwin-specific thing, it's a
clang-specific thing.
 2020-07-17 15:30:24 +00:00
Ryan Mulligan
891e3cb973
Merge pull request #92575 from r-ryantm/auto-update/seaview 
seaview: 5.0.2 -> 5.0.4
 2020-07-15 21:23:13 -07:00
markuskowa
7204d9aa36
Merge pull request #93042 from r-ryantm/auto-update/gromacs 
gromacs: 2020.2 -> 2020.3
 2020-07-13 13:52:28 +02:00
R. RyanTM
215011c44d gromacs: 2020.2 -> 2020.3 2020-07-13 07:11:49 +00:00
Daniël de Kok
a36e044be2
Merge pull request #92957 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 4.0.8 -> 4.0.9
 2020-07-12 07:37:29 +02:00
Ben Wolsieffer
060c1ef6a5 qgroundcontrol: 4.0.8 -> 4.0.9 2020-07-11 15:27:23 -04:00
Florian Klink
785b558e66
Merge pull request #92781 from r-ryantm/auto-update/gtkwave 
gtkwave: 3.3.104 -> 3.3.105
 2020-07-11 13:57:57 +02:00
Timo Kaufmann
9aab32b51c
Merge pull request #92796 from r-ryantm/auto-update/jmol 
jmol: 14.31.0 -> 14.31.2
 2020-07-09 18:43:50 +02:00
Austin Seipp
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 10:33:09 -05:00
R. RyanTM
46e8ec7927 jmol: 14.31.0 -> 14.31.2 2020-07-09 14:44:34 +00:00
Austin Seipp
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
R. RyanTM
6e3fd6892c gtkwave: 3.3.104 -> 3.3.105 2020-07-09 10:06:28 +00:00
Jörg Thalheim
141f9ce807
cryptominisat: 5.7.1 -> 5.8.0 (#92681) 
Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
 2020-07-09 08:24:55 +01:00
Jörg Thalheim
223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim
e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
Daniël de Kok
26d250d4b3
Merge pull request #92738 from r-ryantm/auto-update/yacas 
yacas: 1.8.0 -> 1.9.1
 2020-07-09 09:02:26 +02:00
R. RyanTM
d27df249ee yacas: 1.8.0 -> 1.9.1 2020-07-08 18:25:49 +00:00
R. RyanTM
3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM
887f1978f6 tlaplusToolbox: 1.6.0 -> 1.7.0 2020-07-07 21:21:49 +00:00
R. RyanTM
02fe1ec6ec gwyddion: 2.55 -> 2.56 2020-07-07 10:11:50 -07:00
R. RyanTM
e6113be804 seaview: 5.0.2 -> 5.0.4 2020-07-07 13:30:35 +00:00
Benjamin Hipple
0f94e2413d
Merge pull request #91071 from bcdarwin/minc-tools-build-nifti-tools 
minc-tools: actually build Nifti support
 2020-07-06 17:45:48 -04:00
Ben Darwin
28becad9be minc-tools: actually build Nifti support 2020-07-06 11:09:33 -04:00
Justin Bedo
3139597277
whisper: init at 2.0.1 2020-07-06 18:59:45 +10:00
Benjamin Hipple
4f4e0477b7
Merge pull request #90320 from wucke13/apmplanner-2 
apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1
 2020-07-05 20:23:52 -04:00
Benjamin Hipple
b82bdcd3c3
Merge pull request #90311 from wucke13/betaflight-configurator 
betaflight-configurator: 10.6.0 -> 10.7.0
 2020-07-05 19:52:10 -04:00
Ryan Mulligan
9dcf134813
Merge pull request #92317 from r-ryantm/auto-update/last 
last: 1061 -> 1066
 2020-07-05 16:09:42 -07:00
R. RyanTM
c0ebe721a9 marvin: 20.13.0 -> 20.15.0 2020-07-05 15:06:16 +00:00
R. RyanTM
12b36a950b ltl2ba: 1.2 -> 1.3 2020-07-05 14:25:04 +00:00
R. RyanTM
aca998de5e last: 1061 -> 1066 2020-07-05 08:43:25 +00:00
Justin Bedo
a3d6e7b4b4
lumpy: init 0.3.0 2020-07-05 09:19:11 +10:00
Justin Bedo
617483d27a
sambamba: init 0.7.1 2020-07-05 09:10:21 +10:00
Justin Bedo
2ada3b5d3e
samblaster: init 0.1.24 2020-07-05 09:10:21 +10:00
Mario Rodas
c70f0c6548
Merge pull request #92257 from r-ryantm/auto-update/tebreak 
tebreak: 1.0 -> 1.1
 2020-07-04 12:45:00 -05:00
R. RyanTM
d8956ba50e tebreak: 1.0 -> 1.1 2020-07-04 10:45:49 +00:00
Dmitry Kalinkin
b234812a38
Merge pull request #92127 from veprbl/pr/snakemake_5_19_3 
snakemake: 5.17.0 -> 5.19.3
 2020-07-03 14:03:37 -04:00
Mario Rodas
212b0d32ca
Merge pull request #92169 from r-ryantm/auto-update/gmsh 
gmsh: 4.5.6 -> 4.6.0
 2020-07-03 07:59:10 -05:00
R. RyanTM
97c089f2f7 gmsh: 4.5.6 -> 4.6.0 2020-07-03 11:56:48 +00:00
Dmitry Kalinkin
eb121e0901
snakemake: 5.17.0 -> 5.19.3 2020-07-02 23:36:20 -04:00
R. RyanTM
6630edb1bd picard-tools: 2.23.0 -> 2.23.1 2020-07-02 18:09:49 -07:00
R. RyanTM
a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner
ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean 
lean: 3.16.2 -> 3.16.5
 2020-07-02 15:27:58 +02:00
R. RyanTM
39ee2ab9c0 lean: 3.16.2 -> 3.16.5 2020-07-02 13:12:58 +00:00
Vincent Laporte
d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
Markus Kowalewski
187b4a2e04
root: add license 2020-06-27 00:43:21 +02:00
Markus Kowalewski
52f9aebe64
qalculate-gtk: add license 2020-06-27 00:37:44 +02:00
Markus Kowalewski
c317091b5a
mrbayes: fix license 2020-06-26 11:06:35 +02:00
Markus Kowalewski
83dda57082
emboss: fix license 2020-06-26 11:05:24 +02:00
zowoq
c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10:00
Daniël de Kok
5f0cf22c59 cadical: enable tests 2020-06-24 15:10:53 -07:00
Maximilian Bosch
44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR 
cadical: 1.2.1 -> 1.3.0
 2020-06-23 23:33:10 +02:00
Maximilian Bosch
3c3840ecd6
stellarium: 0.20.1 -> 0.20.2 
https://github.com/Stellarium/stellarium/releases/tag/v0.20.2
 2020-06-22 20:30:42 +02:00
Sébastien Maret
b307674e02
gildas: 20200201_a -> 20200601_b (#91096) 2020-06-19 10:40:38 -04:00
Vincent Laporte
a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Dmitry Kalinkin
df3a188b46
root5: 5.34.36 -> 5.34.38 
Fixes: https://nvd.nist.gov/vuln/detail/CVE-2017-1000203
 2020-06-18 16:42:02 -04:00
R. RyanTM
7b104edf89 eagle: 9.6.1 -> 9.6.2 2020-06-17 11:04:13 -07:00
evils
b8a03a66b3
fahclient: 7.6.9 -> 7.6.13 (#99595) 2020-10-05 14:40:10 +02:00
Gabriel Ebner
9fadca2bcc qalculate-gtk: 3.12.1 -> 3.13.0 2020-10-04 14:53:10 +02:00
Mario Rodas
c89c819abd
Merge pull request #98672 from r-ryantm/auto-update/bcftools 
bcftools: 1.10.2 -> 1.11
 2020-10-02 23:57:06 -05:00
Ryan Mulligan
6aadae67de
Merge pull request #81550 from scalavision/add-kent-utils-to-bioinf 
kent: init at 394
 2020-10-02 09:05:51 -07:00
Patrick Hilhorst
f7e390e6d4 treewide: fix redirected urls (run 3) 
Related:
 - 9fc5e7e473
 - 593e11fd94
 - 508ae42a0f

Since the last time I ran this script, the Repology API changed, so I had to
adapt the script used in the previous PR. The new API should be more robust, so
overall this is a positive (no more grepping the error messages for our relevant
data but just a nice json structure).

Here's the new script I used:

```sh
curl https://repology.org/api/v1/repository/nix_unstable/problems \
   | jq -r '.[] | select(.type == "homepage_permanent_https_redirect") | .data | "s@\(.url)@\(.target)@"' \
   | sort | uniq | tee script.sed
find -name '*.nix' | xargs -P4 -- sed -f script.sed -i
```

I will also add this script to `maintainers/scripts`.
 2020-10-02 09:01:35 -07:00
Scalavision
a6f124f57b kent: init at 404 2020-10-01 19:50:37 +02:00
R. RyanTM
f4d3204486 bcftools: 1.10.2 -> 1.11 2020-09-24 18:53:07 +00:00
Austin Seipp
9954d5a583
verilator: 4.034 -> 4.036 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-16 11:19:57 -05:00
Narazaki, Shuji
d6c90aea17 cadical: 1.2.1 -> 1.3.0 2020-06-15 22:56:41 +09:00
Ryan Mulligan
c2df0fb59a
Merge pull request #90419 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.22.9 -> 2.23.0
 2020-06-15 05:48:36 -07:00
R. RyanTM
57a49ce3a4 picard-tools: 2.22.9 -> 2.23.0 2020-06-15 00:57:30 +00:00
Steve Purcell
af76ba6c57 fastdownward: 2019-05-13 -> 19.12 
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
 2020-06-15 10:40:53 +12:00
R. RyanTM
e63bfcef96 lean: 3.15.0 -> 3.16.2 2020-06-14 19:32:20 +00:00
wucke13
6bd79857e9 apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1 2020-06-14 13:27:38 +02:00
wucke13
e4183aaa76 betaflight-configurator: 10.6.0 -> 10.7.0 2020-06-14 12:32:59 +02:00
Steve Purcell
1058f8f8cf fast-downward: also build on darwin 2020-06-14 17:55:14 +12:00
Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-11 23:14:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11 
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-11 23:14:07 -05:00
Vladimír Čunát
a5f5d020c6
Merge branch 'staging-next' 2020-06-10 16:13:48 +02:00
Ryan Mulligan
d456800b17
Merge pull request #90045 from r-ryantm/auto-update/marvin 
marvin: 20.12.0 -> 20.13.0
 2020-06-10 06:01:10 -07:00
markuskowa
86d193c305
Merge pull request #90013 from r-ryantm/auto-update/jmol 
jmol: 14.30.2 -> 14.31.0
 2020-06-10 14:41:33 +02:00
R. RyanTM
0f890be404 marvin: 20.12.0 -> 20.13.0 2020-06-10 12:01:26 +00:00
R. RyanTM
c04e2c41ca jmol: 14.30.2 -> 14.31.0 2020-06-10 03:50:47 +00:00
Jan Tojnar
c637cbe992
Merge branch 'master' into staging-next 2020-06-10 04:10:34 +02:00
R. RyanTM
b1049a61f1 star: 2.7.3a -> 2.7.4a 2020-06-09 02:32:13 +00:00
Symphorien Gibol
0a488516be boolector: 3.0.0 -> 3.2.1 
enable tests
optionnally enable gmp
 2020-06-08 17:32:07 -05:00
Symphorien Gibol
90b75531a5 btor2tools: pre55 -> 1.0.0-pre 
version comes from the VERSION file in the repo
 2020-06-08 17:32:07 -05:00
Frederik Rietdijk
dc33419285 Merge master into staging-next 2020-06-08 12:06:12 +02:00
1000101
277bbb8efe formatting: fix missing leading whitespace 2020-06-08 09:37:17 +02:00
Ryan Mulligan
38b720e653
Merge pull request #89667 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.22.8 -> 2.22.9
 2020-06-07 15:38:23 -07:00
Frederik Rietdijk
155382cae3
Merge pull request #89515 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 3.5.5 -> 4.0.8
 2020-06-07 15:57:35 +02:00
Frederik Rietdijk
6b8223e634 Merge master into staging-next 2020-06-07 09:25:12 +02:00
Markus Kowalewski
5dbe275aac
molden: 6.2 -> 6.3 2020-06-06 23:41:01 +02:00
R. RyanTM
170ea57065 picard-tools: 2.22.8 -> 2.22.9 2020-06-06 15:43:25 +00:00
R. RyanTM
25300419fd lean: 3.14.0 -> 3.15.0 2020-06-06 10:55:48 +00:00
Sohalt
877af72161
Fixup 
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
 2020-06-05 12:44:13 +02:00
Ben Wolsieffer
5d3c56822a qgroundcontrol: 3.5.5 -> 4.0.8 2020-06-04 19:06:45 -04:00
Frederik Rietdijk
08900c0554 Merge master into staging-next 2020-06-04 15:25:54 +02:00
Lassulus
a15262665a
Merge pull request #88466 from puzzlewolf/gazebo_remove 
gazebo: remove
 2020-06-04 12:47:42 +02:00
Daiderd Jordan
7b3a2963d1
treewide: replace base64 encoded hashes 2020-06-03 18:35:19 +02:00
zimbatm
9f15e95ff2
Merge pull request #89308 from LnL7/remove-sri-hashes 
Remove sri hashes
 2020-06-02 16:24:01 +02:00
Timo Kaufmann
374016fb1c
Merge pull request #89111 from timokau/gap-cleanup 
gap: cleanup
 2020-06-02 10:55:46 +02:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
puzzlewolf
3b26ba8b91 maintainers: remove pxc 2020-05-30 18:38:37 +02:00
puzzlewolf
c906c45fec gazebo, sdformat: remove 2020-05-30 18:38:28 +02:00
Jonathan Ringer
3a4fec8232 mxnet: use blas.provider, fix build 2020-05-28 15:08:47 -07:00
Timo Kaufmann
6579f814cf gap: remove explicit configreFlags 
System gmp is now the default.
 2020-05-28 16:07:38 +02:00
Timo Kaufmann
d689f3fe72 gap: add readline support 
Technically optional but strongly recommended from upstream. Replaces
their own implementation for input parsing.
 2020-05-28 16:06:34 +02:00
Timo Kaufmann
f15c816584 gap: use https for the homepage 2020-05-28 15:58:41 +02:00
Timo Kaufmann
9e245a0878 gap: fix comment typo 2020-05-28 15:57:50 +02:00
Timo Kaufmann
e2e45e163c gap: remove m4 dependency 
No longer necessary, since the build system was significantly overhauled
/ replaced by Max Horn.
 2020-05-28 15:55:07 +02:00
Timo Kaufmann
c269b51c38 gap: move to new source URL 
GAP downloads moved to a new subdomain. The old one still redirects, but
the new one is the "source of truth" so we should switch to that.
 2020-05-28 15:53:56 +02:00
Timo Kaufmann
a4c76b970c gap: use the check target for install checks 
As suggested by Max Horn.

This exists since gap 4.10 and will only run the install checks once
while also exiting with an appropriate exit code. This new check has
uncovered some test failures, which are harmless and actually disabled
in a future gap release. The error-detection code for the previous test
target was probably broken.
 2020-05-28 15:50:46 +02:00
Timo Kaufmann
d34fa6ed44
Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2 
palp: fix hash
 2020-05-27 22:34:12 +00:00
Timo Kaufmann
b74991703a palp: fix hash 
The file was modified for the second time now. I'll try to contact
upstream about this. Maybe 2.11 is not actually a finished product yet.
 2020-05-28 00:20:30 +02:00
R. RyanTM
8295aa6d8b cryptominisat: 5.7.0 -> 5.7.1 2020-05-27 13:51:14 -07:00
R. RyanTM
f4e01832ed marvin: 20.10.0 -> 20.12.0 2020-05-27 12:11:37 -07:00
R. RyanTM
5841bc46f8 proverif: 2.00 -> 2.01 2020-05-27 12:07:52 -07:00
Jörg Thalheim
660854a266
Merge pull request #88916 from zowoq/patches 2020-05-27 06:54:01 +01:00
Benjamin Hipple
f04a5af0cc
Merge pull request #82180 from bcdarwin/bppcore 
bppsuite: init at 2.4.1
 2020-05-26 21:07:25 -04:00
Lassulus
ed25a12070
Merge pull request #70487 from esclear/xflr5 
xflr5: init at 6.47
 2020-05-27 00:00:05 +02:00
zowoq
cb4cc7a480 sad: use patch file extension 2020-05-26 14:50:50 +10:00
Benjamin Hipple
d3082a31cd
Merge pull request #87544 from bcdarwin/vtk-8 
vtk: 7.1.1 -> 8.2.0
 2020-05-26 00:24:28 -04:00
Ben Darwin
45cd7beeb2 bppsuite: init at 2.4.1 2020-05-25 21:13:02 -04:00
Ryan Mulligan
85898181b0
Merge pull request #88844 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.22.7 -> 2.22.8
 2020-05-25 06:09:11 -07:00
Mario Rodas
bc4469005e
Merge pull request #88824 from r-ryantm/auto-update/lean 
lean: 3.13.1 -> 3.14.0
 2020-05-24 22:49:35 -05:00
R. RyanTM
a60a040236 picard-tools: 2.22.7 -> 2.22.8 2020-05-25 01:25:17 +00:00
R. RyanTM
7573e99a60 lean: 3.13.1 -> 3.14.0 2020-05-24 22:22:11 +00:00
R. RyanTM
c1b7c7e87c
snakemake: 5.16.0 -> 5.17.0 (#88766) 2020-05-24 13:32:14 -04:00
Dmitry Kalinkin
9eb3f39bca
Merge pull request #88713 from veprbl/pr/sherpa_2_2_10 
sherpa: 2.2.9 -> 2.2.10
 2020-05-23 21:56:57 -04:00
Dmitry Kalinkin
e6282f9f6c
sherpa: 2.2.9 -> 2.2.10 2020-05-23 16:22:08 -04:00
Ryan Mulligan
5505be7840
Merge pull request #88568 from r-ryantm/auto-update/last 
last: 1060 -> 1061
 2020-05-23 11:42:47 -07:00
Frederik Rietdijk
bc3c3b4a59 pythonPackages.kicad: bindings to kicad 
Add the Python bindings for kicad.

Following now functions

    $ nix run "(import ./. {}).python3.withPackages(ps: with ps; [ kicad  ])" -c python3 -c "import pcbnew"

Have not tested this any further.
 2020-05-23 15:44:14 +02:00
Mario Rodas
d30b7592c4
Merge pull request #88363 from r-ryantm/auto-update/clp 
clp: 1.17.5 -> 1.17.6
 2020-05-23 00:31:57 -05:00
R. RyanTM
25841d95c5 last: 1060 -> 1061 2020-05-22 02:21:55 +00:00
zimbatm
28357868f8
Merge pull request #88482 from r-ryantm/auto-update/fahcontrol 
fahcontrol: 7.6.9 -> 7.6.13
 2020-05-21 12:12:37 +02:00
zimbatm
1f6fcc7025
Merge pull request #88493 from r-ryantm/auto-update/fahviewer 
fahviewer: 7.6.9 -> 7.6.13
 2020-05-21 12:12:01 +02:00
R. RyanTM
f52889cd38 fahviewer: 7.6.9 -> 7.6.13 2020-05-21 08:53:14 +00:00
Evils
d798396684 kicad-unstable: 2020-05-06 -> 2020-05-14 2020-05-21 10:49:18 +02:00
Evils
a791245d51 kicad: 5.1.5 -> 5.1.6 2020-05-21 10:49:18 +02:00
R. RyanTM
0cc843b538 fahcontrol: 7.6.9 -> 7.6.13 2020-05-21 06:24:27 +00:00
Vincent Laporte
48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
Timo Kaufmann
b811d52b9c
Merge pull request #88428 from timokau/nauty-27r1 
nauty: 26r12 -> 27r1
 2020-05-20 13:22:15 +00:00
Timo Kaufmann
d0e171395a nauty: 26r12 -> 27r1 
Changes: http://pallini.di.uniroma1.it/changes24-27.txt
 2020-05-20 14:59:46 +02:00
Timo Kaufmann
a276c4485c nauty: add meta.changelog 2020-05-20 14:59:46 +02:00
Ryan Mulligan
aae8733f96
Merge pull request #88210 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.22.4 -> 2.22.7
 2020-05-20 05:08:01 -07:00
R. RyanTM
d1b7e3f8cc clp: 1.17.5 -> 1.17.6 2020-05-20 10:04:01 +00:00
R. RyanTM
3450729658 picard-tools: 2.22.4 -> 2.22.7 2020-05-19 21:56:38 +00:00
Timo Kaufmann
7447395f9d
Merge pull request #88177 from timokau/palp-2.11-hash-fixup 
palp: fix hash
 2020-05-19 18:43:59 +00:00
Timo Kaufmann
aae9af9632 palp: fix hash 
It looks like the upstream tarball was changed since I updated palp 3
days ago. Hopefully that won't happen again.
 2020-05-19 17:50:43 +02:00
Gabriel Ebner
ade0eba99d
Merge pull request #88131 from r-ryantm/auto-update/elan 2020-05-19 09:38:28 +02:00
Lancelot SIX
b7c5508bfc
Merge pull request #86910 from lsix/cytoscape-3.8.0 
cytoscape: 3.7.2 -> 3.8.0
 2020-05-19 08:32:48 +01:00
R. RyanTM
748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Timo Kaufmann
91da9ed129
Merge pull request #87944 from timokau/palp-2.11 
palp: 2.1 -> 2.11
 2020-05-18 19:58:59 +00:00
Ryan Mulligan
fdf4439acc
Merge pull request #87494 from r-ryantm/auto-update/SPAdes 
SPAdes: 3.14.0 -> 3.14.1
 2020-05-18 08:06:19 -07:00
Timo Kaufmann
d65850e975 palp: 2.1 -> 2.11 
According to the homepage[1]:

> Small change in Mori.h for compatibility with gcc_10 (thanks to J.
  Puydt) [May 15, 2020].

Disabling the strictoverflow seems to be no longer necessary (I'm
relying on the check phase here).

[1] http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html
 2020-05-16 15:07:57 +02:00
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
sohalt
7bf616dd77 Correct license 2020-05-10 00:49:56 +02:00
sohalt
9ec71eb051 use https 2020-05-10 00:46:00 +02: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
sohalt
de81e8b961 isabelle: 2018 -> 2020 2020-05-08 00:33:03 +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
db48393552 init at 3.0.0-beta14 2020-04-24 11:20:14 +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