Gabriel Ebner
|
c83b87fecd
|
Merge pull request #187883 from alyaeanyx/qalculate-4.3.0
{libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0
|
2022-08-22 18:47:13 +02:00 |
|
Gabriel Ebner
|
e99329eb02
|
elan: overwrite llvm-ar with stdenv ar
|
2022-08-22 16:52:52 +02:00 |
|
alyaeanyx
|
61b47c361c
|
{libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0
|
2022-08-22 16:14:34 +02:00 |
|
Jonas Heinrich
|
ed7e80c85b
|
Merge pull request #183893 from r-ryantm/auto-update/emuflight-configurator
emuflight-configurator: 0.4.0 -> 0.4.1
|
2022-08-22 16:07:10 +02:00 |
|
Jonas Heinrich
|
fbf9205774
|
Merge pull request #185912 from r-ryantm/auto-update/fityk
fityk: 1.3.1 -> 1.3.2
|
2022-08-21 21:34:00 +02:00 |
|
Jonas Heinrich
|
5cb64f6046
|
Merge pull request #186958 from r-ryantm/auto-update/igv
igv: 2.13.2 -> 2.14.0
|
2022-08-21 21:11:49 +02:00 |
|
Jonas Heinrich
|
48c0cae744
|
Merge pull request #184713 from r-ryantm/auto-update/siril
siril: 1.0.0 -> 1.0.3
|
2022-08-21 18:13:09 +02:00 |
|
Jonas Heinrich
|
4cde04611f
|
Merge pull request #184011 from r-ryantm/auto-update/fricas
fricas: 1.3.7 -> 1.3.8
|
2022-08-21 15:16:39 +02:00 |
|
Jonas Heinrich
|
8508d5decf
|
Merge pull request #183724 from r-ryantm/auto-update/picard-tools
picard-tools: 2.26.11 -> 2.27.4
|
2022-08-21 10:03:42 +02:00 |
|
Sandro
|
c637bce3d9
|
Merge pull request #187429 from HHR2020/geogebra-723
|
2022-08-21 03:49:26 +02:00 |
|
HHR2020
|
9a946f0bf4
|
geogebra6: 6-0-676-0 -> 6-0-723-0
|
2022-08-19 18:16:37 +08:00 |
|
HHR2020
|
34cfab69d2
|
geogebra: 5-0-706-0 -> 5-0-723-0
|
2022-08-19 18:16:12 +08:00 |
|
Christian Kögler
|
f99c37f463
|
Merge pull request #187340 from r-ryantm/auto-update/cbmc
cbmc: 5.63.0 -> 5.64.0
|
2022-08-19 10:24:27 +02:00 |
|
Robert Scott
|
dbb68933c8
|
Merge pull request #185326 from risicle/ris-streamlit-1.11.1
streamlit: 1.2.0 -> 1.11.1
|
2022-08-18 23:39:36 +01:00 |
|
R. Ryantm
|
e0377f4a23
|
cbmc: 5.63.0 -> 5.64.0
|
2022-08-18 20:25:31 +00:00 |
|
Jiajie Chen
|
da87f77102
|
cbmc: init at 5.63.0
Cadical is used as sat solver backend.
https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0
|
2022-08-18 05:21:32 +02:00 |
|
Sebastián Mancilla
|
68696eca80
|
Merge pull request #180682 from r-ryantm/auto-update/fast-downward
fast-downward: 21.12.0 -> 22.06.0
|
2022-08-17 20:28:49 -04:00 |
|
Vincent Laporte
|
9bb0d53a4a
|
alt-ergo: 2.4.1 → 2.4.2
|
2022-08-17 17:07:27 +02:00 |
|
superherointj
|
fdfb409681
|
Merge pull request #185331 from r-ryantm/auto-update/jmol
jmol: 14.32.66 -> 14.32.68
|
2022-08-17 11:38:41 -03:00 |
|
Sandro
|
b3da007795
|
Merge pull request #186604 from panicgh/sigrok
|
2022-08-17 14:44:28 +02:00 |
|
Nicolas Benes
|
d8f986d902
|
pulseview: 0.4.1 -> 0.4.2
|
2022-08-16 15:51:13 +02:00 |
|
R. Ryantm
|
c20b56187c
|
jmol: 14.32.66 -> 14.32.68
|
2022-08-16 13:39:44 +00:00 |
|
R. Ryantm
|
f4c3ff2d7f
|
igv: 2.13.2 -> 2.14.0
|
2022-08-16 13:24:02 +00:00 |
|
superherointj
|
f7414aeae2
|
Merge pull request #186662 from r-ryantm/auto-update/messer-slim
messer-slim: 3.7.1 -> 4.0
|
2022-08-15 15:40:46 -03:00 |
|
Christian Kögler
|
10bf9a30cd
|
Merge pull request #179082 from k3a/openboardview
openboardview: init at 9.0.3
|
2022-08-15 16:54:43 +02:00 |
|
Christian Kögler
|
121d695571
|
Merge pull request #183328 from r-ryantm/auto-update/graphia
graphia: 3.0 -> 3.1
|
2022-08-15 14:13:00 +02:00 |
|
Mrmaxmeier
|
4929601fe9
|
bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07
|
2022-08-14 22:58:44 +02:00 |
|
R. Ryantm
|
c37112d2d0
|
messer-slim: 3.7.1 -> 4.0
|
2022-08-14 14:11:37 +00:00 |
|
Jonas Heinrich
|
a46597d7f9
|
Merge pull request #186307 from r-ryantm/auto-update/gretl
gretl: 2022a -> 2022b
|
2022-08-14 14:25:45 +02:00 |
|
Sandro
|
6a8e911454
|
Merge pull request #185995 from wegank/nvc-1.7.0
|
2022-08-14 00:49:15 +02:00 |
|
R. Ryantm
|
7f3ad42166
|
snakemake: 7.12.0 -> 7.12.1
|
2022-08-13 16:16:11 -04:00 |
|
Mario Rodas
|
0cab4c8f8a
|
Merge pull request #183012 from bcdarwin/update-mni-autoreg
mni_autoreg: unstable-2017-09-22 -> unstable-2022-05-20
|
2022-08-13 01:05:26 -05:00 |
|
Mario Rodas
|
6aeb44c32e
|
Merge pull request #185211 from r-ryantm/auto-update/delly
delly: 1.0.3 -> 1.1.3
|
2022-08-13 00:41:48 -05:00 |
|
Austin Seipp
|
5b93ac113c
|
yosys: 0.18 -> 0.20
Includes necessary `abc` update as well.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2022-08-12 13:23:18 -05:00 |
|
Sebastián Mancilla
|
b9ce2756a1
|
Merge pull request #178884 from dtzWill/update/verliator-4.224
verilator: 4.222 -> 4.224
|
2022-08-12 12:00:50 -04:00 |
|
R. Ryantm
|
272c4c9f60
|
gretl: 2022a -> 2022b
|
2022-08-12 15:40:37 +00:00 |
|
Mario Rodas
|
b473175b3c
|
Merge pull request #185570 from kilianar/igv-2.13.2
igv: 2.8.13 -> 2.13.2
|
2022-08-12 06:32:23 -05:00 |
|
Mario Rodas
|
e27fb54ad8
|
Merge pull request #185834 from kilianar/lean-3.46.0
lean: 3.45.0 -> 3.46.0
|
2022-08-12 05:40:55 -05:00 |
|
Weijia Wang
|
0e12c8993e
|
nvc: 1.6.2 -> 1.7.0
|
2022-08-11 01:27:57 +02:00 |
|
R. Ryantm
|
50f7eed980
|
fityk: 1.3.1 -> 1.3.2
|
2022-08-10 13:28:43 +00:00 |
|
Gabriel Ebner
|
f056e64e5b
|
Merge pull request #180766 from jvierling/metis-prover
metis-prover: 2.3.20160713 -> 2.4.20200713
|
2022-08-10 13:02:34 +02:00 |
|
kilianar
|
3bf4c6f470
|
lean: 3.45.0 -> 3.46.0
https://github.com/leanprover-community/lean/releases/tag/v3.46.0
|
2022-08-09 22:21:39 +02:00 |
|
Jonas Heinrich
|
3cbb7231b5
|
Merge pull request #185393 from r-ryantm/auto-update/xschem
xschem: 3.0.0 -> 3.1.0
|
2022-08-08 10:43:11 +02:00 |
|
kilianar
|
0442ab82e0
|
igv: 2.8.13 -> 2.13.2
- https://software.broadinstitute.org/software/igv/2.9.x
- https://software.broadinstitute.org/software/igv/2.10.x
- https://software.broadinstitute.org/software/igv/2.11.x
- https://software.broadinstitute.org/software/igv/2.12.x
- https://software.broadinstitute.org/software/igv/2.13.x
|
2022-08-07 17:53:06 +02:00 |
|
Bobby Rong
|
934c6c9a95
|
Merge pull request #184334 from r-ryantm/auto-update/mafft
mafft: 7.490 -> 7.505
|
2022-08-07 16:18:05 +08:00 |
|
Bobby Rong
|
197f77cfad
|
Merge pull request #184937 from r-ryantm/auto-update/gprojector
gprojector: 3.0.3 -> 3.0.4
|
2022-08-07 16:13:26 +08:00 |
|
Dmitry Kalinkin
|
30887dc20b
|
Merge pull request #184371 from veprbl/pr/root_6_26_06
root: 6.26.04 -> 6.26.06
|
2022-08-06 21:43:59 -04:00 |
|
R. Ryantm
|
ea50144392
|
xschem: 3.0.0 -> 3.1.0
|
2022-08-06 09:02:23 +00:00 |
|
Robert Scott
|
4b7937fd7b
|
streamlit: 1.2.0 -> 1.11.1
|
2022-08-06 00:04:36 +01:00 |
|
Bobby Rong
|
88cb001dc5
|
Merge pull request #184250 from r-ryantm/auto-update/JAGS
jags: 4.3.0 -> 4.3.1
|
2022-08-05 19:37:07 +08:00 |
|