Christian Kögler
|
a25f0b9bbd
|
Merge pull request #190317 from r-ryantm/auto-update/nanovna-saver
nanovna-saver: 0.4.0 -> 0.5.1
|
2022-09-10 15:58:21 +02:00 |
|
R. Ryantm
|
6e55797c64
|
nanovna-saver: 0.4.0 -> 0.5.1
|
2022-09-10 01:28:51 +00:00 |
|
Sandro
|
65c1313165
|
Merge pull request #189758 from tjni/r-stackprotector
|
2022-09-10 00:41:39 +02:00 |
|
Mario Rodas
|
448df40425
|
Merge pull request #190430 from natsukium/mafft/update
mafft: 7.505 -> 7.508
|
2022-09-09 09:02:08 -05:00 |
|
Jonas Heinrich
|
89da4a3ace
|
Merge pull request #190382 from 4825764518/qalculate-qt-4.3.0
qalculate-qt: 4.2.0 -> 4.3.0
|
2022-09-09 10:45:41 +02:00 |
|
Vincent Laporte
|
a22abdf7c2
|
acgtk: 1.5.2 → 1.5.4
|
2022-09-09 08:53:49 +02:00 |
|
natsukium
|
9e65d09e3d
|
mafft: 7.505 -> 7.508
changed to fetch from new gitlab repository
|
2022-09-09 13:26:38 +09:00 |
|
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
|
4dbacd4930
|
qalculate-qt: 4.2.0 -> 4.3.0
|
2022-09-08 16:16:51 -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 |
|
Theodore Ni
|
093edcbfcb
|
R: reenable stackprotector on aarch64-darwin
The original error that required disabling the stack protector on
aarch64-darwin has been fixed in GCC.
|
2022-09-04 11:33:51 -07: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 |
|