dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
429,195 Commits 3 Branches 0 Tags 4.3 GiB
a72b2fd25a
Commit Graph

6800 Commits

Author SHA1 Message Date
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
Mauricio Collares
4ab37278c5 sage: update test expectations (sympy and ipywidgets upgrades) 2022-09-24 18:48:13 -03:00
wucke13
3eb83269ec inav-configurator: 4.1.0 -> 5.1.0 2022-09-24 19:09:08 +02:00
samlich
ab3f0771a4
pymol: use Qt instead of Tk; fixes #192555 2022-09-23 19:35:44 +00: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
github-actions[bot]
ef833a6fd2
Merge master into staging-next 2022-09-23 12:01:34 +00: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
github-actions[bot]
6ded381b0e
Merge master into staging-next 2022-09-22 00:03:22 +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
Matt Huszagh
a3b780cf97 surelog: update to 1.37 2022-09-21 05:20:32 -07:00
Matt Huszagh
30eca8eb68 uhdm: use tag for version 2022-09-21 05:20:29 -07:00
R. Ryantm
1008651931 last: 1409 -> 1411 2022-09-21 08:24:01 +00:00
github-actions[bot]
7da9ac9ae6
Merge master into staging-next 2022-09-21 00:03:46 +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
Martin Weinelt
5d4267b0f2 Merge remote-tracking branch 'origin/master' into staging-next 2022-09-20 12:25:19 +02: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
Martin Weinelt
f1dcc2356b
Merge pull request #191333 from NixOS/python-updates 2022-09-19 18:23:07 +02:00
Martin Weinelt
c2f03aa6f1
easycrypt-runtest: use other format 2022-09-19 16:05:27 +02: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
Sébastien Maret
8ca353fbac gildas: 20211101_a -> 20220601_a 
This update fixes the build on darwin.
 2022-09-16 15:57:13 +02: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
Gabriel Ebner
38aa976494 elan: 1.4.1 -> 1.4.2 2022-09-13 11:02:26 +02:00
R. Ryantm
4fbc5fa77f nanovna-saver: 0.5.1 -> 0.5.2 2022-09-12 19:15:18 +00:00
Timo Kaufmann
f77ac81009
Merge pull request #190892 from r-ryantm/auto-update/jmol 
jmol: 14.32.73 -> 14.32.74
 2022-09-12 19:26:49 +02:00
R. Ryantm
09bed085c3 clingo: 5.5.2 -> 5.6.0 2022-09-12 11:37:36 +00:00
R. Ryantm
55e1e9a104 jmol: 14.32.73 -> 14.32.74 2022-09-12 07:15:47 +00:00
Sandro
c300be33fd
Merge pull request #186868 from lopsided98/mavproxy-update 2022-09-11 19:21:27 +02:00
Sandro Jäckel
224da23db2 sasview: remove unused input 2022-09-11 16:25:56 +02:00
Sandro
785031e430
Merge pull request #185819 from apraga/gatk-4.2.6.1 2022-09-10 21:31:42 +02:00
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
R. Ryantm
c7832514ef igv: 2.14.0 -> 2.14.1 2022-09-05 22:29:15 +00:00
R. Ryantm
3bced25629 gama: 2.21 -> 2.22 2022-09-05 22:06:20 +00: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
Ben Wolsieffer
073d3c1b77 mavproxy: add lxml dependency 
Also, alphabetize the dependencies.

Add dependencies that are not part of install_requires (apparently due to
some issue with pip and distro packaging). The closure size is increased
somewhat by OpenCV, but this allows all the tools to work correctly.
 2022-09-04 17:30:03 -04: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
Alexis Praga
95da303902 gatk : init at 4.2.6.1 
GATK is the industry standard for genetics analysis, more precisely for
identifying SNPs and indels in germline DNA and RNAseq data .
This package does not ship the Spark version.

Apply suggestions from code review
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2022-09-04 15:34:30 +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
Matt Huszagh
83a3076177 surelog: keep pkg in lib/surelog 2022-09-03 06:47:55 -07:00
Matt Huszagh
9ace7642c0 surelog: exclude darwin 2022-09-03 06:38:50 -07:00
Matt Huszagh
b684303d69 surelog: update version 2022-09-03 06:34:46 -07: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
Lucas Ransan
31161d2fd2
cemu-ti: 1.3 -> unstable-2022-06-29 2022-08-30 10:44:00 +02:00
Nguyễn Gia Phong
45af48e472
klee: use the same LLVM version for clang 
Currently they are the same, but llvmPackages_11 is hardcoded
which is awkward to override.
 2022-08-30 15:08:15 +09: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
Ian Macalinao
c05b66233e
z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
Jonas Heinrich
3e1cc19497
Merge pull request #183690 from r-ryantm/auto-update/openhantek6022 
openhantek6022: 3.2.5 -> 3.3.1
 2022-08-28 14:22:00 +02:00
Jonas Heinrich
c4fd9300ff
Merge pull request #184218 from r-ryantm/auto-update/gwyddion 
gwyddion: 2.60 -> 2.61
 2022-08-28 13:01:46 +02:00
R. Ryantm
e123a3b380 streamlit: 1.11.1 -> 1.12.2 2022-08-27 17:30:12 +00:00
Artturi
79c42aa06c
Merge pull request #186564 from Artturin/crossevalfixes 
Fixes for cross-compilation
 2022-08-27 17:49:00 +03:00
Jonas Heinrich
ed227dc9fb
Merge pull request #168109 from r-ryantm/auto-update/bcftools 
bcftools: 1.15 -> 1.16
 2022-08-27 08:51:34 +02:00
Mario Rodas
40ad284f8f lean: 3.46.0 -> 3.47.0 2022-08-27 04:20:00 +00:00
Theodore Ni
bb1d34d0f1
cvc3: reenable stackprotector on aarch64-darwin 
The original error that required disabling the stack protector on
aarch64-darwin has been fixed in GCC.
 2022-08-25 19:11:45 -07:00
Jonas Heinrich
21ba29f226
Merge pull request #181338 from thyol/diamond 
diamond: 0.8.36 -> 2.0.15
 2022-08-25 15:25:03 +02:00
Jonas Heinrich
a289c54a90
Merge pull request #184365 from r-ryantm/auto-update/marvin 
marvin: 22.8.0 -> 22.13.0
 2022-08-25 10:21:44 +02:00
Sandro
2b87b01423
Merge pull request #187334 from fedeinthemix/wolfram-update 2022-08-24 22:07:00 +02:00
Jonas Heinrich
b8e0c9b652
Merge pull request #183253 from r-ryantm/auto-update/angsd 
angsd: 0.937 -> 0.938
 2022-08-24 10:35:05 +02:00
Jonas Heinrich
c199cfabff
Merge pull request #184694 from r-ryantm/auto-update/SPAdes 
SPAdes: 3.15.4 -> 3.15.5
 2022-08-23 20:21:42 +02:00
K900
05aa6c1026 xyce: fix eval after #187842 2022-08-23 09:43:48 +03:00
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
Matt Huszagh
818b0025e4 surelog: remove pkg from lib output 2022-08-21 16:31:02 -07:00
Matt Huszagh
f2ec2efd26 surelog: move openjdk and python packages to nativebuildinputs 2022-08-21 16:29:19 -07:00
Matt Huszagh
e6364aab98 surelog: add gperftools build input 2022-08-21 16:27:18 -07:00
Matt Huszagh
6626bf243c surelog: run unit tests 2022-08-21 16:25:32 -07: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
R. Ryantm
49f4071f30 eggnog-mapper: 2.1.7 -> 2.1.9 2022-08-21 12:45:21 +00: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
Federico Beffa
c01bc4268a wolfram-engine: 13.0.1 -> 13.1.0 2022-08-18 21:27:29 +02:00
R. Ryantm
98d1f4c35d bcftools: 1.15 -> 1.16 2022-08-18 18:44:42 +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
Artturin
c6568adb00 treewide: makeWrapper buildInputs to nativeBuildInputs 
most found with https://github.com/siraben/nix-lint
 2022-08-16 13:14:19 +03: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
6130491cdf openhantek6022: 3.2.5 -> 3.3.1 2022-08-14 16:16:19 +00: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
R. Ryantm
8b7c09d0e6 delly: 1.0.3 -> 1.1.3 2022-08-05 08:58:15 +00:00
Guillaume Girol
a9cb4fcace
Merge pull request #182348 from muscaln/fritzing-bump 
fritzing: unstable-2021-09-22 -> unstable-2022-07-01
 2022-08-03 22:16:57 +00:00
evils
bd87e0b8ab
kicad: 6.0.6 -> 6.0.7 (#184935) 
and fix handling of the '6.0.7' branch
  not sure how the --heads got in there
 2022-08-03 12:36:35 -04:00
Mustafa Çalışkan
8c3afe0978 fritzing: unstable-2021-09-22 -> unstable-2022-07-01 2022-08-03 16:13:41 +03:00
Ben Siraphob
e05c784516
Merge pull request #184286 from r-ryantm/auto-update/kstars 2022-08-02 20:29:26 -07:00
R. Ryantm
e86aac0222 gprojector: 3.0.3 -> 3.0.4 2022-08-03 02:51:26 +00:00
Sandro
e9984bc607
Merge pull request #182705 from luispedro/no_test_samtools_on_cross_compile 2022-08-02 23:20:38 +02:00
superherointj
5c30c1cbf1
Merge pull request #183064 from bcdarwin/update-mcrl2 
mcrl2: 201707 -> 202206
 2022-08-02 15:50:46 -03:00
Luis Pedro Coelho
5877d8e072 samtools: Fix cross-compilation 
Tests require bgzip which comes from the htslib package.

This did not cause problems prior to
41485e7337 as tests were not run in
cross-compilation.
 2022-08-02 17:52:50 +02:00
Sandro
e76aa82431
Merge pull request #184598 from wegank/treewide-fix-platforms 2022-08-02 15:57:56 +02:00
Sandro
2d087731af
Merge pull request #180507 from wegank/scalp-init 2022-08-02 14:10:21 +02:00
Bobby Rong
673b00dee3
Merge pull request #184166 from r-ryantm/auto-update/gnuastro 
gnuastro: 0.17 -> 0.18
 2022-08-02 19:51:33 +08:00
R. Ryantm
cb9699aa77 siril: 1.0.0 -> 1.0.3 2022-08-02 03:48:56 +00:00
R. Ryantm
921b81745d SPAdes: 3.15.4 -> 3.15.5 2022-08-02 02:26:56 +00:00
Justin Bedő
48a6027d08
Merge pull request #184271 from r-ryantm/auto-update/last 
last: 1268 -> 1406
 2022-08-02 11:09:32 +10:00
ajs124
7207f24c32
Merge pull request #180052 from lopsided98/qgroundcontrol-update 2022-08-01 23:51:06 +02:00
ajs124
ee81907db5
Merge pull request #180029 from TilCreator/fixQgroundcontrolr 2022-08-01 23:43:29 +02:00
Weijia Wang
278086eddb treewide: fix platforms 2022-08-01 18:33:27 +02:00
Guillaume Girol
cff31d3d97
Merge pull request #181762 from sikmir/stellarium 
stellarium: 0.22.1 → 0.22.2, unbreak on darwin
 2022-08-01 14:14:13 +00:00
Jörg Thalheim
e50f15239e
Merge pull request #184188 from r-ryantm/auto-update/getdp 
getdp: 3.4.0 -> 3.5.0
 2022-08-01 08:24:46 +01:00
R. Ryantm
999e37a21a polymake: 4.6 -> 4.7 2022-08-01 06:15:03 +00:00
Dmitry Kalinkin
1e64d9a87c
root: 6.26.04 -> 6.26.06 2022-07-31 19:43:07 -04:00
R. Ryantm
b5e7879cd9 marvin: 22.8.0 -> 22.13.0 2022-07-31 23:09:55 +00:00
R. Ryantm
b2bbba02ba mafft: 7.490 -> 7.505 2022-07-31 20:32:57 +00:00
Robert Scott
33ab71dafb
Merge pull request #184185 from r-ryantm/auto-update/gama 
gama: 2.19 -> 2.21
 2022-07-31 20:26:06 +01:00
Timo Kaufmann
17a362686e
Merge pull request #184261 from r-ryantm/auto-update/jmol 
jmol: 14.32.45 -> 14.32.66
 2022-07-31 21:11:32 +02:00
R. Ryantm
6714562097 kstars: 3.5.9 -> 3.6.0 2022-07-31 17:44:12 +00:00
R. Ryantm
e0a9011556 last: 1268 -> 1406 2022-07-31 16:58:20 +00:00
R. Ryantm
01098c4dbd jmol: 14.32.45 -> 14.32.66 2022-07-31 15:48:05 +00:00
R. Ryantm
a1680d22df jags: 4.3.0 -> 4.3.1 2022-07-31 15:22:12 +00:00
R. Ryantm
4c3caca96d snakemake: 7.9.0 -> 7.12.0 2022-07-31 11:06:29 -04:00
R. Ryantm
0bba0f15dc gwyddion: 2.60 -> 2.61 2022-07-31 13:37:38 +00:00
Weijia Wang
356ac6d6ae scalp: init at unstable-2022-03-15 2022-07-31 13:28:19 +02:00
R. Ryantm
d9d8cf9c5a getdp: 3.4.0 -> 3.5.0 2022-07-31 09:45:24 +00:00
R. Ryantm
a36984e191 gama: 2.19 -> 2.21 2022-07-31 09:39:15 +00:00
R. Ryantm
f64fdd760b gnuastro: 0.17 -> 0.18 2022-07-31 07:53:52 +00:00
R. Ryantm
c37576257b workcraft: 3.3.6 -> 3.3.8 2022-07-31 06:18:04 +00:00
Anderson Torres
3242a9cab4
Merge pull request #183754 from r-ryantm/auto-update/primecount 
primecount: 7.3 -> 7.4
 2022-07-30 16:01:13 -03:00
Anderson Torres
0dced175d7
Merge pull request #183756 from r-ryantm/auto-update/primesieve 
primesieve: 7.9 -> 8.0
 2022-07-30 15:12:23 -03:00
R. Ryantm
799328334d fricas: 1.3.7 -> 1.3.8 2022-07-30 16:58:18 +00:00
R. Ryantm
bd16430883 emuflight-configurator: 0.4.0 -> 0.4.1 2022-07-30 04:44:30 +00:00
Bobby Rong
ac95058e3c
Merge pull request #183276 from r-ryantm/auto-update/cvc5 
cvc5: 1.0.0 -> 1.0.1
 2022-07-30 10:50:46 +08:00
R. Ryantm
344c2740e1 primesieve: 7.9 -> 8.0 2022-07-29 17:22:15 +00:00
R. Ryantm
faa6e41b2a primecount: 7.3 -> 7.4 2022-07-29 17:15:11 +00:00
R. Ryantm
9338d8c9b7 picard-tools: 2.26.11 -> 2.27.4 2022-07-29 16:12:10 +00:00
R. Ryantm
33d34d205c opensmt: 2.3.1 -> 2.4.1 2022-07-29 14:26:39 +00:00
Mauricio Collares
6105375c1e sageWithDoc: remove deprecation patch, add sphinx 5 update patch 2022-07-28 17:29:53 -03:00
R. Ryantm
8ecdb52267 graphia: 3.0 -> 3.1 2022-07-28 13:49:36 +00:00