Vladimír Čunát
8a839514de
Merge branch 'master' into staging-next
2024-01-04 15:07:44 +01:00
Weijia Wang
516a83e137
Merge pull request #277269 from r-ryantm/auto-update/tulip
...
tulip: 5.7.2 -> 5.7.3
2024-01-04 13:15:06 +01:00
Weijia Wang
6ebf3f2c5c
Merge pull request #278628 from r-ryantm/auto-update/uarmsolver
...
uarmsolver: 0.2.5 -> 0.2.6
2024-01-04 13:11:15 +01:00
R. Ryantm
f1e6479489
uarmsolver: 0.2.5 -> 0.2.6
2024-01-04 05:06:17 +00:00
Weijia Wang
553ccf3dfe
tulip: fix build on darwin
2024-01-03 22:16:58 +01:00
Weijia Wang
ac32817df9
Merge pull request #277227 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.9 -> 1.1.0
2024-01-03 19:34:52 +01:00
github-actions[bot]
307002948d
Merge master into staging-next
2024-01-03 18:00:57 +00:00
Weijia Wang
a9c97eaee7
Merge pull request #276101 from r-ryantm/auto-update/delly
...
delly: 1.1.8 -> 1.2.6
2024-01-03 18:29:26 +01:00
Weijia Wang
2f787a3dfe
Merge pull request #274004 from r-ryantm/auto-update/celestia
...
celestia: 1.6.3 -> 1.6.4
2024-01-03 16:30:30 +01:00
Weijia Wang
aa604af269
Merge pull request #273163 from r-ryantm/auto-update/qgroundcontrol
...
qgroundcontrol: 4.2.9 -> 4.3.0
2024-01-03 15:47:07 +01:00
Weijia Wang
b9384442f0
Merge pull request #272422 from r-ryantm/auto-update/gretl
...
gretl: 2023b -> 2023c
2024-01-03 14:40:11 +01:00
Weijia Wang
eb5334c27d
Merge branch 'master' into staging-next
2024-01-03 03:22:40 +01:00
Weijia Wang
ec07157196
Merge pull request #275873 from fedeinthemix/wip-xyce-7.8
...
xyce: 7.7.0 -> 7.8.0
2024-01-03 02:18:54 +01:00
Mauricio Collares
24954c2e73
Merge pull request #278257 from nevivurn/fix/sage-ecl
...
sage: import 10.2.beta3 patches
2024-01-02 13:18:11 -03:00
Yongun Seong
2c045c7890
sage: import 10.2.beta3 patches
...
- fix for ecl >= 23.9.9
- fix for python >= 3.11
2024-01-02 23:04:53 +09:00
R. Ryantm
61721a17e7
pspp: 1.6.2 -> 2.0.0
2024-01-02 06:35:29 +00:00
github-actions[bot]
e61ae81f8f
Merge master into staging-next
2024-01-01 00:02:16 +00:00
R. Ryantm
e79af9e68d
eigenmath: unstable-2023-12-12 -> unstable-2023-12-31
2023-12-31 20:08:50 +00:00
github-actions[bot]
65cbf5e637
Merge master into staging-next
2023-12-31 18:01:09 +00:00
Lucas Van Laer
696735c9d2
z3_4_12: 4.12.2 -> 4.12.4
2023-12-31 14:12:54 +01:00
Jan Tojnar
80020c7db4
Merge branch 'master' into staging-next
...
; Conflicts:
; pkgs/development/lua-modules/generated-packages.nix
; pkgs/development/lua-modules/overrides.nix
2023-12-31 02:31:32 +01:00
Mario Rodas
d22c786ac9
Merge pull request #276424 from kilianar/stellarium-23.4
...
stellarium: 23.3 -> 23.4
2023-12-29 14:13:31 -05:00
github-actions[bot]
f50aae4fb1
Merge master into staging-next
2023-12-29 18:00:57 +00:00
Bobby Rong
c198051feb
Merge pull request #277435 from trofi/picoscope.rules-fix-eval
...
picoscope: fix `rules` eval
2023-12-29 21:40:07 +08:00
github-actions[bot]
bd7fd36fe2
Merge master into staging-next
2023-12-29 00:01:57 +00:00
Sergei Trofimovich
41941e7cf3
picoscope: fix rules eval
...
Without the change `picoscope.rules` failed to evaluate due to wrong
attribute path:
$ nix build --no-link -f. picoscope.rules
error: attribute 'writeTextDir' missing
116| # users.users.you.extraGroups = [ "pico" ];
117| passthru.rules = lib.writeTextDir "lib/udev/rules.d/95-pico.rules" ''
| ^
2023-12-28 23:20:14 +00:00
Nick Cao
684dbecf47
Merge pull request #277028 from r-ryantm/auto-update/magic-vlsi
...
magic-vlsi: 8.3.453 -> 8.3.454
2023-12-28 13:37:37 -05:00
R. Ryantm
c777f0bfa7
tulip: 5.7.2 -> 5.7.3
2023-12-28 07:46:06 +00:00
R. Ryantm
feadff003e
cvc5: 1.0.9 -> 1.1.0
2023-12-28 02:05:44 +00:00
github-actions[bot]
308ac97674
Merge master into staging-next
2023-12-27 06:00:55 +00:00
Fabián Heredia Montiel
48d1e73d8b
Merge pull request #276854 from r-ryantm/auto-update/cadical
...
cadical: 1.9.1 -> 1.9.3
2023-12-26 23:29:49 -06:00
R. Ryantm
4d2e0e140d
magic-vlsi: 8.3.453 -> 8.3.454
2023-12-27 03:17:28 +00:00
github-actions[bot]
d37b121146
Merge master into staging-next
2023-12-27 00:02:11 +00:00
Mario Rodas
1c0dab4a37
Merge pull request #276940 from tejing1/cleanup-lean4
...
lean4: clean up colliding files
2023-12-26 17:49:35 -05:00
Jeff Huffman
b3a184a4aa
lean4: clean up colliding files
2023-12-26 16:13:31 -05:00
Mario Rodas
126fcb5e99
Merge pull request #275586 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.8 -> 1.0.9
2023-12-26 16:02:43 -05:00
github-actions[bot]
d4086e3e8b
Merge master into staging-next
2023-12-26 12:01:11 +00:00
R. Ryantm
c4a88ae424
cadical: 1.9.1 -> 1.9.3
2023-12-26 05:17:29 +00:00
R. Ryantm
4c5759ed4a
wxmaxima: 23.11.0 -> 23.12.0
2023-12-26 02:24:50 +00:00
github-actions[bot]
f6ece27ed4
Merge master into staging-next
2023-12-25 18:00:59 +00:00
Jan Tojnar
2ac16accc0
Merge branch 'master' into staging-next
...
Conflicts:
pkgs/development/python-modules/hahomematic/default.nix
2023-12-25 16:54:44 +01:00
Doron Behar
a90c911ba6
Revert "gwyddion: mark as broken"
2023-12-25 14:19:34 +00:00
Markus Kowalewski
2058c3a373
lammps: fix homepage and license
2023-12-24 23:05:00 +01:00
Jan Tojnar
8fcbb0c6ed
Merge branch 'master' into staging-next
...
Conflicts:
- pkgs/development/python-modules/boto3-stubs/default.nix
- pkgs/development/python-modules/openllm-core/default.nix
Between 0.4.22 → 0.4.34 (a82245bd3d72c55ce6a6
2023-12-24 14:33:18 +01:00
kilianar
ec2daea6e2
stellarium: 23.3 -> 23.4
...
https://github.com/Stellarium/stellarium/releases/tag/v23.4
2023-12-24 10:08:44 +01:00
Fabián Heredia Montiel
8f080df5b7
Merge pull request #276231 from r-ryantm/auto-update/samtools
...
samtools: 1.18 -> 1.19
2023-12-24 01:50:02 -06:00
Martin Weinelt
a3e53d17b6
Merge remote-tracking branch 'origin/master' into staging-next
2023-12-24 02:39:15 +01:00
Nick Cao
c66be39e13
Merge pull request #276240 from r-ryantm/auto-update/seqkit
...
seqkit: 2.6.0 -> 2.6.1
2023-12-23 10:53:39 -05:00
Nick Cao
e5e39db8d3
Merge pull request #276190 from r-ryantm/auto-update/qtrvsim
...
qtrvsim: 0.9.5 -> 0.9.6
2023-12-23 10:47:30 -05:00
Andreas Rammhold
d7821df52c
Merge pull request #275710 from andir/xflr5-fetchsvn
...
xflr5: use fetchsvn instead of fetchzip
2023-12-23 13:43:36 +01:00
