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
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
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
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
superherointj
df8afea397
Merge pull request #317647 from r-ryantm/auto-update/kicad
...
kicad: 8.0.2 -> 8.0.3
2024-06-18 20:44:01 -03:00
Phillip Seeber
d5b88ef601
openmolcas: 24.02 -> 24.06
2024-06-18 16:13:41 +02:00
R. Ryantm
6ce1fa5216
cbmc: 5.95.1 -> 6.0.0
2024-06-18 13:02:04 +00:00
Morgan Jones
bc9fffbb3b
klee: add mainProgram
2024-06-17 23:15:33 -07:00
Morgan Jones
0513d66f10
klee: add nix-update-script
2024-06-17 23:15:32 -07:00
Morgan Jones
32a6b1ef7a
klee: make llvmPackages and uclibc overridable
...
This should allow users to pick which llvmPackages they would like to
use, since Klee supports llvmPackages_11 through llvmPackages_16 as of
Klee 3.1 (defaulting to 13 for stability).
Use parallel building for both Klee and klee-uclibc to make things faster.
2024-06-17 23:15:32 -07:00
Aleksana
a12b153874
Merge pull request #316782 from aaronjheng/poretools
...
poretools: remove
2024-06-18 13:41:58 +08:00
LuoChen
52e2f9fc91
lean4: 4.7.0 -> 4.8.0
2024-06-17 21:29:37 +08:00
Justin Bedo
ac5698f23c
R: 4.4.0 -> 4.4.1
2024-06-17 22:01:48 +10:00
Vincent Laporte
f7ff7d4e9b
coq: 8.19.1 → 8.19.2
2024-06-17 09:15:12 +02:00
R. Ryantm
9bbfd2e5c5
boinc: 8.0.2 -> 8.0.3
2024-06-17 02:51:27 +00:00
Zitrone
63b875e099
SPAdes: refactor
2024-06-16 20:18:13 -03:00
Pol Dellaiera
8fa80574a0
Merge pull request #320080 from r-ryantm/auto-update/python311Packages.snakemake
...
python311Packages.snakemake: 8.13.0 -> 8.14.0
2024-06-16 22:12:18 +02:00
h7x4
f2d31ff7c1
Merge pull request #319520 from r-ryantm/auto-update/kent
...
kent: 465 -> 466
2024-06-16 16:40:51 +02:00
Emily
4b1d39d935
treewide: remove myself from packages I don’t use
...
I’ve had an extended absence from Nix work and no longer actively
use a bunch of packages I used to maintain, so remove myself as a
maintainer from things I can’t usefully review/test changes for
as I ease back into things. This does unfortunately leave a few
packages orphaned (`stm32loader`, `tinyprog`, `python3Packages.fx2`,
and `python3Packages.jsonmerge`).
2024-06-15 16:53:23 +01:00
R. Ryantm
b7421e6cf7
python311Packages.snakemake: 8.13.0 -> 8.14.0
2024-06-15 15:30:33 +00:00
R. Ryantm
9ffeef4612
last: 1544 -> 1548
2024-06-15 05:29:39 +00:00
R. Ryantm
2a5d67ff74
kent: 465 -> 466
2024-06-13 08:40:27 +00:00
Nick Cao
728f17ee41
Merge pull request #319423 from r-ryantm/auto-update/eigenmath
...
eigenmath: 3.26-unstable-2024-06-03 -> 3.26-unstable-2024-06-09
2024-06-12 21:52:46 -04:00
R. Ryantm
5723eefe6c
eigenmath: 3.26-unstable-2024-06-03 -> 3.26-unstable-2024-06-09
2024-06-13 00:06:31 +00:00
Dmitry Kalinkin
7950c8d688
professor: 2.3.3 -> 2.4.2 ( #318911 )
2024-06-12 18:26:03 -04:00
Martin Joerg
df5a102839
cryptoverif: 2.08pl1 -> 2.09
...
f32a46b5ac/CHANGES
2024-06-12 15:01:36 +02:00
Aaron Jheng
8b4e935052
poretools: remove
2024-06-11 10:16:51 +08:00
Weijia Wang
9c9a88747b
Merge pull request #315778 from r-ryantm/auto-update/gwyddion
...
gwyddion: 2.65 -> 2.66
2024-06-10 19:37:59 +02:00
Weijia Wang
14df049746
Merge pull request #318689 from r-ryantm/auto-update/ants
...
ants: 2.5.1 -> 2.5.2
2024-06-10 16:52:14 +02:00
Peder Bergebakken Sundt
91fed2bd84
Merge pull request #316965 from r-ryantm/auto-update/jbrowse
...
jbrowse: 2.11.1 -> 2.11.2
2024-06-10 15:47:47 +02:00
7c6f434c
7b75a79581
Merge pull request #318493 from r-ryantm/auto-update/jmol
...
jmol: 16.2.15 -> 16.2.17
2024-06-10 08:51:34 +00:00
R. Ryantm
27993b515e
ants: 2.5.1 -> 2.5.2
2024-06-10 04:29:13 +00:00
Alexis Hildebrandt
f8c4a98e8e
treewide: Remove the definite article from meta.description
...
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"([Tt]he)? ' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Tt]he (.)/\1\U\2/'
2024-06-09 23:08:46 +02:00
Alexis Hildebrandt
755b915a15
treewide: Remove indefinite article from meta.description
...
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Alexis Hildebrandt
bf995e3641
treewide: Remove ending period from meta.description
...
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*".*\.";' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*)\.";/\1";/'
2024-06-09 23:04:51 +02:00
R. Ryantm
3e7ccaebc7
jmol: 16.2.15 -> 16.2.17
2024-06-09 08:50:59 +00:00
R. Ryantm
e10b8c551f
xmedcon: 0.23.0 -> 0.24.0
2024-06-09 05:32:44 +00:00
