Vincenzo Mantova
acb02e2fab
eukleides: move texlive dependencies to tlDeps
2023-04-02 13:00:52 +01:00
Vincenzo Mantova
6b2b9a0de3
eukleides: create pkgs fixpoint for texlive using mkDerivation
2023-04-02 12:58:47 +01:00
Michal Sojka
b1cb42d3b7
cppzmq: make zeromq propagatedBuildInput
...
cppzmq is a header-only library. As such, it is not much useful
without zeromq, whose headers it includes. By having zeromq in
propagatedBuildInputs, we can simplify dependent expressions.
This change is motivated by
https://github.com/lopsided98/nix-ros-overlay/issues/255#issuecomment-1487590226 .
The expressions in nix-ros-overlay are automatically generated and
since packages in other distributions where ROS runs need not to
explicitly depend on zeromq, the Nix expression should behave the
same. This way, nix-ros-overlay will not to have manually
patch/overlay the automatically generated expressions.
2023-03-31 18:58:56 +02:00
Nick Cao
2f73fede2a
calcmysky: unstable-2023-02-11 -> 0.3.0
...
Diff: c5f2814528
2023-03-29 19:29:46 +08:00
Weijia Wang
626401c783
Merge pull request #220832 from wegank/glucose-bump
...
glucose: 4.1 -> 4.2.1
2023-03-29 09:13:21 +03:00
Weijia Wang
396b3b7271
Merge pull request #223075 from r-ryantm/auto-update/ginac
...
ginac: 1.8.5 -> 1.8.6
2023-03-29 00:27:26 +03:00
Mauricio Collares
a4f8bf2248
Merge pull request #223497 from r-ryantm/auto-update/primecount
...
primecount: 7.6 -> 7.7
2023-03-28 20:28:02 +02:00
Weijia Wang
eac1ecb55a
Merge pull request #222531 from r-ryantm/auto-update/sumo
...
sumo: 1.15.0 -> 1.16.0
2023-03-28 16:47:07 +03:00
Nick Cao
98f3b08f58
Merge pull request #223453 from kilianar/stellarium-23.1
...
stellarium: 1.2 -> 23.1
2023-03-28 18:29:13 +08:00
Ali Caglayan
8fe1ea496b
coq: 8.16.1 -> 8.17.0
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-03-28 08:13:12 +02:00
R. Ryantm
3b3cc65701
primecount: 7.6 -> 7.7
2023-03-28 04:37:03 +00:00
kilianar
d19f5dedec
stellarium: 1.2 -> 23.1
...
https://github.com/Stellarium/stellarium/releases/tag/v23.1
Mitigates https://github.com/advisories/GHSA-7vmm-m8vp-g5h3
2023-03-28 00:22:36 +02:00
kilianar
733e7c52c2
calcmysky: 0.2.1 -> unstable-203-02-11
2023-03-28 00:03:32 +02:00
Weijia Wang
c9d051b17d
Merge pull request #222979 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.4 -> 1.0.5
2023-03-27 09:36:32 +03:00
Sandro
c2ef479b62
Merge pull request #168773 from Leixb/megam-add-opt
2023-03-27 00:59:44 +02:00
Justin Bedő
c39e3d9b74
Merge pull request #221546 from NixOS/r-updates
...
R: 4.2.2 -> 4.2.3
2023-03-26 21:40:30 +00:00
github-actions[bot]
07fb9cae4e
Merge master into staging-next
2023-03-26 00:02:45 +00:00
Artturi
b213126ec0
Merge pull request #222766 from Artturin/fix-different-store
2023-03-25 22:17:07 +02:00
R. Ryantm
2cb2ee9630
ginac: 1.8.5 -> 1.8.6
2023-03-25 14:10:42 +00:00
R. Ryantm
bb270775f2
cvc5: 1.0.4 -> 1.0.5
2023-03-25 01:00:12 +00:00
github-actions[bot]
cead7e3e73
Merge master into staging-next
2023-03-25 00:02:20 +00:00
Weijia Wang
2ce97f2bf9
Merge pull request #222464 from r-ryantm/auto-update/diamond
...
diamond: 2.1.5 -> 2.1.6
2023-03-24 20:56:17 +02:00
Artturin
780669daf5
treewide: don't hardcode /nix/store (no rebuilds changes)
...
improve experience for other store locations
2023-03-24 20:11:33 +02:00
github-actions[bot]
adec6862c5
Merge master into staging-next
2023-03-24 18:01:06 +00:00
LeixB
d443805fe3
megam: add leixb as maintainer
2023-03-24 18:52:48 +01:00
LeixB
d85fae35d9
megam: add megam.opt binary
...
- Add megam.opt (optimized native binary)
2023-03-24 18:52:14 +01:00
Vladimír Čunát
1f1c1739d7
Merge #222442 : R: override test for curl version
...
...into staging-next
2023-03-23 11:07:36 +01:00
R. Ryantm
d2bf9653de
gretl: 2022c -> 2023a
2023-03-23 06:03:08 +00:00
github-actions[bot]
85f7b5276e
Merge master into staging-next
2023-03-22 18:01:11 +00:00
Luflosi
ddb714f68d
yices: fix typo in comment
2023-03-22 16:08:09 +01:00
Weijia Wang
120a484726
Merge pull request #220001 from wegank/isabelle-arm
...
isabelle: add aarch64-linux support
2023-03-22 16:15:34 +02:00
R. Ryantm
91c2c00aad
sumo: 1.15.0 -> 1.16.0
2023-03-22 12:07:12 +00:00
github-actions[bot]
0537539006
Merge master into staging-next
2023-03-22 12:01:22 +00:00
Nick Cao
6c4095e7af
Merge pull request #222331 from r-ryantm/auto-update/seqkit
...
seqkit: 2.3.1 -> 2.4.0
2023-03-22 16:08:39 +08:00
R. Ryantm
4c2324cf14
diamond: 2.1.5 -> 2.1.6
2023-03-22 03:09:40 +00:00
MaxHearnden
bfbc0f56e5
override test for curl version
2023-03-21 22:50:14 +00:00
Vincent Laporte
48774c43cd
acgtk: use Dune 3
2023-03-21 13:05:53 +01:00
R. Ryantm
a6f33bd62f
seqkit: 2.3.1 -> 2.4.0
2023-03-21 10:45:22 +00:00
github-actions[bot]
bb48723d63
Merge master into staging-next
2023-03-21 00:02:39 +00:00
Vincent Laporte
e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 ( #220986 )
...
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-03-20 20:45:47 +01:00
Martin Weinelt
9959ec97f8
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
- pkgs/development/python-modules/wxPython/4.0.nix
- pkgs/development/python-modules/wxPython/4.1.nix
2023-03-20 15:07:36 +01:00
Weijia Wang
802b7ac3e7
Merge pull request #221743 from r-ryantm/auto-update/gatk
...
gatk: 4.3.0.0 -> 4.4.0.0
2023-03-20 14:33:37 +02:00
github-actions[bot]
96f7385465
Merge master into staging-next
2023-03-20 00:02:29 +00:00
Mauricio Collares
bd3de7859d
Merge pull request #221718 from wegank/sage-fix
...
sage: add libpng to sagelib, import package update patches
2023-03-19 19:31:02 +01:00
github-actions[bot]
84c97a9e91
Merge master into staging-next
2023-03-19 18:00:59 +00:00
Weijia Wang
2572ddc706
Merge pull request #221977 from wegank/mavproxy-wx
...
mavproxy: migrate to wxPython_4_2
2023-03-19 20:00:39 +02:00
Weijia Wang
a1e27cf0e9
sage: add libpng to sagelib
2023-03-19 19:33:36 +02:00
Mauricio Collares
c13d98c7bf
sage: import python package upgrade fixes
2023-03-19 19:32:56 +02:00
natsukium
21affa5ff1
trf: init at 4.09.1
2023-03-19 22:25:42 +09:00
Weijia Wang
4fe9738427
mavproxy: migrate to wxPython_4_2
2023-03-19 10:29:51 +02:00
