Dmitry Kalinkin
|
ea1dcc4f8b
|
Merge pull request #189926 from veprbl/pr/root_rip_via_setup_hook
root: populate ROOT_INCLUDE_PATH via the setupHook
|
2022-09-08 19:45:45 -04:00 |
|
4825764518
|
eeefb876af
|
qalculate-qt: init at 4.2.0
|
2022-09-08 14:20:20 -04:00 |
|
R. Ryantm
|
914100fd45
|
snakemake: 7.12.1 -> 7.14.0
|
2022-09-08 09:57:07 -04:00 |
|
Jonas Heinrich
|
eab3e4bffa
|
Merge pull request #190087 from victormignot/systemc
systemc: Init at 2.3.3
|
2022-09-07 21:16:40 +02:00 |
|
7c6f434c
|
41df56c421
|
Merge pull request #189784 from collares/singular-431p2
singular: 4.3.1 -> 4.3.1p2
|
2022-09-07 18:58:16 +00:00 |
|
Théo Zimmermann
|
4754c69e97
|
Merge pull request #189997 from r-ryantm/auto-update/coq_8_16
coq_8_16: 8.16+rc1 -> 8.16.0
|
2022-09-07 14:48:05 +02:00 |
|
Victor Mignot
|
777ba23c17
|
systemc: Init at 2.3.3
|
2022-09-07 08:04:56 -04:00 |
|
Christian Kögler
|
1034788cf2
|
Merge pull request #189339 from r-ryantm/auto-update/jmol
jmol: 14.32.68 -> 14.32.73
|
2022-09-06 22:09:07 +02:00 |
|
Timo Kaufmann
|
5e03752766
|
Merge pull request #184457 from r-ryantm/auto-update/polymake
polymake: 4.6 -> 4.7
|
2022-09-06 16:22:36 +02:00 |
|
Timo Kaufmann
|
b292bfd0ab
|
Merge pull request #189776 from collares/sage-docindex
sageWithDoc: fix documentation index
|
2022-09-06 16:15:54 +02:00 |
|
R. Ryantm
|
a037a50b46
|
coq_8_16: 8.16+rc1 -> 8.16.0
|
2022-09-06 12:15:29 +00:00 |
|
Dmitry Kalinkin
|
0fe6d6f6b9
|
root: populate ROOT_INCLUDE_PATH via the setupHook
|
2022-09-05 18:47:48 -04:00 |
|
markuskowa
|
fec757aa4e
|
Merge pull request #189871 from r-ryantm/auto-update/gromacs
gromacs: 2022.2 -> 2022.3
|
2022-09-05 22:27:10 +02:00 |
|
Mauricio Collares
|
13d2edaa42
|
sageWithDoc: fix documentation index
|
2022-09-05 12:42:36 -03:00 |
|
R. Ryantm
|
53a4c0bec3
|
gromacs: 2022.2 -> 2022.3
|
2022-09-05 15:04:40 +00:00 |
|
Sandro
|
ef987a9604
|
Merge pull request #189329 from bcdarwin/itk4-removal
|
2022-09-05 16:05:51 +02:00 |
|
Sandro
|
73bf7a0ca0
|
Merge pull request #181954 from bzizou/treemix
|
2022-09-05 15:57:48 +02:00 |
|
Bruno Bzeznik
|
7c09cfdc1a
|
treemix: init at 1.13
|
2022-09-05 06:55:03 +02:00 |
|
Mauricio Collares
|
91311e30b3
|
singular: disable docbuilding on darwin
|
2022-09-04 22:12:22 -03:00 |
|
Mauricio Collares
|
ea79b7ad0c
|
singular: 4.3.1 -> 4.3.1p2
|
2022-09-04 21:42:47 -03:00 |
|
Jonas Heinrich
|
eb3d3b2e90
|
Merge pull request #175449 from bzizou/iqtree
iqtree: init at 2.2.0.4
|
2022-09-04 23:58:04 +02:00 |
|
Jonas Heinrich
|
bb738c5202
|
Merge pull request #179257 from mrbitt/master
Update perseus
|
2022-09-04 23:09:19 +02:00 |
|
Ben Darwin
|
1280129aab
|
EZminc: itk4 -> itk (formally; package is broken)
|
2022-09-04 13:36:24 -04:00 |
|
Ben Darwin
|
961b308fe1
|
ants: 2.2.0 -> 2.4.1
|
2022-09-04 13:36:24 -04:00 |
|
Sandro
|
6b52fe0b72
|
Merge pull request #188855 from risicle/ris-hal-fmt-8.0.1-override
|
2022-09-04 16:30:36 +02:00 |
|
Iztok Fister Jr
|
af482381f6
|
uarmsolver: init at 0.2.4 (#188274)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
|
2022-09-04 14:44:43 +02:00 |
|
Christian Kögler
|
8edb96b411
|
Merge pull request #189426 from kilianar/cadical-1.5.0
cadical: 1.4.1 -> 1.5.0
|
2022-09-04 12:49:36 +02:00 |
|
Jonas Heinrich
|
3b3a01e3f9
|
Merge pull request #188785 from jbedo/last
last: 1406 -> 1409
|
2022-09-04 12:40:30 +02:00 |
|
Sandro
|
8e4ec09365
|
Merge pull request #187023 from panicgh/dataexplorer
|
2022-09-04 12:01:50 +02:00 |
|
Nicolas Benes
|
16013ac6c4
|
dataexplorer: init at 3.6.2
|
2022-09-04 10:53:16 +02:00 |
|
Bobby Rong
|
187f55926c
|
Merge pull request #189430 from r-ryantm/auto-update/cbmc
cbmc: 5.64.0 -> 5.65.0
|
2022-09-04 10:19:33 +08:00 |
|
Justin Bedo
|
d9acf90371
|
last: 1406 -> 1409
|
2022-09-04 10:36:01 +10:00 |
|
Sandro
|
9b214e6dad
|
Merge pull request #177830 from r-ryantm/auto-update/eggnog-mapper
|
2022-09-03 22:43:11 +02:00 |
|
Jörg Thalheim
|
932758095e
|
Merge pull request #189576 from r-ryantm/auto-update/mavproxy
mavproxy: 1.8.52 -> 1.8.55
|
2022-09-03 17:31:01 +01:00 |
|
Jörg Thalheim
|
5c3f9c0213
|
mavproxy: add missing opencv dependency
|
2022-09-03 17:49:42 +02:00 |
|
Robert Scott
|
fd66073cf3
|
Merge pull request #189414 from kilianar/kissat-3.0.0
kissat: 2.0.1 -> 3.0.0
|
2022-09-03 11:53:29 +01:00 |
|
R. Ryantm
|
f5a5ffd59f
|
mavproxy: 1.8.52 -> 1.8.55
|
2022-09-03 10:05:19 +00:00 |
|
Robert Scott
|
3f9b0f53e4
|
Merge pull request #188650 from movingco/add-z3-411
z3: add 4.11
|
2022-09-02 18:24:42 +01:00 |
|
R. Ryantm
|
35657ce4a6
|
cbmc: 5.64.0 -> 5.65.0
|
2022-09-02 10:22:16 +00:00 |
|
kilianar
|
10461fa316
|
cadical: 1.4.1 -> 1.5.0
https://github.com/arminbiere/cadical/releases/tag/rel-1.5.0
|
2022-09-02 11:45:36 +02:00 |
|
kilianar
|
c8546067ce
|
kissat: 2.0.1 -> 3.0.0
https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0
|
2022-09-02 10:24:30 +02:00 |
|
R. Ryantm
|
add9d281ce
|
jmol: 14.32.68 -> 14.32.73
|
2022-09-01 18:57:34 +00:00 |
|
R. Ryantm
|
33c6733a54
|
nvc: 1.7.0 -> 1.7.1
|
2022-09-01 14:56:35 +00:00 |
|
kilianar
|
2b3ec1d37a
|
lean: 3.47.0 -> 3.48.0
https://github.com/leanprover-community/lean/releases/tag/v3.48.0
|
2022-08-31 11:32:21 +02:00 |
|
Robert Scott
|
829e42e59c
|
Merge pull request #188829 from r-ryantm/auto-update/cvc5
cvc5: 1.0.1 -> 1.0.2
|
2022-08-29 21:43:21 +01:00 |
|
Robert Scott
|
29d9c25626
|
hal-hardware-analyzer: use overridden fmt 8.0.1 for spdlog
|
2022-08-29 19:44:19 +01:00 |
|
Jonas Heinrich
|
5d40029409
|
Merge pull request #187556 from r-ryantm/auto-update/streamlit
streamlit: 1.11.1 -> 1.12.2
|
2022-08-29 20:08:23 +02:00 |
|
tpdcl
|
4f39ada71b
|
FAHClient: 7.6.13 -> 7.6.21 (#188476)
This time also in master so it can get in unstable
|
2022-08-29 19:51:58 +02:00 |
|
R. Ryantm
|
616e78d316
|
cvc5: 1.0.1 -> 1.0.2
|
2022-08-29 17:17:59 +00:00 |
|
superherointj
|
2a7368c1a1
|
Merge pull request #188553 from marsam/update-lean
lean: 3.46.0 -> 3.47.0
|
2022-08-28 19:42:11 -03:00 |
|