Aaron Jheng
678ccdf716
element: mark as broken on darwin
2022-11-14 02:16:43 +00:00
Robert Scott
ea6d354b84
Merge pull request #201044 from fedeinthemix/update-xyce
...
xyce: 7.4.0 -> 7.6.0
2022-11-13 20:13:29 +00:00
Federico Beffa
d36e0be2ea
xyce: 7.4.0 -> 7.6.0
2022-11-13 16:41:14 +01:00
Mario Rodas
16df31b2cd
Merge pull request #200755 from collares/lean-3.49.0
...
lean: 3.48.0 -> 3.49.0
2022-11-13 09:04:08 -05:00
Robert Schütz
61c207555b
hal-hardware-analyzer: use igraph 0.9
2022-11-12 20:07:20 -08:00
yurket
8a236e246a
gplates: fix failing build
...
Started failing after the commit 11ea0e99b7
2022-11-12 11:33:42 -08:00
Lorenz Brun
c35b5503f4
dsview: 1.1.2 -> 1.2.1
2022-11-12 16:04:11 +01:00
Mauricio Collares
c87af38741
lean: 3.48.0 -> 3.49.0
2022-11-11 17:33:01 -03:00
R. Ryantm
139ba95570
cbmc: 5.69.1 -> 5.70.0
2022-11-11 18:08:36 +08:00
Weijia Wang
699e05b52a
root5: migrate to gsl ( #200455 )
2022-11-10 18:59:19 -05:00
7c6f434c
511bbd4c78
Merge pull request #200059 from r-ryantm/auto-update/clingo
...
clingo: 5.6.1 -> 5.6.2
2022-11-10 10:32:04 +00:00
Shamrock Lee
a664ec27f4
root: add package test test-thisroot
2022-11-10 09:27:35 +08:00
Shamrock Lee
7f91dec5dd
root: wrap the executable and patch thisroot.*
2022-11-10 09:23:52 +08:00
Dmitry Kalinkin
25fd03cf72
Merge pull request #200412 from wegank/root-darwin
...
root: 6.26.06 -> 6.26.08
2022-11-09 18:16:38 -05:00
Weijia Wang
d474e39f7d
root: fix build on aarch64-darwin
2022-11-09 21:03:59 +01:00
Weijia Wang
5d5c6ded1a
root: 6.26.06 -> 6.26.08
2022-11-09 18:19:45 +01:00
Shamrock Lee
0106a68555
root: enable davix and ssl support ( #200096 )
...
This enables CERN ROOT to open file urls with scheme
`davs://` and `https://`.
The inclusion of `openssl` in buildInputs
will increase neither closure size nor rebuild frequency,
since `python3`, which depends on `openssl`, is already a dependency.
2022-11-09 11:31:37 -05:00
Fabian Affolter
95ed815b50
Merge pull request #200234 from r-ryantm/auto-update/delly
...
delly: 1.1.5 -> 1.1.6
2022-11-09 08:00:15 +01:00
Artturi
3e2445be79
Merge pull request #200145 from hzeller/20221107-update-surelog-uhdm-plugin
...
Fix for darwin build.
2022-11-09 02:09:35 +02:00
Weijia Wang
e0e6444e50
boinc: unbreak on aarch64-linux
2022-11-09 00:59:14 +01:00
Henner Zeller
50c509ecf3
surelog: 1.40 -> 1.45
...
Update Surelog (going along with uhdm 1.45). Fix flaky tests
to to parallel execution of ctest by patching in a fix that is
already upstream.
Result zero hydra failures #199919
Also: using flatbuffers from nix environment instead of third_party/
Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:27 -08:00
Henner Zeller
568398e338
uhdm: 0.9.1.40 -> 1.45
...
Update UHDM and also fix for Darwin build.
The gtest version used in the project unconditionally uses
/tmp as temporary directory in Darwin and does not honor the
environment variables introduced in gtest 1.12.
Use that gtest version so that it will work in the Hydra
build environment.
Related: #199919 as this is fixing the Darwin build.
Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:14 -08:00
R. Ryantm
c7ba9b459c
delly: 1.1.5 -> 1.1.6
2022-11-08 18:21:37 +00:00
Fabian Affolter
9ac3253434
Merge pull request #200024 from fabaff/docker-bump
...
python310Packages.docker: 6.0.0 -> 6.0.1
2022-11-08 15:48:02 +01:00
Fabian Affolter
cad704eb95
toil: 5.6.0 -> 5.7.1
2022-11-08 12:17:40 +01:00
Mario Rodas
f84d890770
Merge pull request #199530 from NickCao/stellarium_11
...
stellarium: 1.0 -> 1.1
2022-11-08 03:15:29 -05:00
Justin Bedő
3a90ab68e6
Merge pull request #197631 from jbedo/octopus
...
octopus-caller: backport patch to fix build
2022-11-07 21:26:21 +00:00
Mauricio Collares
fc9eb96278
Merge pull request #198355 from collares/sage-libgap-aarch64
...
sage: fix aarch64 crashes and skip problematic test
2022-11-07 17:53:09 -03:00
R. Ryantm
f77d334af1
clingo: 5.6.1 -> 5.6.2
2022-11-07 17:55:20 +00:00
R. Ryantm
a8ed4be9a6
gmsh: 4.10.5 -> 4.11.0
2022-11-07 11:31:21 +00:00
amesgen
4a3fc076e4
clingcon: 5.0.0 -> 5.2.0 and fix build
2022-11-07 00:41:21 +01:00
Mario Rodas
5b06368259
Merge pull request #199623 from wegank/kicad-wxgtk
...
kicad: migrate to wxGTK32
2022-11-05 16:31:07 -05:00
Nick Cao
e562fc6e05
stellarium: build with qt6
2022-11-05 21:39:24 +08:00
Nick Cao
f2870ff9e2
calcmysky: build with qt6
2022-11-05 21:39:10 +08:00
Nick Cao
74fd5f0cba
stellarium: 1.0 -> 1.1
2022-11-05 21:37:59 +08:00
Nick Cao
b105efc145
calcmysky: 0.1.0 -> 0.2.1
2022-11-05 21:37:59 +08:00
markuskowa
e2cf8ac376
Merge pull request #199331 from markuskowa/fix-arpack
...
arpack: fix ILP64 checks and MPI support
2022-11-05 12:37:35 +01:00
Weijia Wang
0b894f5564
kicad: migrate to wxGTK32
2022-11-05 03:35:27 +01:00
Mauricio Collares
079200691f
sage: patches to fix aarch64 crashes and skip known timeout
2022-11-04 16:09:51 -03:00
Valentin Gagarin
b02d74fb5e
Merge pull request #173225 from matthuszagh/uhdm
...
Add systemverilog plugin to yosys
2022-11-04 18:37:13 +01:00
Christian Kögler
759bbe2f57
Merge pull request #190900 from bzizou/seqkit
...
seqkit: init at 2.3.1
2022-11-04 16:48:40 +01:00
Sandro
8f679a5327
Merge pull request #194031 from NickCao/stellarium
2022-11-04 15:33:03 +01:00
7c6f434c
58f6230338
Merge pull request #192548 from collares/gap-4.12
...
gap: 4.11.1 -> 4.12.1
2022-11-04 08:01:40 +00:00
Bruno Bzeznik
9243a44c9c
seqkit: init at 2.3.1
2022-11-04 08:51:32 +01:00
Markus Kowalewski
8c3d2bab83
calculix: add blas, lapack, arpack ILP64 checks
2022-11-03 12:59:44 +01:00
Markus Kowalewski
b931e2bb82
octopus: add arpack ILP64 check
2022-11-03 12:50:08 +01:00
Weijia Wang
7f0b7f4cf3
fityk: migrate to wxGTK32
2022-11-03 11:49:13 +01:00
markuskowa
c14386f1ed
Merge pull request #199025 from r-ryantm/auto-update/element
...
element: 1.0.0 -> 1.0.1
2022-11-02 21:46:19 +01:00
Austin Seipp
3afaf7d263
verilator: enable doCheck = true
...
Based on the work from yangm2 in #109493 .
Co-authored-by: yangm2 <yangm2@users.noreply.github.com>
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-11-02 07:55:30 -05:00
Austin Seipp
5ceadb26b8
verilator: 4.226 -> 5.002
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-11-02 07:55:30 -05:00
R. Ryantm
f75ed7fcef
element: 1.0.0 -> 1.0.1
2022-11-01 18:43:56 +00:00
Stanisław Pitucha
9ed8ce7ff3
Merge pull request #198609 from natsukium/mmseqs2/init
...
mmseqs2: init at 14-7e284
2022-11-01 21:47:20 +11:00
Jan van Brügge
fa28ed4858
isabelle-linter: 2021-1 -> 2022-09-05
2022-10-31 20:06:03 +00:00
Jan van Brügge
f6b110fb50
isabelle: 2021-1 -> 2022
2022-10-31 20:06:00 +00:00
natsukium
ed7511ad02
mmseqs2: init at 14-7e284
2022-10-31 23:49:10 +09:00
Nikolay Korotkiy
015979436c
Merge pull request #198374 from jiegec/ngspice-darwin
...
ngspice: add darwin to platforms
2022-10-31 08:26:36 +03:00
Bobby Rong
fa6834cf70
Merge pull request #198648 from evils/kicad
...
kicad: 6.0.8 -> 6.0.9
2022-10-31 12:17:55 +08:00
Thiago Kenji Okada
2e7242bbb9
Merge pull request #188939 from luc65r/cemu-ti
...
cemu-ti: 1.3 -> unstable-2022-06-29
2022-10-31 00:36:24 +00:00
Thiago Kenji Okada
b2bb7c1348
cemu-ti: update license
2022-10-30 23:22:01 +00:00
Sandro
65d82645b9
Merge pull request #185507 from OPNA2608/update/d-compilers
2022-10-30 23:02:43 +01:00
Anderson Torres
eb7b3043ff
Merge pull request #195226 from mgttlinger/nusmv
...
nusmv: init at 2.6.0
2022-10-30 16:03:23 -03:00
Sandro
412b9917ce
Merge pull request #198064 from wegank/wxgtk31-drop-gtk2
2022-10-30 16:09:59 +01:00
Jiajie Chen
4941d433fa
ngspice: add darwin to platforms
...
ngspice can build and run on darwin.
2022-10-30 22:19:08 +08:00
Evils
b2f1884dd8
kicad: 6.0.8 -> 6.0.9
2022-10-30 14:00:01 +01:00
markuskowa
89857e684f
Merge pull request #198463 from r-ryantm/auto-update/cbmc
...
cbmc: 5.69.0 -> 5.69.1
2022-10-29 23:23:02 +02:00
Samuel Ainsworth
b647155e5b
mujoco: init at 2.3.0 ( #198145 )
...
* mujoco: init at 2.3.0
* mujoco: refactor `meta`
Co-authored-by: Florian <florian.brandes@posteo.de>
Co-authored-by: Florian <florian.brandes@posteo.de>
2022-10-29 11:47:32 -07:00
R. Ryantm
4db4ddf01a
cbmc: 5.69.0 -> 5.69.1
2022-10-29 13:42:50 +00:00
R. Ryantm
0ef660daa1
gnuastro: 0.18 -> 0.19
2022-10-29 05:17:40 +00:00
Mauricio Collares
41b59d27e4
sage: import gap update patch
2022-10-28 18:28:03 -03:00
Mauricio Collares
90eca1d362
gap: 4.11.1 -> 4.12.1
2022-10-28 18:20:03 -03:00
R. Ryantm
52b1e28293
cbmc: 5.68.0 -> 5.69.0
2022-10-28 16:23:12 +08:00
Weijia Wang
30d66019b4
wxGTK31: drop gtk2 support
2022-10-27 15:30:15 +02:00
R. Ryantm
11cca34608
qgroundcontrol: 4.2.3 -> 4.2.4
2022-10-27 21:19:31 +08:00
Jakub Dupak
57069c3366
QtRVSim: 0.9.3 -> 0.9.4
2022-10-27 13:27:37 +02:00
Jan van Brügge
269c1f5e90
naproche: 2022-04-19 -> 2022-10-24
2022-10-26 12:10:09 +01:00
7c6f434c
02835f2253
Merge pull request #197645 from r-ryantm/auto-update/opensmt
...
opensmt: 2.4.1 -> 2.4.2
2022-10-25 16:04:34 +00:00
Bobby Rong
256da9655f
Merge pull request #192797 from wucke13/inav-configurator
...
inav-configurator: 4.1.0 -> 5.1.0
2022-10-25 21:12:11 +08:00
R. Ryantm
1401fdb2d4
opensmt: 2.4.1 -> 2.4.2
2022-10-25 02:23:41 +00:00
Justin Bedo
5f5bb45093
octopus-caller: backport patch to fix build
2022-10-25 09:52:28 +11:00
Dmitry Kalinkin
cde19b8469
Merge pull request #197306 from veprbl/pr/dawncut_init
...
dawncut: init at 1.54a
2022-10-24 16:38:58 -04:00
markuskowa
f67325ac2c
Merge pull request #197390 from markuskowa/upd-openmolcas
...
openmolcas: 22.06 -> 22.10
2022-10-24 10:55:56 +02:00
Markus Kowalewski
bd5597dce4
openmolcas: 22.06 -> 22.10
2022-10-23 18:06:56 +02:00
Markus Kowalewski
f6771d4d15
octopus: 12.0 -> 12.1
2022-10-23 17:51:24 +02:00
OPNA2608
982a1bfd80
sambamba: fix compilation on Darwin, cleanup installPhase
2022-10-23 16:12:47 +02:00
fee1-dead
93e729e432
wolfram-engine: fix Qt ( #195814 )
...
This is necessary for using wolfram-notebook, which calls wolframplayer
where the latter would segfault if Qt plugins are not found.
2022-10-23 00:15:12 -04:00
Dmitry Kalinkin
62b5fa807f
dawn: provide path to wish for the GUI
2022-10-22 22:04:23 -04:00
Dmitry Kalinkin
5375f83194
dawncut: init at 1.54a
2022-10-22 21:52:40 -04:00
Robert Scott
31acb601e3
Merge pull request #196812 from smaret/fix-gildas-python
...
gildas: restore Python support
2022-10-22 17:07:30 +01:00
github-actions[bot]
71e4896d63
Merge master into staging-next
2022-10-22 12:01:25 +00:00
Malo Bourgon
5e976f8f6d
readstat, python3Packages.pyreadstat: fix build on Darwin
2022-10-21 12:03:20 -07:00
Sébastien Maret
35370b7fef
gildas: restore Python support
2022-10-19 22:12:52 +02:00
github-actions[bot]
bbaff9a043
Merge master into staging-next
2022-10-19 12:01:22 +00:00
Lassulus
0ffb5cb0a1
Merge pull request #191498 from smaret/gildas-update
...
gildas: 20211101_a -> 20221001_b
2022-10-19 12:33:38 +02:00
José Romildo Malaquias
bfdef32bfe
Merge pull request #196518 from r-ryantm/auto-update/qalculate-qt
...
qalculate-qt: 4.3.0 -> 4.4.0
2022-10-19 07:27:04 -03:00
Jan Tojnar
457f28f6f8
Merge branch 'master' into staging-next
...
; Conflicts:
; pkgs/development/tools/codespell/default.nix
codespell 2.2.2 switched to pyproject & setuptools_scm:
https://github.com/codespell-project/codespell/pull/2523
2022-10-19 05:24:28 +02:00
R. Ryantm
4ab06e3223
ants: 2.4.1 -> 2.4.2
2022-10-19 09:19:31 +08:00
R. Ryantm
eaa2608a12
horizon-eda: 2.3.1 -> 2.4.0
2022-10-18 20:39:07 +08:00
R. Ryantm
534b2ac627
nvc: 1.7.1 -> 1.7.2
2022-10-18 20:07:12 +08:00
R. Ryantm
601989d40d
qalculate-qt: 4.3.0 -> 4.4.0
2022-10-18 03:23:09 +00:00
github-actions[bot]
3834216ec6
Merge master into staging-next
2022-10-17 18:10:17 +00:00
alyaeanyx
d5794f1085
{libqalculate, qalculate-gtk}: add alyaeanyx as maintainer
2022-10-17 16:30:47 +02:00
alyaeanyx
12b49920fc
{libqalculate, qalculate-gtk}: 4.3.0 -> 4.4.0
2022-10-17 16:27:22 +02:00
github-actions[bot]
f52955a521
Merge master into staging-next
2022-10-16 18:01:42 +00:00
Merlin Göttlinger
9310061a5b
nusmv: init at 2.6.0
2022-10-16 18:21:19 +02:00
R. Ryantm
00b3b4ee24
gatk: 4.2.6.1 -> 4.3.0.0
2022-10-16 21:48:30 +08:00
Martin Weinelt
51fcbf5bb7
Merge remote-tracking branch 'origin/master' into staging-next
2022-10-16 00:18:40 +02:00
Jonas Heinrich
9259c4b841
Merge pull request #195990 from r-ryantm/auto-update/angsd
...
angsd: 0.938 -> 0.940
2022-10-15 09:33:23 +02:00
github-actions[bot]
4f07e7f326
Merge master into staging-next
2022-10-15 06:07:54 +00:00
Luflosi
2cb6af3eac
abc-verifier: 2022.07.27 -> unstable-2022-09-08
2022-10-14 19:27:01 -05:00
github-actions[bot]
886633ba43
Merge master into staging-next
2022-10-15 00:04:00 +00:00
Artturi
eb49b683f3
Merge pull request #195661 from wamserma/arg-cleanup-app
...
pkgs.applications: remove unused args
2022-10-15 02:20:29 +03:00
github-actions[bot]
14fe809072
Merge master into staging-next
2022-10-14 18:02:25 +00:00
R. Ryantm
2dffc57c88
gtkwave: 3.3.111 -> 3.3.113
2022-10-14 23:53:22 +08:00
R. Ryantm
9765cc81f6
cbmc: 5.67.0 -> 5.68.0
2022-10-14 23:46:21 +08:00
R. Ryantm
4cee9b9ddb
angsd: 0.938 -> 0.940
2022-10-14 14:50:26 +00:00
github-actions[bot]
cc090d2b94
Merge master into staging-next
2022-10-14 12:01:35 +00:00
R. Ryantm
211d284b5c
mavproxy: 1.8.56 -> 1.8.57
2022-10-13 16:35:12 +00:00
Sébastien Maret
a332c25bb3
gildas: mark as broken on aarch64-darwin
2022-10-13 15:45:20 +02:00
Sébastien Maret
7808276611
gildas: 20220601_a -> 20221001_b
2022-10-13 11:58:43 +02:00
Vladimír Čunát
00a757ed3f
Merge branch 'master' into staging
2022-10-13 08:27:55 +02:00
Artturi
e66d2fd89d
Merge pull request #194256 from Artturin/treewides2
2022-10-13 00:08:01 +03:00
Sandro
2678c1b034
Merge pull request #193484 from wegank/gpl1-eol
2022-10-12 21:04:31 +02:00
Vincent Laporte
661ee3a269
coq_8_16: use OCaml 4.14
2022-10-12 20:38:44 +02:00
Markus S. Wamser
c9d167f174
pkgs.applications: remove unused args
2022-10-12 16:00:16 +02:00
Stanisław Pitucha
f0e9e476bd
Merge pull request #195453 from evils/kicad
...
kicad: 6.0.7 -> 6.0.8
2022-10-11 22:33:41 +11:00
Guillaume Girol
067b107e95
Merge pull request #194463 from Mrmaxmeier/build-bitwuzla-with-symfpu
...
bitwuzla: build with SymFPU
2022-10-11 11:18:30 +00:00
Evils
77b76b92d8
kicad: 6.0.7 -> 6.0.8
2022-10-11 02:55:55 +02:00
github-actions[bot]
5d957f3dba
Merge staging-next into staging
2022-10-11 00:05:26 +00:00
Martin Weinelt
cf7f4393f3
Merge pull request #193494 from NixOS/staging-next
2022-10-11 01:12:59 +02:00
Alexis Praga
2ce78bd571
gatk: add java and python to PATH
...
gatk is actually a python script that starts either the local or spark
.jar file according to a fixed setup.
In the initial commit, neither java nor python were present in PATH.
2022-10-10 23:06:01 +02:00
Artturin
7e49471316
treewide: optional -> optionals where the argument is a list
...
the argument to optional should not be list
2022-10-10 15:40:21 +03:00
Franz Pletz
2c10e089b9
root: fix build with libxcrypt
2022-10-09 18:10:46 +02:00
Franz Pletz
6264d94616
root5: fix build with libxcrypt
2022-10-09 18:10:46 +02:00
Martin Weinelt
7f0e9f0859
sumo: fix build with libxcrypt
2022-10-09 18:10:37 +02:00
github-actions[bot]
8972888c55
Merge master into staging-next
2022-10-09 12:01:31 +00:00
Sergei Trofimovich
7c0859b7d5
Merge pull request #194691 from amjoseph-nixpkgs/pr/xlibsWrapper/pcb
...
pcb: use xorg.* packages directly instead of xlibsWrapper
2022-10-09 10:07:29 +01:00
Nick Cao
ffb43186dc
stellarium: 0.22.2 -> 1.0
2022-10-06 21:49:59 +08:00
Nick Cao
e5c2ffc288
calcmysky: init at 0.1.0
2022-10-06 21:49:58 +08:00
github-actions[bot]
8d6fbd7341
Merge master into staging-next
2022-10-06 12:01:31 +00:00
R. Ryantm
cdfcbf552e
simgrid: 3.31 -> 3.32
2022-10-06 15:54:46 +08:00
Adam Joseph
30b0c8fec9
pcb: use xorg.* packages directly instead of xlibsWrapper
...
As recommended by https://github.com/NixOS/nixpkgs/issues/194054
Built outputs (`x86-linux`) are identical except for the `pcb` binary, which was
manually reviewed with `vbindiff` to confirm that the only differences were
self-$out path references.
2022-10-05 20:07:54 -07:00
github-actions[bot]
939050602c
Merge master into staging-next
2022-10-05 18:07:32 +00:00
R. Ryantm
68a8e9aa62
jmol: 14.32.75 -> 14.32.76
2022-10-05 04:43:26 +00:00
Martin Weinelt
253ca4957d
Merge remote-tracking branch 'origin/master' into staging-next
2022-10-05 00:44:16 +02:00
Mrmaxmeier
18663fd1c1
bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03
...
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard
requirement on SymFPU.
2022-10-04 18:14:31 +00:00
Mrmaxmeier
69e6f91ed1
bitwuzla: build with SymFPU
2022-10-04 18:14:26 +00:00
markuskowa
c17f8f9e76
Merge pull request #194421 from sheepforce/avogadro2
...
avogadro2: 1.95.1 -> 1.97.0
2022-10-04 17:09:20 +02:00
Phillip Seeber
b070c222d1
avogadro2: 1.95.1 -> 1.97.0
2022-10-04 16:34:10 +02:00
Phillip Seeber
c75b4ee2f0
cp2k: 9.1.0 -> 2022.2
2022-10-04 15:42:45 +02:00
Sandro
83928b1d5e
Merge pull request #193165 from pmiddend/crystfel-wrap-program-fix
...
crystfel-headless: fix wrapProgram dependency
2022-10-04 10:44:48 +02:00
R. Ryantm
052662fab4
librepcb: 0.1.6 -> 0.1.7
2022-10-03 16:29:32 -05:00
Sandro
718d7b8540
Merge pull request #192277 from swflint/add-readstat-pyreadstat
2022-10-03 23:01:07 +02:00
Samuel W. Flint
35d5dd7989
readstat: init at 1.1.8
...
The readstat package allows for reading and manipulating
SAS/Stata/SPSS data files. This can be useful for interacting and
interoperating with datasets distributed in these formats.
2022-10-03 15:11:30 -05:00
Matt Huszagh
16f8a4b3e7
uhdm: add patch to fix darwin build
2022-10-03 11:35:48 -07:00
Dmitry Kalinkin
846f382e4b
Merge pull request #192660 from samlich/master
...
pymol: use Qt instead of Tk; fixes #192555
2022-10-03 12:45:25 -04:00
R. Ryantm
1085ad554f
verilator: 4.224 -> 4.226
2022-10-03 10:24:21 -05:00
github-actions[bot]
a46be8f23d
Merge master into staging-next
2022-10-03 12:01:27 +00:00
Markus Kowalewski
4d6abfa6b4
octopus: 11.4 -> 12.0
2022-10-03 11:12:28 +02:00
github-actions[bot]
25043f0f28
Merge master into staging-next
2022-10-01 12:01:27 +00:00
Christian Kögler
3bcb621a8d
Merge pull request #191613 from r-ryantm/auto-update/cbmc
...
cbmc: 5.65.1 -> 5.67.0
2022-10-01 09:56:47 +02:00
github-actions[bot]
e1d2f74dee
Merge master into staging-next
2022-09-30 18:03:29 +00:00
José Romildo Malaquias
e78c23cf5b
Merge pull request #193248 from romildo/upd.generic-updater
...
generic-updater: more flexible with name, pname, version and attr path, and cleanups
2022-09-30 09:19:21 -03:00
R. Ryantm
119b1e2fd7
cbmc: 5.65.1 -> 5.67.0
2022-09-30 10:33:04 +00:00
github-actions[bot]
f29cec4450
Merge master into staging-next
2022-09-30 06:22:32 +00:00
Theodore Ni
2d3705b141
root: mark broken on aarch64
2022-09-29 17:06:14 -07:00
github-actions[bot]
9c14978f84
Merge master into staging-next
2022-09-29 12:01:25 +00:00
Weijia Wang
870d6f4a98
licenses: remove gpl1
2022-09-29 10:54:21 +02:00
Vladimír Čunát
8ba120420f
Merge #191339 : staging-next 2022-09-15
2022-09-29 09:16:47 +02:00
Sandro
6a01ce12ff
Merge pull request #188718 from wegank/pagsuite-init
2022-09-29 00:40:20 +02:00
github-actions[bot]
f18d801779
Merge staging-next into staging
2022-09-28 18:05:53 +00:00
Weijia Wang
428cdfb609
pagsuite: init at 1.80
2022-09-28 19:51:05 +02:00
Martin Weinelt
7da8d25d87
Merge remote-tracking branch 'origin/master' into staging-next
2022-09-28 17:15:11 +02:00
Vladimír Čunát
7ddee326c2
gromacs*: fixup paths in .pc files
2022-09-28 16:48:34 +02:00
polygon
5700835116
siril: 1.0.3 -> 1.0.5
2022-09-28 09:37:11 -05:00
Jonas Heinrich
563cdec4eb
Merge pull request #193168 from r-ryantm/auto-update/delly
...
delly: 1.1.3 -> 1.1.5
2022-09-28 10:08:58 +02:00
José Romildo
01510c7ff3
treewide: no need to pass pname, version and attrPath to update scripts based on generic-updater
2022-09-27 23:41:53 -03:00
Matt Huszagh
49d8092132
uhdm: update to 0.9.1.40
2022-09-27 18:07:13 -07:00
Matt Huszagh
3db955db91
surelog: update to 1.40
2022-09-27 18:05:51 -07:00
github-actions[bot]
d6a1c7033e
Merge staging-next into staging
2022-09-28 00:06:37 +00:00
github-actions[bot]
70776ac218
Merge master into staging-next
2022-09-28 00:06:02 +00:00
R. Ryantm
f28b6e5468
snakemake: 7.14.1 -> 7.14.2
2022-09-27 19:16:23 -04:00
Artturi
1c1c182814
Merge pull request #192851 from Artturin/treewides1
2022-09-28 00:50:06 +03:00
R. Ryantm
ddf9f1800a
delly: 1.1.3 -> 1.1.5
2022-09-27 11:26:09 +00:00
Philipp Middendorf
f893f28019
crystfel-headless: fix wrapProgram dependency
2022-09-27 12:53:25 +02:00
Vladimír Čunát
85d3dce182
Merge branch 'master' into staging-next
2022-09-27 08:20:58 +02:00
R. Ryantm
fe2504c61b
snakemake: 7.14.0 -> 7.14.1
2022-09-26 23:13:22 -04:00
github-actions[bot]
59a37c822b
Merge master into staging-next
2022-09-26 18:01:53 +00:00
Artturin
0734f54ef2
treewide: move pkg-config, autoreconfHook, intltool to nativeBuildInputs
...
found with nixpkgs-lint
2022-09-26 17:53:26 +03:00
Timo Kaufmann
62228ccc67
Merge pull request #192961 from r-ryantm/auto-update/jmol
...
jmol: 14.32.74 -> 14.32.75
2022-09-26 14:33:40 +02:00
Frederik Rietdijk
de57d754a0
Merge master into staging-next
2022-09-26 09:31:22 +02:00
Justin Bedő
d21b5ac044
Merge pull request #192211 from r-ryantm/auto-update/last
...
last: 1409 -> 1411
2022-09-26 11:49:30 +10:00
Brad Langhorst
2beb26b45b
seqtk: init at 1.3
...
Co-authored-by: Anderson Torres <torres.anderson.85@protonmail.com>
2022-09-25 19:55:58 -04:00
R. Ryantm
8a60b7fbc4
jmol: 14.32.74 -> 14.32.75
2022-09-25 21:24:47 +00:00
Timo Kaufmann
e453c6bcce
Merge pull request #192832 from collares/sage-ipywidgets
...
[staging-next] sage: update test expectations (sympy and ipywidgets upgrades)
2022-09-25 22:04:42 +02:00
Martin Weinelt
68c0ca4416
Merge remote-tracking branch 'origin/master' into staging-next
2022-09-25 21:36:31 +02:00
Narazaki, Shuji
031d152c4a
cadical: 1.5.0 -> 1.5.3
2022-09-26 00:00:17 +09:00
Robert Scott
6618c00660
Merge pull request #192512 from tjni/mxnet
...
mxnet: 1.8.0 -> 1.9.1
2022-09-25 11:30:50 +01:00
AndersonTorres
c897c59a4a
pari: remove myself from maintainers
...
Because it is now mostly managed by the Sage team, and I don't want to be in a
team for now.
2022-09-24 23:02:27 -03:00
AndersonTorres
4419927a5c
gp2c: 0.0.12 -> 0.0.13
...
Also, inheriting meta attributes from pari.
2022-09-24 23:02:27 -03:00
Theodore Ni
5ac4f45f72
mxnet: patch to fix build on aarch64-darwin
...
The patches autodetect when the system is x86 and supports SSE.
2022-09-24 17:49:23 -07:00
Mauricio Collares
4ab37278c5
sage: update test expectations (sympy and ipywidgets upgrades)
2022-09-24 18:48:13 -03:00
wucke13
3eb83269ec
inav-configurator: 4.1.0 -> 5.1.0
2022-09-24 19:09:08 +02:00
samlich
ab3f0771a4
pymol: use Qt instead of Tk; fixes #192555
2022-09-23 19:35:44 +00:00
Theodore Ni
865ce72890
pulseview: remove librevisa dependency
2022-09-23 19:10:54 +02:00
figsoda
61c9d7867b
Merge pull request #192612 from superherointj/broken-cntk
...
cntk: mark broken
2022-09-23 10:18:37 -04:00
figsoda
11ea0525b6
Merge pull request #192618 from superherointj/broken-nasc
...
nasc: mark broken
2022-09-23 10:05:55 -04:00
superherointj
82f2e31ac0
Merge pull request #191887 from evils/kicad-unstable
...
kicad-unstable: 2022-06-21 -> 2022-09-18
2022-09-23 11:04:23 -03:00
superherointj
6be3357a74
nasc: mark broken
2022-09-23 10:33:04 -03:00
superherointj
fb83696690
cntk: mark broken
2022-09-23 10:01:29 -03:00
github-actions[bot]
ef833a6fd2
Merge master into staging-next
2022-09-23 12:01:34 +00:00
Theodore Ni
c13952175c
mxnet: 1.8.0 -> 1.9.1
2022-09-22 16:49:40 -07:00
R. Ryantm
7ea88902ae
streamlit: 1.12.2 -> 1.13.0
2022-09-22 21:47:16 +00:00
github-actions[bot]
6ded381b0e
Merge master into staging-next
2022-09-22 00:03:22 +00:00
Nikolay Korotkiy
7f12a08ee1
Merge pull request #192042 from r-ryantm/auto-update/ginac
...
ginac: 1.8.3 -> 1.8.4
2022-09-21 22:13:27 +03:00
Matt Huszagh
a3b780cf97
surelog: update to 1.37
2022-09-21 05:20:32 -07:00
Matt Huszagh
30eca8eb68
uhdm: use tag for version
2022-09-21 05:20:29 -07:00
R. Ryantm
1008651931
last: 1409 -> 1411
2022-09-21 08:24:01 +00:00
github-actions[bot]
7da9ac9ae6
Merge master into staging-next
2022-09-21 00:03:46 +00:00
7c6f434c
1b665201f0
Merge pull request #189891 from collares/sage-9.7
...
sage: 9.6 -> 9.7
2022-09-20 22:37:37 +00:00
Martin Weinelt
5d4267b0f2
Merge remote-tracking branch 'origin/master' into staging-next
2022-09-20 12:25:19 +02:00
Jonas Heinrich
5c26920c58
Merge pull request #191896 from r-ryantm/auto-update/mavproxy
...
mavproxy: 1.8.55 -> 1.8.56
2022-09-20 11:39:09 +02:00
R. Ryantm
fcfdc8b58e
ginac: 1.8.3 -> 1.8.4
2022-09-20 08:22:40 +00:00
Mauricio Collares
d36168afa1
sage: 9.6 -> 9.7
2022-09-19 21:34:02 -03:00
Martin Weinelt
f1dcc2356b
Merge pull request #191333 from NixOS/python-updates
2022-09-19 18:23:07 +02:00
Martin Weinelt
c2f03aa6f1
easycrypt-runtest: use other format
2022-09-19 16:05:27 +02:00
R. Ryantm
0a930eb9f6
mavproxy: 1.8.55 -> 1.8.56
2022-09-19 08:53:58 +00:00
Evils
a3336a44f5
kicad-unstable: fix build by enabling EGL
...
wxwidgets (wxGTK?) somehow changed to support EGL by default
2022-09-19 08:29:04 +02:00
Evils
a62cbaddca
kicad-unstable: 2022-06-21 -> 2022-09-18
2022-09-19 08:29:04 +02:00
Anthony Roussel
341029d5cc
sasview: fix build
...
Caused by `asscalar` numpy API removal.
See https://github.com/SasView/sasview/pull/2178
2022-09-18 20:42:33 +02:00
superherointj
2610966118
Merge pull request #191509 from r-ryantm/auto-update/fast-downward
...
fast-downward: 22.06.0 -> 22.06.1
2022-09-18 11:28:25 -03:00
Christian Kögler
12049b4651
Merge pull request #189919 from r-ryantm/auto-update/gama
...
gama: 2.21 -> 2.22
2022-09-18 15:59:34 +02:00
Christian Kögler
e06e88d003
Merge pull request #189923 from r-ryantm/auto-update/igv
...
igv: 2.14.0 -> 2.14.1
2022-09-18 15:59:16 +02:00
Vincent Laporte
af34e3be8c
ocamlPackages.cmdliner: default to 1.1
...
ocamlPackages.alcotest: 1.5.0 → 1.6.0
ocamlPackages.crowbar: 0.2 → 0.2.1
ocamlPackages.dune-release: 1.5.1 → 1.6.2
ocamlPackages.functoria: 3.1.1 → 4.2.0
ocamlPackages.mirage: 3.10.7 → 4.2.0
ocamlPackages.irmin-pack: disable checks
ocamlPackages.mdx: disable checks
ocamlPackages.git-unix: mark as broken
2022-09-18 15:03:10 +02:00
Guanpeng Xu
34b08c6c34
mathematica: 13.0.1 -> 13.1.0
2022-09-18 08:33:27 +02:00
Christian Kögler
31da214833
Merge pull request #191483 from vbgl/why3-1.5.1
...
why3: 1.5.0 → 1.5.1
2022-09-17 23:18:46 +02:00
7c6f434c
18a6fd410d
Merge pull request #191611 from r-ryantm/auto-update/clingo
...
clingo: 5.6.0 -> 5.6.1
2022-09-17 16:32:38 +00:00
R. Ryantm
5538b8f0cc
nanovna-saver: 0.5.2 -> 0.5.3
2022-09-17 17:19:47 +08:00
R. Ryantm
9cb166091c
clingo: 5.6.0 -> 5.6.1
2022-09-17 05:32:12 +00:00
R. Ryantm
288127f747
fast-downward: 22.06.0 -> 22.06.1
2022-09-16 15:08:28 +00:00
Sébastien Maret
8ca353fbac
gildas: 20211101_a -> 20220601_a
...
This update fixes the build on darwin.
2022-09-16 15:57:13 +02:00
Vincent Laporte
cccc3b53f4
why3: 1.5.0 → 1.5.1
2022-09-16 13:29:18 +02:00
Jonas Heinrich
15055cd7f8
Merge pull request #191403 from r-ryantm/auto-update/messer-slim
...
messer-slim: 4.0 -> 4.0.1
2022-09-16 11:33:24 +02:00
Sandro
cba7f9e9ed
Merge pull request #189206 from wegank/scilab-bin-darwin
2022-09-16 10:59:26 +02:00
Weijia Wang
34456529c9
scilab-bin: add darwin support
2022-09-16 10:20:22 +02:00
R. Ryantm
9da745bfaf
messer-slim: 4.0 -> 4.0.1
2022-09-15 22:25:51 +00:00
Bouke van der Bijl
079dc8c3a9
why3: use why3.version in withProvers
...
I was getting an error that 'name' was not defined, which was being
caused by pname being passed in without a version.
Using the version of the why3 package resolves this.
2022-09-15 13:51:50 +02:00
K900
42dc5a7269
Merge pull request #188924 from McSinyx/klee-llvm
...
klee: use the same LLVM version for clang
2022-09-15 10:36:25 +03:00
R. Ryantm
101fa50263
cbmc: 5.65.0 -> 5.65.1
2022-09-14 22:04:14 +08:00
7c6f434c
1cea3c2362
Merge pull request #190919 from r-ryantm/auto-update/clingo
...
clingo: 5.5.2 -> 5.6.0
2022-09-13 18:04:50 +00:00
Gabriel Ebner
38aa976494
elan: 1.4.1 -> 1.4.2
2022-09-13 11:02:26 +02:00
