Gavin John
|
b480a4b396
|
qgroundcontrol: Add pandapip1 as maintainer
|
2024-07-09 18:19:18 -04:00 |
|
Nick Cao
|
40af4dbfd4
|
Merge pull request #325774 from r-ryantm/auto-update/qalculate-qt
qalculate-qt: 5.2.0 -> 5.2.0.1
|
2024-07-09 16:41:54 -04:00 |
|
R. Ryantm
|
704b5821ec
|
qalculate-qt: 5.2.0 -> 5.2.0.1
|
2024-07-09 07:45:06 +00:00 |
|
Weijia Wang
|
777a74274c
|
Merge pull request #324258 from r-ryantm/auto-update/jbrowse
jbrowse: 2.12.2 -> 2.12.3
|
2024-07-08 22:45:00 +02:00 |
|
Mauricio Collares
|
a7514e3132
|
Merge pull request #323426 from collares/sage-python-312
sageWithDoc: python 3.12 fixes
|
2024-07-08 22:24:21 +02:00 |
|
Mauricio Collares
|
ff2707a8dc
|
sageWithDoc: python 3.12 fixes, adapt to conway-polynomials update
|
2024-07-08 20:45:43 +02:00 |
|
Julius Michaelis
|
62c2c640da
|
colmap: 3.7 -> 3.9.1 + cuda build fix
|
2024-07-08 11:08:40 +09:00 |
|
Weijia Wang
|
8d82432364
|
Merge pull request #314295 from jvanbruegge/isabelle-2024
isabelle: 2023 -> 2024
|
2024-07-07 15:03:40 +02:00 |
|
vegamink
|
1a12a2d879
|
Update from r1050 to r1056
Tested with:
> ./result/bin/msieve 0xA41006DEFD378B7395B4E2EB1EC9BF56A61CD9C3B5A0A73528521EEB2FB817A7
|
2024-07-07 18:12:19 +08:00 |
|
Victor Mignot
|
e5bc541c0c
|
systemc: Drop victormignot as maintainer
|
2024-07-06 21:04:34 +02:00 |
|
Jan van Brügge
|
17219eb17a
|
isabelle: 2023 -> 2024
|
2024-07-06 18:41:28 +01:00 |
|
Jan van Brügge
|
12e9433747
|
naproche: unstable-2024-01-18 -> unstable-2024-05-19
|
2024-07-06 18:39:04 +01:00 |
|
Martin Weinelt
|
d9610a9f2e
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2024-07-06 01:51:14 +02:00 |
|
Weijia Wang
|
c6b4e6a629
|
Merge pull request #323534 from r-ryantm/auto-update/workcraft
workcraft: 3.4.2 -> 3.5.0
|
2024-07-06 01:20:01 +02:00 |
|
github-actions[bot]
|
4bba3c5730
|
Merge master into staging-next
|
2024-07-05 12:01:14 +00:00 |
|
Vincent Laporte
|
59b0ada8c1
|
yices: 2.6.4 → 2.6.5
|
2024-07-05 13:23:16 +02:00 |
|
github-actions[bot]
|
30cfd4445f
|
Merge master into staging-next
|
2024-07-05 00:02:21 +00:00 |
|
Weijia Wang
|
c96b150a88
|
Merge pull request #324437 from wegank/maven-bump
maven: 3.9.6 -> 3.9.8
|
2024-07-04 23:16:32 +02:00 |
|
github-actions[bot]
|
36cbae9ff0
|
Merge master into staging-next
|
2024-07-04 18:01:19 +00:00 |
|
Weijia Wang
|
ccffb46f87
|
openrefine: update mvnHash
|
2024-07-04 01:16:48 +02:00 |
|
github-actions[bot]
|
0983fe3e50
|
Merge master into staging-next
|
2024-07-03 12:01:17 +00:00 |
|
LilleAila
|
8ae99325a8
|
geogebra6: use wayland instead of x11 when NIXOS_OZONE_WL=1
Added a flag to `makeWrapper` so that wayland is used instead of
xwayland when NIXOS_OZONE_WL=1
|
2024-07-03 13:32:51 +02:00 |
|
Weijia Wang
|
74825aa898
|
Merge pull request #311846 from hzeller/feature-20240514-update-uhdm-surelog
uhdm 1.82 -> 1.83; surelog 1.82 -> 1.83
|
2024-07-03 12:28:42 +02:00 |
|
github-actions[bot]
|
6c668cb3e5
|
Merge master into staging-next
|
2024-07-03 09:24:52 +00:00 |
|
R. Ryantm
|
8e39ff657e
|
jbrowse: 2.12.2 -> 2.12.3
|
2024-07-03 08:35:09 +00:00 |
|
Weijia Wang
|
2873891d82
|
Merge pull request #324130 from r-ryantm/auto-update/trimal
trimal: 1.4.1 -> 1.5.0
|
2024-07-03 10:25:27 +02:00 |
|
Weijia Wang
|
43ec339723
|
Merge pull request #320909 from r-ryantm/auto-update/cadical
cadical: 1.9.5 -> 2.0.0
|
2024-07-03 10:22:31 +02:00 |
|
github-actions[bot]
|
d77a3adc09
|
Merge master into staging-next
|
2024-07-03 00:02:45 +00:00 |
|
Weijia Wang
|
db486e095c
|
Merge pull request #317508 from r-ryantm/auto-update/lean4
lean4: 4.8.0 -> 4.9.0
|
2024-07-03 00:38:25 +02:00 |
|
Weijia Wang
|
2784fc5f3d
|
Merge pull request #318984 from r-ryantm/auto-update/qgroundcontrol
qgroundcontrol: 4.3.0 -> 4.4.0
|
2024-07-03 00:10:35 +02:00 |
|
Weijia Wang
|
0d8cc7102e
|
Merge pull request #319495 from r-ryantm/auto-update/magic-vlsi
magic-vlsi: 8.3.483 -> 8.3.486
|
2024-07-02 23:56:52 +02:00 |
|
R. Ryantm
|
1854940a5d
|
trimal: 1.4.1 -> 1.5.0
|
2024-07-02 19:20:38 +00:00 |
|
K900
|
ac42e4ac39
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2024-07-02 19:52:45 +03:00 |
|
Raphael Robatsch
|
bdcba2f752
|
qalculate-qt: Fix source hash
Version 5.2.0 has been re-tagged on the upstream GitHub repo.
|
2024-07-02 14:19:23 +02:00 |
|
Martin Weinelt
|
7b8429bbc4
|
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
- pkgs/development/python-modules/jaxtyping/default.nix
|
2024-07-02 12:08:49 +02:00 |
|
Jan Tojnar
|
0f56e32213
|
Merge pull request #319659 from jtojnar/gnome-extract
Move various packages out of gnome scope
|
2024-07-02 08:03:53 +02:00 |
|
K900
|
665f1d6183
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2024-07-02 08:32:46 +03:00 |
|
Guillaume Maudoux
|
f6a8f97b23
|
Merge pull request #323035 from whonore/update-dafny-4.7.0
dafny: 4.6.0 -> 4.7.0
|
2024-07-01 23:39:19 +02:00 |
|
h7x4
|
445ae2940d
|
Merge pull request #323605 from r-ryantm/auto-update/iqtree
iqtree: 2.3.4 -> 2.3.5
|
2024-07-01 23:34:08 +02:00 |
|
github-actions[bot]
|
1addc8dd4c
|
Merge master into staging-next
|
2024-07-01 18:01:14 +00:00 |
|
alyaeanyx
|
1553f7e324
|
qalculate-{gtk, qt}: 5.1.0 -> 5.2.0
|
2024-07-01 14:51:44 +02:00 |
|
Jan Tojnar
|
5c5c20919b
|
adwaita-icon-theme: Move from gnome scope to top-level
It is widely used outside gnome – although it probably should not be.
|
2024-07-01 08:26:46 +02:00 |
|
R. Ryantm
|
d85d653397
|
lean4: 4.8.0 -> 4.9.0
|
2024-07-01 02:37:57 +00:00 |
|
Martin Weinelt
|
9b79a05ae1
|
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
- pkgs/development/python-modules/flexcache/default.nix
- pkgs/development/python-modules/flexparser/default.nix
- pkgs/development/python-modules/odp-amsterdam/default.nix
- pkgs/development/python-modules/pint/default.nix
- pkgs/development/python-modules/uncertainties/default.nix
- pkgs/top-level/python-packages.nix
|
2024-07-01 01:07:21 +02:00 |
|
Matthias Beyer
|
8f85348e8f
|
Merge pull request #322385 from r-ryantm/auto-update/cbmc
cbmc: 6.0.0 -> 6.0.1
|
2024-06-30 17:31:54 +02:00 |
|
Matthias Beyer
|
ed95ea87ad
|
Merge pull request #323064 from r-ryantm/auto-update/picard-tools
picard-tools: 3.1.1 -> 3.2.0
|
2024-06-30 17:17:28 +02:00 |
|
Weijia Wang
|
db09d57041
|
Merge pull request #323504 from r-ryantm/auto-update/gatk
gatk: 4.5.0.0 -> 4.6.0.0
|
2024-06-30 17:15:26 +02:00 |
|
R. Ryantm
|
8fc55ae4ab
|
iqtree: 2.3.4 -> 2.3.5
|
2024-06-30 14:49:34 +00:00 |
|
R. Ryantm
|
6331a2bc2c
|
workcraft: 3.4.2 -> 3.5.0
|
2024-06-30 06:01:48 +00:00 |
|
R. Ryantm
|
345380f411
|
fricas: 1.3.10 -> 1.3.11
|
2024-06-30 04:03:36 +00:00 |
|