Fabian Affolter
49dc2b7042
streamlit: rename GitPython
2022-12-05 21:53:11 +01:00
Vincent Laporte
221b44a071
coq: 8.16.0 → 8.16.1
2022-12-05 09:22:59 +01:00
Nikolay Korotkiy
3332040606
Merge pull request #203029 from sikmir/geogebra
...
geogebra: 5-0-723-0 → 5-0-745-0, geogebra6: 6-0-723-0 → 6-0-745-0
2022-12-04 17:31:30 +04:00
Nikolay Korotkiy
88ae5d0825
Merge pull request #202805 from r-ryantm/auto-update/cbmc
...
cbmc: 5.70.0 -> 5.71.0
2022-12-03 23:51:24 +04:00
Weijia Wang
eac8b51565
flopoco: init at 4.1.3 ( #200459 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-12-03 05:26:22 +01:00
John Shaffer
9d8767be46
xcircuit: 3.10.12 -> 3.10.37, maintain
2022-12-02 21:57:29 -06:00
Sandro
e461e83aa7
Merge pull request #191966 from jvanbruegge/isabelle-2022
2022-12-03 00:45:47 +01:00
Pavol Rusnak
85f5d65b7e
Merge pull request #204149 from wegank/viennarna-bump
...
ViennaRNA: 2.4.18 -> 2.5.1, unbreak on aarch64-darwin
2022-12-03 00:23:09 +01:00
Vincent Laporte
188b935b6d
alt-ergo: fix version string
2022-12-03 00:00:05 +01:00
Weijia Wang
df1810c6e8
ViennaRNA: 2.4.18 -> 2.5.1
2022-12-02 18:20:04 +01:00
R. RyanTM
132e60b840
calc: 2.14.1.0 -> 2.14.1.2
...
Also fixed GitHub source url.
2022-12-02 18:02:05 +08:00
Mario Rodas
227de2b3bb
Merge pull request #203387 from wegank/formula-aarch64-linux
...
formula: unbreak on aarch64-linux
2022-11-30 07:02:00 -05:00
Weijia Wang
280b4b8279
root: fix build on aarch64-linux ( #203267 )
2022-11-29 01:41:49 -05:00
Mauricio Collares
9102f78309
Merge pull request #192525 from r-ryantm/auto-update/pari
...
pari: 2.13.4 -> 2.15.1
2022-11-28 20:58:42 -03:00
Jack Gerrits
c5be637c72
vowpal-wabbit: 9.0.1 -> 9.6.0
...
- flatbuffers removed as a dep as the upstream doesn't support installing with flatbuffer support currently and this is an experimental feature
- BUILD_TESTS workaround removed as upstream now properly understands BUILD_TESTING
- `eigen` is a new dependency in this release
- Removed `USE_LATEST_STD` as it was causing an ICE in clang when building on an m1 macbook and it is not strictly necessary for the package
2022-11-29 00:02:14 +08:00
Mauricio Collares
40fddeb8fc
giac: mark as broken on aarch64-darwin
2022-11-28 09:33:10 -03:00
Weijia Wang
31dae4a6c0
formula: unbreak on aarch64-linux
2022-11-28 02:56:13 +01:00
Sandro
853077236a
Merge pull request #202124 from SuperSandro2000/dbus-passthru-daemon
2022-11-28 01:35:34 +01:00
Mauricio Collares
3b258a60a6
sage: import pari 2.15.1 update patch
2022-11-27 20:39:59 -03:00
R. Ryantm
081289609e
pari: 2.13.4 -> 2.15.1
2022-11-27 20:39:59 -03:00
Robert Scott
d2504ace98
Merge pull request #203249 from aaronjheng/streamlit
...
streamlit: 1.13.0 -> 1.15.0
2022-11-27 23:10:22 +00:00
Mauricio Collares
dad9d4f76e
Merge pull request #203170 from jiegec/pari
...
pari: unbreak on aarch64-darwin
2022-11-27 15:15:19 -03:00
Aaron Jheng
8bed9cc42f
streamlit: 1.13.0 -> 1.15.0
2022-11-27 12:57:33 +00:00
Jiajie Chen
91e59727c0
pari: unbreak on aarch64-darwin
2022-11-27 09:39:27 +08:00
K900
420fd2d25b
graphia: 3.1 -> 3.2
2022-11-26 15:49:07 +03:00
Nikolay Korotkiy
bb92198f4c
geogebra6: 6-0-723-0 → 6-0-745-0
2022-11-26 14:17:44 +03:00
Nikolay Korotkiy
5b4bf09237
geogebra6: fix the meta data to allow autoupdate
...
Resolve #188260
2022-11-26 13:58:19 +03:00
Nikolay Korotkiy
ec635b51d6
geogebra: 5-0-723-0 → 5-0-745-0
2022-11-26 13:39:52 +03:00
Robert Schütz
be1fe08f79
surelog: use latest OpenJDK
...
OpenJDK 11 depends on Python 2.
2022-11-25 20:10:49 -08:00
Sandro
bf8865dc28
Merge pull request #198871 from wegank/aspino-aarch64-darwin
2022-11-25 20:12:58 +01:00
Weijia Wang
c00ddaf144
aspino: remove patchShebangs
2022-11-25 16:48:27 +01:00
Weijia Wang
fc653e9de0
avy: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
ee09ecaca2
glucose: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
017015a82b
aspino: fix build
2022-11-25 16:48:03 +01:00
Bobby Rong
e34bc8cc1a
Merge pull request #198055 from jdupak/master
...
QtRVSim: 0.9.3 -> 0.9.4
2022-11-25 22:50:43 +08:00
Bobby Rong
4315ef82eb
Merge pull request #202657 from 4825764518/master
...
qalculate-qt: update supported platforms
2022-11-25 21:51:45 +08:00
R. Ryantm
d9af397634
cbmc: 5.70.0 -> 5.71.0
2022-11-25 08:37:13 +00:00
Jonas Heinrich
20193b6d86
Merge pull request #202395 from thyol/muscle
...
muscle: 3.8.31 -> 5.1.0
2022-11-24 15:47:12 +01:00
Guillaume Girol
6f9188b26b
Merge pull request #201759 from collares/giac-1.9.0.29
...
giac: 1.9.0-5 -> 1.9.0-29
2022-11-24 14:16:03 +00:00
Jonas Heinrich
57728b51cf
Merge pull request #202404 from thyol/veryfasttree
...
veryfasttree: init at 3.1.1
2022-11-24 15:14:13 +01:00
Sandro
2ca694f473
Merge pull request #198552 from wegank/wxgtk-games
2022-11-24 14:21:25 +01:00
4825764518
9c363bae16
qalculate-qt: update supported platforms
2022-11-24 05:37:05 -05:00
R. Ryantm
471d8bb07a
opensmt: 2.4.2 -> 2.4.3
2022-11-22 20:15:56 +00:00
thyol
cdcb7946ba
veryfasttree: init at 3.1.1
2022-11-22 20:45:45 +01:00
thyol
35d3a6fa79
muscle: add myself to maintainers
2022-11-22 20:19:17 +01:00
thyol
d7c8595f62
muscle: 3.8.31 -> 5.1.0
2022-11-22 20:19:17 +01:00
R. Ryantm
7e88b2bef5
form: 4.2.1 -> 4.3.0
2022-11-22 12:01:40 -05:00
Sandro Jäckel
c7f5becba3
dbus: remove unused daemon passhtru
2022-11-21 20:23:00 +01:00
R. Ryantm
6ba0d20487
igv: 2.14.1 -> 2.15.1
2022-11-20 14:06:29 +08:00
R. Ryantm
862277ac9d
kstars: 3.6.0 -> 3.6.1
2022-11-20 10:52:50 +08:00
