Nick Cao
b44297facb
Merge pull request #241272 from kilianar/stellarium-23.2
...
stellarium: 23.1 -> 23.2
2023-07-04 10:34:33 +08:00
Weijia Wang
1e0d363214
Merge pull request #241136 from r-ryantm/auto-update/veryfasttree
...
veryfasttree: 3.1.1 -> 4.0
2023-07-03 17:17:51 +03:00
kilianar
24016b9633
stellarium: 23.1 -> 23.2
...
https://github.com/Stellarium/stellarium/releases/tag/v23.2
2023-07-03 14:04:41 +02:00
Weijia Wang
82d4f6b43d
veryfasttree: fix build on darwin
2023-07-03 12:29:44 +03:00
Weijia Wang
d2eeccba40
Merge pull request #241086 from r-ryantm/auto-update/simgrid
...
simgrid: 3.32 -> 3.34
2023-07-03 10:38:49 +03:00
Nick Cao
8feaa9fe93
Merge pull request #241120 from jiegec/cbmc
...
cbmc: 5.76.1 -> 5.86.0
2023-07-03 13:58:03 +08:00
figsoda
5522188fc8
Merge pull request #241192 from tjni/snakemake
...
snakemake: fix broken source hash
2023-07-02 21:02:26 -04:00
Theodore Ni
1af33d4653
snakemake: fix broken source hash
2023-07-02 16:50:09 -07:00
Nick Cao
ab163c16ee
Merge pull request #241037 from NickCao/gprojector
...
gprojector: 3.0.6 -> 3.1.0
2023-07-03 06:20:55 +08:00
Martin Weinelt
5a193fb4dd
Merge pull request #232469 from natsukium/autodock-vina/init
...
autodock-vina: init at 1.2.3
2023-07-02 23:45:13 +02:00
Martin Weinelt
bb40b8c205
Merge pull request #235322 from natsukium/dssp/update
...
dssp: 4.2.2.1 -> 4.3.1; libcifpp: 5.0.8 -> 5.1.0.1; libmcfp: 1.2.3 -> 1.2.4
2023-07-02 23:12:49 +02:00
figsoda
50acc2d57a
pkgs/applications: replace "${version}" with version
2023-07-02 14:39:50 -04:00
R. Ryantm
cb16c50571
veryfasttree: 3.1.1 -> 4.0
2023-07-02 15:55:36 +00:00
Jiajie Chen
2db283819e
cbmc: 5.76.1 -> 5.86.0
2023-07-02 22:46:06 +08:00
R. Ryantm
1539e263f8
simgrid: 3.32 -> 3.34
2023-07-02 11:06:07 +00:00
Nick Cao
1693695975
gprojector: 3.0.6 -> 3.1.0
2023-07-02 13:06:15 +08:00
natsukium
7b49fced0f
dssp: fix format
...
- add changelog to meta
- use finalAttrs
2023-07-01 16:40:29 +09:00
natsukium
fba5a4d702
dssp: 4.2.2.1 -> 4.3.1
...
Diff: https://github.com/PDB-REDO/dssp/compare/v4.2.2.1...v4.3.1
2023-07-01 16:36:36 +09:00
Théo Zimmermann
29cf8484ab
Merge pull request #240656 from vbgl/coq-8.17.1
...
coq: 8.17.0 → 8.17.1
2023-06-30 14:26:08 +02:00
Weijia Wang
3b743dd6b6
Merge pull request #240479 from r-ryantm/auto-update/gerbv
...
gerbv: 2.9.7 -> 2.9.8
2023-06-30 10:29:54 +03:00
Vincent Laporte
002ffb885a
coq: 8.17.0 → 8.17.1
2023-06-30 06:48:15 +02:00
R. Ryantm
c7231acb83
gerbv: 2.9.7 -> 2.9.8
2023-06-29 06:41:33 +00:00
Justin Bedő
296758401d
Merge pull request #239891 from NixOS/r-updates
...
R updates
2023-06-29 13:14:20 +10:00
Justin Bedő
2687680f22
Merge pull request #240318 from r-ryantm/auto-update/mosdepth
...
mosdepth: 0.3.3 -> 0.3.4
2023-06-29 09:52:34 +10:00
nviets
4bb4d449a7
snakemake: 7.25.3 -> 7.29.0 ( #240263 )
...
Co-authored-by: nviets <nathan.viets@gmail.com>
2023-06-28 17:09:10 +02:00
OTABI Tomoya
125bb92705
streamlit: 1.21.0 -> 1.24.0 ( #240248 )
...
Diff: https://github.com/streamlit/streamlit/compare/1.21.0...1.24.0
Changelog: https://github.com/streamlit/streamlit/releases/tag/1.24.0
2023-06-28 17:08:47 +02:00
Mario Rodas
e6a970aaba
Merge pull request #238994 from kilianar/geogebra
...
geogebra: 5-0-745-0 -> 5-0-783-0, geogebra6: 6-0-745-0 -> 6-0-783-0
2023-06-28 06:55:22 -05:00
R. Ryantm
abfcd95c63
mosdepth: 0.3.3 -> 0.3.4
2023-06-28 10:52:42 +00:00
R. Ryantm
75b8e7eb4b
cryptominisat: 5.11.4 -> 5.11.11
2023-06-28 02:05:20 +00:00
kilianar
46f3360e1a
geogebra6: 6-0-745-0 -> 6-0-785-0
2023-06-28 00:08:19 +02:00
kilianar
48a30529f7
geogebra: 5-0-745-0 -> 5-0-785-0
2023-06-28 00:08:19 +02:00
Sandro
6c112fb5de
Merge pull request #232600 from evils/kicad-unstable
2023-06-27 13:33:54 +02:00
Janik
77e5ce731b
Merge pull request #238964 from McSinyx/klee-3
2023-06-27 09:38:09 +02:00
Evils
ad19566aca
kicad-unstable: 2023-04-14 -> 2023-06-24
...
new qa_cli test needs pytest-image-diff
it also accesses $HOME, so setting that as well
and it checks for a valid commit
which is exposed to the end-user via kicad-cli version --format=commit
so i'm setting the placeholder to the actual commit used
mostly to avoid doing a leaveDotGit and rewriting update.sh
2023-06-27 08:27:47 +02:00
github-actions[bot]
4e9dcbbbc6
Merge master into staging-next
2023-06-26 18:01:29 +00:00
Janik
a2f36b2963
Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency
2023-06-26 18:15:28 +02:00
github-actions[bot]
f04cfae48a
Merge master into staging-next
2023-06-26 12:01:27 +00:00
Mario Rodas
e0e4c97cd1
Merge pull request #239623 from marsam/update-z3
...
z3: 4.11.0 -> 4.11.2, 4.12.1 -> 4.12.2
2023-06-26 05:16:37 -05:00
Vladimír Čunát
24711148d4
openmvg: fixup build
...
The build broke probably after cmake upgrade in b8ac5b6cfbhttps://hydra.nixos.org/build/225241222/nixlog/2/tail
2023-06-26 11:28:12 +02:00
Justin Bedo
bd8f4a24e1
R: 4.3.0 -> 4.3.1
2023-06-26 16:47:23 +10:00
Weijia Wang
826bdb7214
Merge pull request #239691 from r-ryantm/auto-update/diamond
...
diamond: 2.1.7 -> 2.1.8
2023-06-26 07:46:03 +02:00
Weijia Wang
ca4181830d
Merge pull request #239646 from r-ryantm/auto-update/horizon-eda
...
horizon-eda: 2.4.0 -> 2.5.0
2023-06-26 07:41:37 +02:00
Weijia Wang
2b6acb1ae6
Merge pull request #239479 from r-ryantm/auto-update/qucs-s
...
qucs-s: 1.0.2 -> 1.1.0
2023-06-26 07:25:09 +02:00
Mario Rodas
27343d6e6b
Merge pull request #239795 from r-ryantm/auto-update/elan
...
elan: 1.4.5 -> 1.4.6
2023-06-25 14:10:25 -05:00
R. Ryantm
aa93209605
elan: 1.4.5 -> 1.4.6
2023-06-25 17:27:10 +00:00
R. Ryantm
fa6b5a3cb3
last: 1453 -> 1456
2023-06-25 11:01:07 -03:00
R. Ryantm
754d578555
diamond: 2.1.7 -> 2.1.8
2023-06-25 04:35:30 +00:00
R. Ryantm
0c7cacbac4
horizon-eda: 2.4.0 -> 2.5.0
2023-06-24 21:56:23 +00:00
Mario Rodas
b2aee9c18e
Merge pull request #230298 from jleightcap/jl/z3-4.12
...
z3: 4.12.1
2023-06-24 10:53:02 -05:00
Mario Rodas
cce7280539
z3_4_12: 4.12.1 -> 4.12.2
...
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2
2023-06-24 04:20:00 +00:00
