Nick Cao
470d6d7c07
Merge pull request #303920 from TomaSajt/simulide_
...
simulide_1_1_0: 1.1.0-RC1 -> 1.1.0-SR0
2024-04-14 10:48:20 -04:00
TomaSajt
db585038d2
simulide_1_1_0: 1.1.0-RC1 -> 1.1.0-SR0
2024-04-14 09:21:21 +02:00
Samuel Ainsworth
2989f99f0f
Merge pull request #303236 from GaetanLepage/mujoco
...
mujoco: 3.1.3 -> 3.1.4
2024-04-12 16:59:28 -04:00
Weijia Wang
3e0325206d
Merge pull request #301677 from r-ryantm/auto-update/minimap2
...
minimap2: 2.27 -> 2.28
2024-04-12 10:20:56 +02:00
Nick Cao
1ae21148cd
Merge pull request #303385 from r-ryantm/auto-update/eigenmath
...
eigenmath: unstable-2024-03-20 -> unstable-2024-04-08
2024-04-11 13:06:55 -04:00
R. Ryantm
5010a92fa9
eigenmath: unstable-2024-03-20 -> unstable-2024-04-08
2024-04-11 15:23:39 +00:00
Weijia Wang
7d31098bc9
Merge pull request #300785 from r-ryantm/auto-update/boinc
...
boinc: 7.24.3 -> 8.0.1
2024-04-11 05:11:04 +02:00
Gaetan Lepage
090f1039ac
mujoco: 3.1.3 -> 3.1.4
...
Diff: https://github.com/google-deepmind/mujoco/compare/refs/tags/3.1.3...3.1.4
Changelog: https://github.com/google-deepmind/mujoco/releases/tag/3.1.4
2024-04-11 00:42:45 +02:00
Pascal Wittmann
2da1af77d4
Merge pull request #302984 from numinit/klee-update
...
klee: 3.0 -> 3.1
2024-04-10 19:52:37 +02:00
Rick van Schijndel
067e519281
Merge pull request #302858 from tweag/infinisil-maintainer
...
treewide: Drop infinisil as maintainer from most packages
2024-04-10 08:50:38 +02:00
R. Ryantm
ef1c3ced3f
snakemake: 8.10.4 -> 8.10.6
2024-04-10 02:29:57 -04:00
Morgan Jones
80d57056bc
klee: 3.0 -> 3.1
2024-04-09 19:41:50 -07:00
Silvan Mosberger
ea5dfeab93
treewide: Drop infinisil as maintainer from most packages
...
I'm not going anywhere, I'm focusing my energy on other issues, and
getting pinged as a maintainer for packages is a bit distracting (also
I'm not using most of these packages anyways!)
2024-04-09 21:43:39 +02:00
Mauricio Collares
00f9ac91e9
Merge pull request #302408 from anthonyroussel/polymake-perl-538
...
polymake: unpin perl536, perl536Packages
2024-04-08 09:18:37 +02:00
Nick Cao
087c22ae48
Merge pull request #302368 from r-ryantm/auto-update/seqkit
...
seqkit: 2.8.0 -> 2.8.1
2024-04-07 20:43:55 -04:00
Anthony Roussel
b38e188f7d
polymake: unpin perl536, perl536Packages
...
4.11 adds support for Perl 5.38
See https://github.com/polymake/polymake/releases/tag/V4.11
2024-04-07 21:01:55 +02:00
R. Ryantm
c4128f9b05
seqkit: 2.8.0 -> 2.8.1
2024-04-07 14:35:21 +00:00
R. Ryantm
d72909008d
nvc: 1.11.3 -> 1.12.0
2024-04-07 13:20:22 +00:00
a-n-n-a-l-e-e
76422a767b
Merge pull request #301704 from a-n-n-a-l-e-e/throw-unsupported-src
...
treewide: throw on unsupported system src access
2024-04-05 14:20:30 -07:00
Weijia Wang
3062a27318
Merge pull request #301348 from symphorien/update_bitwuzla
...
bitwuzla: unstable-2022-10-03 -> 0.4.0
2024-04-05 18:50:28 +02:00
Aleksana
e545d8d16a
Merge pull request #300817 from quentinmit/kicad-license
...
kicad: fix license
2024-04-05 12:33:03 +08:00
annalee
0d7dc0efc5
treewide: throw on unsupported system src access
2024-04-05 02:30:42 +00:00
R. Ryantm
a9be06cc4d
minimap2: 2.27 -> 2.28
2024-04-04 23:45:37 +00:00
Mario Rodas
a8512382ef
Merge pull request #301208 from marsam/update-lean4
...
lean4: 4.6.1 -> 4.7.0
2024-04-04 05:56:02 -05:00
Luz
a772d1f6c1
librepcb: 1.0.0 -> 1.1.0
2024-04-03 22:08:08 +02:00
Bruno Bzeznik
bc4802a7d6
kstars: 3.6.9 -> 3.7.0 + fixing build failure
2024-04-03 14:33:32 +02:00
Guillaume Girol
5847c4078d
bitwuzla: test on aarch64-linux
2024-04-03 12:00:00 +00:00
Guillaume Girol
71096455f0
bitwuzla: fix on aarch64-linux
2024-04-03 12:00:00 +00:00
Guillaume Girol
4c932f9688
bitwuzla: fix build with doCheck = false
2024-04-03 12:00:00 +00:00
Guillaume Girol
75e6297d10
cryptominisat: fix static build
2024-04-03 12:00:00 +00:00
Guillaume Girol
67dc7cc993
cadical: fix static build
2024-04-03 12:00:00 +00:00
Guillaume Girol
457090959e
bitwuzla: unstable-2022-10-03 -> 0.4.0
...
lingeling, picosat and minisat are no longer dependencies
2024-04-03 12:00:00 +00:00
Guillaume Girol
5ff10ee902
symfpu: install headers in $out/include, add a pkg-config file
...
bitwuzla switched to meson, and I found no other way to have meson find
symfpu
2024-04-03 12:00:00 +00:00
Guillaume Girol
5a610c5f8d
cadical: add pkg-config file
...
bitwuzla switched to meson, and I was not able to tell meson how to tell
where cadical is located without a pkg-config file
2024-04-03 12:00:00 +00:00
Mario Rodas
9f5604780c
lean4: 4.6.1 -> 4.7.0
...
Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0
Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md
2024-04-03 04:20:00 +00:00
Mauricio Collares
25283f17ee
Merge pull request #300930 from collares/sage-quaternionalgebra
...
sage: work around QuaternionAlgebra random test failure
2024-04-02 14:35:25 +02:00
Mauricio Collares
e9488dbea7
sage: work around QuaternionAlgebra random test failure
2024-04-02 13:31:34 +02:00
Quentin Smith
31de231f82
kicad: fix license
...
KiCad has been under the GPL (not AGPL) since 6.0.0.
4ef02fd699https://www.kicad.org/about/licenses/
2024-04-01 20:14:10 -04:00
Weijia Wang
dca627c9d4
Merge pull request #300290 from NixOS/colmap-autoadd
...
colmap: use pkgs.autoAddDriverRunpath
2024-04-02 00:59:06 +02:00
R. Ryantm
71caf0987d
boinc: 7.24.3 -> 8.0.1
2024-04-01 20:55:53 +00:00
Jonathan Ringer
47bd04c9d8
colmap: use pkgs.autoAddDriverRunpath
2024-04-01 09:53:08 -07:00
Weijia Wang
3db4469d98
Merge pull request #276432 from r-ryantm/auto-update/surelog
...
surelog: 1.80 -> 1.82
2024-04-01 01:08:27 +02:00
Weijia Wang
974165196f
Merge pull request #297595 from r-ryantm/auto-update/uhdm
...
uhdm: 1.80 -> 1.82
2024-04-01 01:00:41 +02:00
Weijia Wang
498ed67c4f
Merge pull request #299968 from wegank/gurobi-bump
...
gurobi, python312Packages.gurobipy: 9.5.1 -> 11.0.1
2024-03-31 23:38:36 +02:00
Naïm Favier
92514e4863
Merge branch 'master' into haskell-updates
2024-03-31 10:23:44 +02:00
Dmitry Kalinkin
c459054f7e
Merge pull request #298093 from r-ryantm/auto-update/python311Packages.snakemake-interface-executor-plugins
...
python311Packages.snakemake-interface-executor-plugins: 8.2.0 -> 9.1.0
2024-03-31 00:47:45 -04:00
Dmitry Kalinkin
924bfa96b6
snakemake: 8.4.12 -> 8.10.4
2024-03-31 00:13:23 -04:00
Someone
09b490afe6
Merge pull request #300278 from jonringer/lammps-autoadd
...
lammps: use pkgs.autoAddDriverRunpath
2024-03-30 22:37:51 +00:00
Weijia Wang
73f78efb56
Merge pull request #300266 from Cryolitia/labelimg
...
labelImg: 1.8.3 -> 1.8.6, re-format with `nixfmt-rfc-style`
2024-03-30 21:07:46 +01:00
Weijia Wang
877bf7979c
Merge pull request #298216 from r-ryantm/auto-update/pspp
...
pspp: 2.0.0 -> 2.0.1
2024-03-30 18:34:53 +01:00
