Nick Cao
|
2f73fede2a
|
calcmysky: unstable-2023-02-11 -> 0.3.0
Diff: c5f2814528...v0.3.0
|
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 |
|
github-actions[bot]
|
c70342c89c
|
Merge master into staging-next
|
2023-03-19 00:02:27 +00:00 |
|
Weijia Wang
|
7574e25ef3
|
Merge pull request #221864 from natsukium/mafft/update
mafft: 7.508 -> 7.515
|
2023-03-19 00:03:19 +02:00 |
|
Weijia Wang
|
8da8071e37
|
glucose: 4.1 -> 4.2.1
|
2023-03-18 22:17:16 +02:00 |
|