Commit Graph

3927 Commits

Author SHA1 Message Date
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
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
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