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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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
|
345380f411
|
fricas: 1.3.10 -> 1.3.11
|
2024-06-30 04:03:36 +00:00 |
|
R. Ryantm
|
3efbea1593
|
gatk: 4.5.0.0 -> 4.6.0.0
|
2024-06-30 01:17:34 +00:00 |
|
Dmitry Kalinkin
|
6e62ac2b92
|
Merge pull request #322283 from guitargeek/root_63202
root: 6.32.00 -> 6.32.02
|
2024-06-29 10:09:50 -04:00 |
|
Martin Weinelt
|
4492ed1022
|
Merge pull request #317828 from malob/unbreak-python3Packages-darwin
python3Packages: unbreak packages that no longer seem to be broken (mostly on Darwin)
|
2024-06-28 19:45:14 +02:00 |
|
Malo Bourgon
|
5616391768
|
python311Packages.nnpdf: unbreak on aarch64-{darwin,linux}
|
2024-06-28 10:26:33 -07:00 |
|
Dmitry Kalinkin
|
848699d4c1
|
root: fix darwin build
|
2024-06-28 12:46:24 -04:00 |
|
Dmitry Kalinkin
|
db99d98201
|
root: add comment with link to clad cmake files
|
2024-06-28 12:13:39 -04:00 |
|
Pierre Roux
|
971ef0c694
|
coq_8_20: init at 8.20+rc1 (#323105)
|
2024-06-28 15:47:38 +02:00 |
|
Artturin
|
62f1a10760
|
Merge pull request #322135 from kilianar/stellarium-24.2
stellarium: 24.1 -> 24.2
|
2024-06-28 16:14:50 +03:00 |
|
R. Ryantm
|
c5db4f6b96
|
picard-tools: 3.1.1 -> 3.2.0
|
2024-06-28 01:41:05 +00:00 |
|
whonore
|
39c9c6b67c
|
dafny: 4.6.0 -> 4.7.0
|
2024-06-27 16:10:28 -07:00 |
|
Weijia Wang
|
30ecb04929
|
Merge pull request #322754 from NixOS/revert-320417-auto-update/boinc
Revert "boinc: 8.0.2 -> 8.0.3"
|
2024-06-28 00:57:22 +02:00 |
|
R. Ryantm
|
ab4851ec2b
|
jbrowse: 2.11.2 -> 2.12.2
|
2024-06-27 10:09:32 +00:00 |
|
Weijia Wang
|
1378b42596
|
Revert "boinc: 8.0.2 -> 8.0.3"
|
2024-06-27 00:05:21 +02:00 |
|
Weijia Wang
|
992070ffdd
|
Merge pull request #319985 from r-ryantm/auto-update/last
last: 1544 -> 1548
|
2024-06-26 00:49:56 +02:00 |
|
Weijia Wang
|
43ca50b9d9
|
Merge pull request #320180 from r-ryantm/auto-update/siril
siril: 1.2.1 -> 1.2.3
|
2024-06-26 00:37:54 +02:00 |
|
Someone
|
35551ddea8
|
Merge pull request #322070 from jeremyschlatter/cmakeCudaArchitecturesString
treewide: use cmakeCudaArchitecturesString
|
2024-06-25 11:59:19 +00:00 |
|
R. Ryantm
|
f7c16cc844
|
cbmc: 6.0.0 -> 6.0.1
|
2024-06-25 11:22:31 +00:00 |
|
R. Ryantm
|
c2bf44e56f
|
siril: 1.2.1 -> 1.2.3
|
2024-06-25 05:43:30 +00:00 |
|
R. Ryantm
|
fda000ee3a
|
kent: 466 -> 467
|
2024-06-25 05:23:39 +00:00 |
|
Jonas Rembser
|
5e2823d5fe
|
root: 6.32.00 -> 6.32.02
|
2024-06-25 00:09:02 +02:00 |
|
Jonas Rembser
|
bb60969483
|
root: don't explicitly set tmva-pymva=OFF
Building this component of ROOT doesn't require anything that is not
already in the dependencies.
|
2024-06-25 00:01:48 +02:00 |
|
kilianar
|
16bd506b5c
|
stellarium: 24.1 -> 24.2
https://github.com/Stellarium/stellarium/releases/tag/v24.2
|
2024-06-24 10:42:36 +02:00 |
|
Tristan Ross
|
6d16d94dd4
|
Merge pull request #304204 from numinit/klee-llvm-override
klee: make llvmPackages and uclibc overridable
|
2024-06-23 20:04:10 -07:00 |
|
Jeremy Schlatter
|
4a2b827c71
|
treewide: use cmakeCudaArchitecturesString
|
2024-06-23 16:51:31 -07:00 |
|
Masum Reza
|
c41d748b82
|
Merge pull request #319641 from bachp/dsview-1.3.2
dsview: 1.3.1 -> 1.3.2
|
2024-06-23 13:54:45 +05:30 |
|
Pascal Bach
|
99b94acbf0
|
dsview: 1.3.1 -> 1.3.2
Use Qt5 for now as Qt6 is not properly supported yet
https://github.com/DreamSourceLab/DSView/issues/777#issuecomment-2144118728
|
2024-06-23 09:25:39 +02:00 |
|
Nick Cao
|
e9f3b59816
|
Merge pull request #321398 from r-ryantm/auto-update/eigenmath
eigenmath: 3.26-unstable-2024-06-09 -> 3.27-unstable-2024-06-20
|
2024-06-21 07:43:23 -04:00 |
|
R. Ryantm
|
fea1c46bcf
|
magic-vlsi: 8.3.483 -> 8.3.486
|
2024-06-21 08:10:51 +00:00 |
|
Masum Reza
|
8e4351dee7
|
Merge pull request #320775 from r-ryantm/auto-update/cbmc
cbmc: 5.95.1 -> 6.0.0
|
2024-06-21 09:55:24 +05:30 |
|
R. Ryantm
|
b05e29f479
|
eigenmath: 3.26-unstable-2024-06-09 -> 3.27-unstable-2024-06-20
|
2024-06-21 02:20:41 +00:00 |
|
Weijia Wang
|
7bd8663b9a
|
Merge pull request #320912 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.119 -> 3.3.120
|
2024-06-20 12:04:13 +02:00 |
|
Weijia Wang
|
2432292235
|
Merge pull request #320417 from r-ryantm/auto-update/boinc
boinc: 8.0.2 -> 8.0.3
|
2024-06-20 10:50:57 +02:00 |
|
Justin Bedő
|
e7d6f2fd25
|
Merge pull request #315015 from NixOS/r-updates
rPackages, R: R 4.3.3 -> 4.4.1 and bump rPackages
|
2024-06-20 16:48:18 +10:00 |
|
Nick Cao
|
a15139cf87
|
Merge pull request #320534 from luochen1990/lean-4.8
lean4: 4.7.0 -> 4.8.0
|
2024-06-19 20:52:57 -04:00 |
|
R. Ryantm
|
b61e21315a
|
gtkwave: 3.3.119 -> 3.3.120
|
2024-06-19 00:59:43 +00:00 |
|