Commit Graph

8234 Commits

Author SHA1 Message Date
Fabián Heredia Montiel
72b10ff62f
Merge pull request #258278 from markuskowa/split-libxsmm
libxsmm: split outputs -> out, dev, doc
2023-10-01 22:53:43 -06:00
Weijia Wang
0396d3b0fb
Merge pull request #258254 from r-ryantm/auto-update/nest-mpi
nest-mpi: 3.5 -> 3.6
2023-10-01 03:53:05 +02:00
Weijia Wang
d2f79d7443
Merge pull request #257369 from r-ryantm/auto-update/stacks
stacks: 2.62 -> 2.65
2023-10-01 03:20:19 +02:00
Weijia Wang
293062bbdb stacks: set platforms 2023-10-01 02:26:34 +02:00
Weijia Wang
00d57438ab
Merge pull request #256805 from r-ryantm/auto-update/neuron-mpi
neuron-mpi: 8.2.2 -> 8.2.3
2023-10-01 00:44:58 +02:00
Weijia Wang
0b2e425b68
Merge pull request #256750 from r-ryantm/auto-update/ginac
ginac: 1.8.6 -> 1.8.7
2023-10-01 00:40:22 +02:00
Weijia Wang
991ea4b415
Merge pull request #258269 from wegank/siril-bump
siril: 1.0.6 -> 1.2.0
2023-10-01 00:16:35 +02:00
Markus Kowalewski
dad3ce4398 cp2k: fix libxsmm includes (use getDev) 2023-09-30 23:28:31 +02:00
Weijia Wang
032719d0c5 siril: 1.0.6 -> 1.2.0 2023-09-30 23:18:47 +02:00
R. Ryantm
a78f4ed541 nest-mpi: 3.5 -> 3.6 2023-09-30 18:54:13 +00:00
Arnout Engelen
2add93ab93
Merge pull request #257795 from natsukium/dssp/update
dssp: 4.4.2 -> 4.4.3
2023-09-29 14:50:46 +02:00
Vincent Laporte
368f95104b easycrypt: 2022.04 → 2023.09 2023-09-29 10:33:21 +02:00
Vincent Laporte
82aaf63703 alt-ergo: 2.4.3 → 2.5.1
ocamlPackages.ocplib-simplex: 0.4 → 0.5
2023-09-29 06:43:44 +02:00
Peder Bergebakken Sundt
470614b671 treewide: Fix typos 2023-09-28 19:06:13 +02:00
markuskowa
7e0e86fe35
Merge pull request #257718 from markuskowa/upd-mopac
mopac: 22.0.6 -> 22.1.0
2023-09-28 10:23:28 +02:00
natsukium
c90607c5a7
dssp: 4.4.2 -> 4.4.3
Diff: https://github.com/PDB-REDO/dssp/compare/refs/tags/v4.4.2...v4.4.3

Changelog: https://github.com/PDB-REDO/libcifpp/releases/tag/refs/tags/v4.4.3
2023-09-28 15:38:55 +09:00
Markus Kowalewski
6367eb7ffd mopac: 22.0.6 -> 22.1.0 2023-09-27 22:54:32 +02:00
github-actions[bot]
9a4dae4abd
Merge master into staging-next 2023-09-27 06:01:00 +00:00
github-actions[bot]
2717201e72
Merge master into staging-next 2023-09-26 12:01:28 +00:00
Weijia Wang
5cf0d8d81b
Merge pull request #256231 from r-ryantm/auto-update/uhdm
uhdm: 1.73 -> 1.74
2023-09-26 11:38:43 +02:00
Janik
43ea837586
Merge pull request #257328 from kilianar/stellarium-23.3 2023-09-26 10:23:42 +02:00
github-actions[bot]
3bfcfd7eef
Merge master into staging-next 2023-09-26 06:01:00 +00:00
Mario Rodas
3fc0d1348b lean4: 4.0.0 -> 4.1.0
Diff: https://github.com/leanprover/lean4/compare/v4.0.0...v4.1.0

Changelog: https://github.com/leanprover/lean4/blob/v4.1.0/RELEASES.md
2023-09-26 04:20:00 +00:00
Fabián Heredia Montiel
24dec617bb
Merge pull request #256676 from r-ryantm/auto-update/beluga
beluga: 1.1 -> 1.1.1
2023-09-25 21:11:55 -06:00
R. Ryantm
90361534b7 stacks: 2.62 -> 2.65 2023-09-26 03:03:04 +00:00
kilianar
5eb942b80a stellarium: 23.2 -> 23.3
https://github.com/Stellarium/stellarium/releases/tag/v23.3
2023-09-25 22:12:36 +02:00
github-actions[bot]
3e52e5929d
Merge master into staging-next 2023-09-25 12:01:02 +00:00
Thiago Kenji Okada
1cfbc68e38
Merge pull request #257014 from r-ryantm/auto-update/hmmer
hmmer: 3.3.2 -> 3.4
2023-09-25 12:48:35 +01:00
github-actions[bot]
03a82ba5d4
Merge master into staging-next 2023-09-24 18:00:54 +00:00
Luz
e9c44cb203 librepcb: 0.1.7 -> 1.0.0 2023-09-24 11:41:12 -05:00
Mario Rodas
b289d79b8d hmmer: add changelog to meta 2023-09-24 04:24:00 +00:00
R. Ryantm
272a0e1edb hmmer: 3.3.2 -> 3.4 2023-09-24 04:23:47 +00:00
github-actions[bot]
0e6413dbff
Merge master into staging-next 2023-09-24 00:02:23 +00:00
Dmitry Kalinkin
9e7786c32b
Merge pull request #255928 from bcdarwin/remove-vtk_8
vtk_8: remove
2023-09-23 15:50:41 -04:00
github-actions[bot]
3180ce092d
Merge master into staging-next 2023-09-23 12:01:04 +00:00
R. Ryantm
d660b340ee neuron-mpi: 8.2.2 -> 8.2.3 2023-09-23 02:33:53 +00:00
alyaeanyx
d3dfee8256 {libqalculate, qalculate-gtk, qalculate-qt}: 4.8.0 -> 4.8.1 2023-09-22 22:42:11 +02:00
R. Ryantm
c179caee7e ginac: 1.8.6 -> 1.8.7 2023-09-22 20:01:05 +00:00
github-actions[bot]
583877beb2
Merge master into staging-next 2023-09-22 18:01:00 +00:00
László Kupcsik
c678bba28c trimmomatic: init at 0.39
Co-authored-by: Anderson Torres <torres.anderson.85@protonmail.com>
2023-09-22 13:50:18 -03:00
github-actions[bot]
3431cedfe3
Merge master into staging-next 2023-09-22 12:01:02 +00:00
R. Ryantm
cf423daab0 beluga: 1.1 -> 1.1.1 2023-09-22 11:56:33 +00:00
Weijia Wang
ca3449710c
Merge pull request #254485 from r-ryantm/auto-update/cvc5
cvc5: 1.0.7 -> 1.0.8
2023-09-22 11:14:06 +02:00
github-actions[bot]
4c610adf95
Merge master into staging-next 2023-09-21 12:01:19 +00:00
Vincent Laporte
2abfae9e9b coq: 8.17.1 -> 8.18.0 2023-09-21 11:02:55 +02:00
Doron Behar
8ace65ff3d
treewide: use finalAttrs in all packages I maintain (#255902)
* mpd-touch-screen-gui: use finalAttrs in mkDerivation; reformat

* musescore: use finalAttrs in mkDerivation

* syncthingtray: use stdenv.mkDerivation with a function; reformat

* ocrfeeder: use finalAttrs in mkDerivation; reformat

* castget: use finalAttrs in mkDerivation

* gnome-network-displays: use finalAttrs in mkDerivation

* mailreaders: use finalAttrs in mkDerivation

* mswatch: use finalAttrs in mkDerivation

* uhd: use finalAttrs in mkDerivation

* maxima: use finalAttrs in mkDerivation

* qalculate-gtk: use finalAttrs in mkDerivation

* qalculate-qt: use finalAttrs in mkDerivation

* wxmaxima: use finalAttrs in mkDerivation

* lammps: use finalAttrs in mkDerivation

* mlterm: use finalAttrs in mkDerivation

* video-trimmer: use finalAttrs in mkDerivation

* nerdfonts: use finalAttrs in mkDerivation

* gnomeExtensions.easyScreenCast: use finalAttrs in mkDerivation

* octave: use finalAttrs in mkDerivation; reformat

* comedilib: use finalAttrs in mkDerivation

* cpp-utilities: use finalAttrs in mkDerivation

* libsForQt5.kpeoplevcard: use finalAttrs in mkDerivation; reformat

* liberio: use finalAttrs in mkDerivation

* libqalculate: use finalAttrs in mkDerivation; reformat

* libwtk-sdl2: use finalAttrs in mkDerivation

* libsForQt5.pulseaudio-qt: use finalAttrs in mkDerivation; reformat

* qrupdate: use finalAttrs in mkDerivation; reformat

* libsForQt5.qtforkawesome: use finalAttrs in mkDerivation; reformat

* libsForQt5.qtutilities: use finalAttrs in mkDerivation; reformat

* sqlitecpp: use finalAttrs in mkDerivation; reformat

* tweeny: use finalAttrs in mkDerivation

* volk: use finalAttrs in mkDerivation

* wiringpi: use finalAttrs in mkDerivation

* snzip: use finalAttrs in mkDerivation; reformat

* bpm-tools: use finalAttrs in mkDerivation; reformat

* sacd: use finalAttrs in mkDerivation

* gtk-gnutella: use finalAttrs in mkDerivation; reformat

* sile: use finalAttrs in mkDerivation

* pplatex: use finalAttrs in mkDerivation; reformat
2023-09-21 11:31:17 +03:00
Fabián Heredia Montiel
b2f85dbf28 Merge remote-tracking branch 'origin/master' into staging-next 2023-09-20 15:08:16 -06:00
Pol Dellaiera
958c531b62
Merge pull request #256069 from r-ryantm/auto-update/jmol
jmol: 16.1.35 -> 16.1.39
2023-09-20 20:00:41 +02:00
github-actions[bot]
8d8feb905e
Merge master into staging-next 2023-09-20 06:01:21 +00:00
R. Ryantm
89081e1fdf uhdm: 1.73 -> 1.74 2023-09-20 04:08:31 +00:00