Jonas Heinrich
563cdec4eb
Merge pull request #193168 from r-ryantm/auto-update/delly
...
delly: 1.1.3 -> 1.1.5
2022-09-28 10:08:58 +02:00
R. Ryantm
f28b6e5468
snakemake: 7.14.1 -> 7.14.2
2022-09-27 19:16:23 -04:00
R. Ryantm
ddf9f1800a
delly: 1.1.3 -> 1.1.5
2022-09-27 11:26:09 +00:00
R. Ryantm
fe2504c61b
snakemake: 7.14.0 -> 7.14.1
2022-09-26 23:13:22 -04:00
Timo Kaufmann
62228ccc67
Merge pull request #192961 from r-ryantm/auto-update/jmol
...
jmol: 14.32.74 -> 14.32.75
2022-09-26 14:33:40 +02:00
Justin Bedő
d21b5ac044
Merge pull request #192211 from r-ryantm/auto-update/last
...
last: 1409 -> 1411
2022-09-26 11:49:30 +10:00
Brad Langhorst
2beb26b45b
seqtk: init at 1.3
...
Co-authored-by: Anderson Torres <torres.anderson.85@protonmail.com>
2022-09-25 19:55:58 -04:00
R. Ryantm
8a60b7fbc4
jmol: 14.32.74 -> 14.32.75
2022-09-25 21:24:47 +00:00
Narazaki, Shuji
031d152c4a
cadical: 1.5.0 -> 1.5.3
2022-09-26 00:00:17 +09:00
Robert Scott
6618c00660
Merge pull request #192512 from tjni/mxnet
...
mxnet: 1.8.0 -> 1.9.1
2022-09-25 11:30:50 +01:00
AndersonTorres
c897c59a4a
pari: remove myself from maintainers
...
Because it is now mostly managed by the Sage team, and I don't want to be in a
team for now.
2022-09-24 23:02:27 -03:00
AndersonTorres
4419927a5c
gp2c: 0.0.12 -> 0.0.13
...
Also, inheriting meta attributes from pari.
2022-09-24 23:02:27 -03:00
Theodore Ni
5ac4f45f72
mxnet: patch to fix build on aarch64-darwin
...
The patches autodetect when the system is x86 and supports SSE.
2022-09-24 17:49:23 -07:00
Theodore Ni
865ce72890
pulseview: remove librevisa dependency
2022-09-23 19:10:54 +02:00
figsoda
61c9d7867b
Merge pull request #192612 from superherointj/broken-cntk
...
cntk: mark broken
2022-09-23 10:18:37 -04:00
figsoda
11ea0525b6
Merge pull request #192618 from superherointj/broken-nasc
...
nasc: mark broken
2022-09-23 10:05:55 -04:00
superherointj
82f2e31ac0
Merge pull request #191887 from evils/kicad-unstable
...
kicad-unstable: 2022-06-21 -> 2022-09-18
2022-09-23 11:04:23 -03:00
superherointj
6be3357a74
nasc: mark broken
2022-09-23 10:33:04 -03:00
superherointj
fb83696690
cntk: mark broken
2022-09-23 10:01:29 -03:00
Theodore Ni
c13952175c
mxnet: 1.8.0 -> 1.9.1
2022-09-22 16:49:40 -07:00
R. Ryantm
7ea88902ae
streamlit: 1.12.2 -> 1.13.0
2022-09-22 21:47:16 +00:00
Nikolay Korotkiy
7f12a08ee1
Merge pull request #192042 from r-ryantm/auto-update/ginac
...
ginac: 1.8.3 -> 1.8.4
2022-09-21 22:13:27 +03:00
R. Ryantm
1008651931
last: 1409 -> 1411
2022-09-21 08:24:01 +00:00
7c6f434c
1b665201f0
Merge pull request #189891 from collares/sage-9.7
...
sage: 9.6 -> 9.7
2022-09-20 22:37:37 +00:00
Jonas Heinrich
5c26920c58
Merge pull request #191896 from r-ryantm/auto-update/mavproxy
...
mavproxy: 1.8.55 -> 1.8.56
2022-09-20 11:39:09 +02:00
R. Ryantm
fcfdc8b58e
ginac: 1.8.3 -> 1.8.4
2022-09-20 08:22:40 +00:00
Mauricio Collares
d36168afa1
sage: 9.6 -> 9.7
2022-09-19 21:34:02 -03:00
R. Ryantm
0a930eb9f6
mavproxy: 1.8.55 -> 1.8.56
2022-09-19 08:53:58 +00:00
Evils
a3336a44f5
kicad-unstable: fix build by enabling EGL
...
wxwidgets (wxGTK?) somehow changed to support EGL by default
2022-09-19 08:29:04 +02:00
Evils
a62cbaddca
kicad-unstable: 2022-06-21 -> 2022-09-18
2022-09-19 08:29:04 +02:00
Anthony Roussel
341029d5cc
sasview: fix build
...
Caused by `asscalar` numpy API removal.
See https://github.com/SasView/sasview/pull/2178
2022-09-18 20:42:33 +02:00
superherointj
2610966118
Merge pull request #191509 from r-ryantm/auto-update/fast-downward
...
fast-downward: 22.06.0 -> 22.06.1
2022-09-18 11:28:25 -03:00
Christian Kögler
12049b4651
Merge pull request #189919 from r-ryantm/auto-update/gama
...
gama: 2.21 -> 2.22
2022-09-18 15:59:34 +02:00
Christian Kögler
e06e88d003
Merge pull request #189923 from r-ryantm/auto-update/igv
...
igv: 2.14.0 -> 2.14.1
2022-09-18 15:59:16 +02:00
Vincent Laporte
af34e3be8c
ocamlPackages.cmdliner: default to 1.1
...
ocamlPackages.alcotest: 1.5.0 → 1.6.0
ocamlPackages.crowbar: 0.2 → 0.2.1
ocamlPackages.dune-release: 1.5.1 → 1.6.2
ocamlPackages.functoria: 3.1.1 → 4.2.0
ocamlPackages.mirage: 3.10.7 → 4.2.0
ocamlPackages.irmin-pack: disable checks
ocamlPackages.mdx: disable checks
ocamlPackages.git-unix: mark as broken
2022-09-18 15:03:10 +02:00
Guanpeng Xu
34b08c6c34
mathematica: 13.0.1 -> 13.1.0
2022-09-18 08:33:27 +02:00
Christian Kögler
31da214833
Merge pull request #191483 from vbgl/why3-1.5.1
...
why3: 1.5.0 → 1.5.1
2022-09-17 23:18:46 +02:00
7c6f434c
18a6fd410d
Merge pull request #191611 from r-ryantm/auto-update/clingo
...
clingo: 5.6.0 -> 5.6.1
2022-09-17 16:32:38 +00:00
R. Ryantm
5538b8f0cc
nanovna-saver: 0.5.2 -> 0.5.3
2022-09-17 17:19:47 +08:00
R. Ryantm
9cb166091c
clingo: 5.6.0 -> 5.6.1
2022-09-17 05:32:12 +00:00
R. Ryantm
288127f747
fast-downward: 22.06.0 -> 22.06.1
2022-09-16 15:08:28 +00:00
Vincent Laporte
cccc3b53f4
why3: 1.5.0 → 1.5.1
2022-09-16 13:29:18 +02:00
Jonas Heinrich
15055cd7f8
Merge pull request #191403 from r-ryantm/auto-update/messer-slim
...
messer-slim: 4.0 -> 4.0.1
2022-09-16 11:33:24 +02:00
Sandro
cba7f9e9ed
Merge pull request #189206 from wegank/scilab-bin-darwin
2022-09-16 10:59:26 +02:00
Weijia Wang
34456529c9
scilab-bin: add darwin support
2022-09-16 10:20:22 +02:00
R. Ryantm
9da745bfaf
messer-slim: 4.0 -> 4.0.1
2022-09-15 22:25:51 +00:00
Bouke van der Bijl
079dc8c3a9
why3: use why3.version in withProvers
...
I was getting an error that 'name' was not defined, which was being
caused by pname being passed in without a version.
Using the version of the why3 package resolves this.
2022-09-15 13:51:50 +02:00
K900
42dc5a7269
Merge pull request #188924 from McSinyx/klee-llvm
...
klee: use the same LLVM version for clang
2022-09-15 10:36:25 +03:00
R. Ryantm
101fa50263
cbmc: 5.65.0 -> 5.65.1
2022-09-14 22:04:14 +08:00
7c6f434c
1cea3c2362
Merge pull request #190919 from r-ryantm/auto-update/clingo
...
clingo: 5.5.2 -> 5.6.0
2022-09-13 18:04:50 +00:00
