Skip to content

Pull requests: mariux64/pkg-scripts

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add rustc 1.85.1 and 1.86.0 with cbindgen 0.28.0
#328 by pmenzel was merged Apr 23, 2025 Loading…
Signal-Desktop: update to 7.49.0
#327 by wwwutz was merged Apr 9, 2025 Loading…
icy-2.5.2: imageanalysis tool - add to repo
#325 by thomas was merged Mar 20, 2025 Loading…
python-3.13.2: test installation w numpy 2.2.3
#324 by thomas was merged Mar 17, 2025 Loading…
python-3.12.8: add to repo
#323 by thomas was merged Mar 17, 2025 Loading…
gradle: add version 8.13
#322 by thomas was merged Mar 12, 2025 Loading…
pymol-open-source: update to 3.1.0
#321 by thomas was merged Mar 10, 2025 Loading…
octave: update to 9.4.0
#320 by thomas was merged Mar 10, 2025 Loading…
Add Node.js 22.14.0
#319 by pmenzel was merged Mar 6, 2025 Loading…
nextflow: add version 24.10.5
#318 by thomas was merged Mar 6, 2025 Loading…
fragpipe: add version 22.0
#317 by thomas was merged Feb 17, 2025 Loading…
Update rust
#316 by david was merged Feb 4, 2025 Loading…
Rustc: Update to version 1.84.0
#315 by david was merged Jan 27, 2025 Loading…
Update vscodium
#314 by david was merged Jan 20, 2025 Loading…
Add signal-desktop 7.37.0
#313 by wwwutz was merged Jan 10, 2025 Loading…
Rustc: Add version 1.82.0
#312 by david was merged Dec 11, 2024 Loading…
inkscape: add version 1.4
#311 by thomas was merged Dec 10, 2024 Loading…
jdk-8u181: add legacy version to /package/pkg
#310 by thomas was merged Dec 9, 2024 Loading…
boost: install version 1.86
#309 by thomas was merged Dec 5, 2024 Loading…
codium: Update to 1.95.3.24321
#308 by david was merged Nov 18, 2024 Loading…
Codium: Update to 1.95.2.24313
#307 by david was merged Nov 14, 2024 Loading…
rstudio-server: bug fixes in launcher script, rebuild needed
#306 by thomas was merged Nov 18, 2024 Loading…
Add Node.js 22.11.0
#305 by pmenzel was merged Nov 7, 2024 Loading…
codium: Update to version 1.95.1.24307
#304 by david was merged Nov 5, 2024 Loading…
signal-7.28.0 cleanup
#303 by wwwutz was merged Oct 16, 2024 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.