2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 04:03:56 +00:00
Commit Graph

5801 Commits

Author SHA1 Message Date
Rasmus Thomsen
87c1d9f92c
bada-bib: 0.4.1 -> 0.5.1 2022-02-21 16:33:50 +01:00
Wanja Zaeske
58d5eb70e2 mission-planner: 1.3.74 -> 1.3.76 2022-02-21 09:51:16 +01:00
R. Ryantm
c35aa0a0f3 cwltool: 3.1.20220217190813 -> 3.1.20220217222804 2022-02-21 01:31:33 -05:00
markuskowa
48ab0d0233
Merge pull request from qbg/submit/mathematica-13.0.1
mathematica: 13.0.0 -> 13.0.1
2022-02-20 10:23:22 +01:00
R. RyanTM
286ecff9e0
getdp: 3.3.0 -> 3.4.0
()
2022-02-19 22:41:33 +01:00
Mario Rodas
94723d21f9
Merge pull request from r-ryantm/auto-update/marvin
marvin: 21.20.0 -> 22.3.0
2022-02-19 15:59:08 -05:00
qbg
f4f52d9d70 mathematica: 13.0.0 -> 13.0.1
https://wolfram.com/mathematica/quick-revision-history.html#v130
2022-02-19 11:26:53 -06:00
Millian Poquet
bc2604732e simgrid: mark as broken on darwin 2022-02-19 10:05:17 +01:00
Millian Poquet
3f804f68bc simgrid: 3.28 -> 3.30 + python + clean
- use latest SimGrid release
- enable the python binding (in new output "python")
- reviews from PR 141040 have been applied
2022-02-19 10:05:12 +01:00
Ulrik Strid
4150bf02b5 coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-18 15:17:04 +01:00
Mario Rodas
947c98310c
Merge pull request from collares/lean-3.39.2
lean: 3.39.1 -> 3.39.2
2022-02-18 06:26:51 -05:00
R. Ryantm
b715fcd9d9 cwltool: 3.1.20220210171524 -> 3.1.20220217190813 2022-02-18 00:36:37 -05:00
Mauricio Collares
0c36a9cc35 lean: 3.39.1 -> 3.39.2 2022-02-17 23:42:05 -03:00
R. RyanTM
94f61e4c82
SPAdes: 3.15.3 -> 3.15.4
()
2022-02-18 00:55:34 +01:00
R. RyanTM
ac1c96ecec
colmap: 3.6 -> 3.7
* colmap: 3.6 -> 3.7 ()

* colmap: license is BSD-3-Clause

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
2022-02-18 00:29:14 +01:00
Ben Wolsieffer
1382f006a9
qgroundcontrol: 4.1.4 -> 4.2.0
* qgroundcontrol: 4.1.4 -> 4.2.0 ()

QGroundControl now tries to download a prebuilt x86_64 .deb package for
the Airmap SDK, so we have to disable this feature. Previously, it was
disabled by default. I guess they were trying to make things easier for
users, but it seems pretty half-baked.

* qgroundcontrol: update homepage

The domain seems to have changed from .org to .com.
2022-02-18 00:09:39 +01:00
Daniel Wheeler
4befe7a89f
snakemake: 6.10.0 -> 6.15.5 ()
Fetch from GitHub rather than PyPI so tests are included.
2022-02-17 18:06:23 -05:00
ajs124
80160499bc
Merge pull request from helsinki-systems/tetgen
tetgen: also install library and headers
2022-02-17 01:57:18 +01:00
Scriptkiddi
c8fb08b1e4 tetgen: also install library and headers 2022-02-17 01:37:28 +01:00
R. Ryantm
581628a7f4 qalculate-gtk: 3.22.0 -> 4.0.0 2022-02-16 19:33:07 +00:00
Florent C
762faa21a2 tlaps: 1.4.3 -> 1.4.5
This updates tlaps to the most recent stable version and fixes the
template for the url from which the sources are fetched. Previously, the
tarball was fetched from the "current" remote directory from which old
versions are eventually removed. The package was therefore broken.
It also adds myself (florentc) as a maintainer.
2022-02-16 15:19:51 +01:00
Artturi
83dc7a2714
Merge pull request from r-ryantm/auto-update/tlaplus 2022-02-16 15:53:15 +02:00
Mauricio Collares
b38b641ff3 sageWithDoc: fix Sphinx warnings which break docgen 2022-02-15 22:37:34 -03:00
Ben Siraphob
521cfab34b
Merge pull request from siraben/formula-init 2022-02-15 18:38:41 -06:00
Sandro
5c5a8df724
Merge pull request from azuwis/transfig 2022-02-16 00:49:28 +01:00
7c6f434c
16fe911917
Merge pull request from r-ryantm/auto-update/jmol
jmol: 14.32.6 -> 14.32.21
2022-02-15 21:39:00 +00:00
Kevin Cox
4e883afc5a
Merge pull request from lorenzleutgeb/gradle
gradle: 7.3.3 -> 7.4
2022-02-15 15:26:18 -05:00
Ben Siraphob
7f94906083
formula: init at 2.0 2022-02-15 14:09:16 -06:00
Lorenz Leutgeb
f7e01145af gradle: Update hashes of dependents for 7.4 2022-02-15 09:17:56 +01:00
Zhong Jianxin
507b23f0d1 chemtool: Set platforms to linux 2022-02-15 10:49:51 +08:00
R. Ryantm
099fefbceb jmol: 14.32.6 -> 14.32.21 2022-02-15 02:42:04 +00:00
Zhong Jianxin
e8f3914985 treewide: Replace transfig with fig2dev
Reasons:

- transfig never get upstream update since it was added to nixpkgs 2006,
  according to [fig2dev Debian changelog][1], upstream maintainership
  was taken over at 2016, and renamed to fig2dev.

- [Debian][2], [ArchLinux][3], [HomeBrew][4] all use fig2dev to replace
  transfig.

- transfig builds [failed][5] on aarch64-darwin, fig2dev builds fine.

- One less package to maintain.

[1]: https://salsa.debian.org/debian/fig2dev/-/blob/debian/1%253.2.6_beta-1/debian/changelog
[2]: https://packages.debian.org/bullseye/transfig
[3]: https://archlinux.org/packages/community/x86_64/fig2dev/
[4]: https://formulae.brew.sh/formula/fig2dev
[5]: https://hydra.nixos.org/build/163404782/nixlog/2
2022-02-15 10:13:56 +08:00
7c6f434c
a6a1e14e52
Merge pull request from r-ryantm/auto-update/polymake
polymake: 4.5 -> 4.6
2022-02-14 20:52:03 +00:00
7c6f434c
117fdae4b6
Merge pull request from collares/sage-ipython-8
sage: don't test for Cython source code in tracebacks (temporarily)
2022-02-14 17:18:21 +00:00
Jan van Brügge
75f5b1f5b2
isabelle: Rebuild isabelle_setup.jar
This jar contained a call to /usr/bin/env bash which was causing an
error during the build of the HOL session (which could be ignored) and
caused other errors during the development of https://github.com/NixOS/nixpkgs/pull/157515
 (which could not be ignored). This commit patches the java sources to
 call `bash` directly and rebuild the jar.
2022-02-14 15:17:58 +01:00
Bobby Rong
8617a5a336
Merge pull request from r-ryantm/auto-update/openhantek6022
openhantek6022: 3.2.4 -> 3.2.5
2022-02-14 19:58:50 +08:00
R. Ryantm
e1f6e33d01 workcraft: 3.3.5 -> 3.3.6 2022-02-14 09:43:01 +00:00
R. Ryantm
240262f564 messer-slim: 3.7 -> 3.7.1 2022-02-14 00:46:29 +00:00
markuskowa
e7a2652f31
Merge pull request from r-ryantm/auto-update/gmsh
gmsh: 4.9.2 -> 4.9.4
2022-02-13 11:48:17 +01:00
R. Ryantm
42d5cbb78e tlaplus: 1.7.1 -> 1.7.2 2022-02-13 10:33:51 +00:00
R. Ryantm
2220d35562 bada-bib: 0.3.0 -> 0.4.1 2022-02-12 22:22:46 -08:00
R. Ryantm
24b505484b cytoscape: 3.9.0 -> 3.9.1 2022-02-12 21:13:11 -08:00
R. Ryantm
ac4ec1ef75 gretl: 2021d -> 2022a 2022-02-12 21:08:09 -08:00
R. Ryantm
154d72f526 ginac: 1.8.1 -> 1.8.2 2022-02-12 20:56:29 -08:00
R. Ryantm
36800803c5 gama: 2.16 -> 2.17 2022-02-12 20:54:56 -08:00
R. Ryantm
0948b62a1f polymake: 4.5 -> 4.6 2022-02-13 04:50:20 +00:00
R. Ryantm
aa982c28cf kstars: 3.5.6 -> 3.5.7 2022-02-12 20:32:52 -08:00
Justin Bedő
2759d6f8d8
Merge pull request from r-ryantm/auto-update/picard-tools
picard-tools: 2.26.9 -> 2.26.10
2022-02-13 09:53:20 +11:00
Justin Bedő
7ff9c00c4b
Merge pull request from r-ryantm/auto-update/mosdepth
mosdepth: 0.3.2 -> 0.3.3
2022-02-13 09:27:54 +11:00
Justin Bedő
28f5937aeb
Merge pull request from r-ryantm/auto-update/last
last: 1256 -> 1260
2022-02-13 09:25:49 +11:00
R. Ryantm
8a4946df2d picard-tools: 2.26.9 -> 2.26.10 2022-02-12 22:20:29 +00:00
R. Ryantm
80175b54cc openhantek6022: 3.2.4 -> 3.2.5 2022-02-12 20:37:00 +00:00
Robert Scott
83ea8999d4 gmsh: enable tests 2022-02-12 16:15:57 +00:00
Robert Scott
61dc066799 gmsh: enable for darwin 2022-02-12 16:13:53 +00:00
R. Ryantm
8bb7bc766f mosdepth: 0.3.2 -> 0.3.3 2022-02-12 14:31:47 +00:00
Mario Rodas
0ff383436d
Merge pull request from r-ryantm/auto-update/bcal
bcal: 2.3 -> 2.4
2022-02-12 08:39:47 -05:00
R. Ryantm
983beb2b8b marvin: 21.20.0 -> 22.3.0 2022-02-12 12:52:40 +00:00
7c6f434c
bff729efd3
Merge pull request from collares/R-stackprotector
R: disable stack protector on aarch64-darwin
2022-02-12 11:32:56 +00:00
Kim Lindberger
c7df3bf58c
Merge pull request from fedeinthemix/add-xyce-2
Add Xyce 7.4 (second attempt)
2022-02-12 11:34:10 +01:00
Federico Beffa
10b7f30936 xyce,xyce-parallel: init at 7.4
Co-authored-by: Sandro <sandro.jaeckel@gmail.com> and
                Kim Lindberger <kim.lindberger@gmail.com>
2022-02-12 10:26:05 +01:00
R. Ryantm
6ca5bb6e20 last: 1256 -> 1260 2022-02-12 02:52:18 +00:00
Mauricio Collares
c763432549 sage: don't test for Cython source code in tracebacks (temporarily) 2022-02-11 19:13:34 -03:00
R. Ryantm
772c6b674c gmsh: 4.9.2 -> 4.9.4 2022-02-11 18:31:28 +00:00
R. Ryantm
1631ffae8d cwltool: 3.1.20220204090313 -> 3.1.20220210171524 2022-02-11 12:44:06 -05:00
evils
bb8a321187
kicad: 6.0.1 -> 6.0.2 () 2022-02-11 01:15:42 -05:00
Angus Trau
18592865d7 maintainers: update emilytrau 2022-02-11 04:45:03 +00:00
7c6f434c
06ff90f540
Merge pull request from collares/arb-2.22.1
arb: 2.21.1 -> 2.22.1
2022-02-10 23:56:18 +00:00
R. RyanTM
b6869047c5
lepton-eda: 1.9.16-20210731 -> 1.9.17-20211219
()
2022-02-10 21:43:31 +01:00
R. Ryantm
288ba3f85b scilab-bin: 6.0.2 -> 6.1.1 2022-02-10 11:56:08 -08:00
Mauricio Collares
b8c69782a2 sage: adapt tests to arb 2.22 2022-02-10 16:40:41 -03:00
R. Ryantm
fa133a26f3 rofi-calc: 2.0.0 -> 2.1.0 2022-02-10 11:32:09 -08:00
R. Ryantm
172ba8b474 bcal: 2.3 -> 2.4 2022-02-10 19:05:57 +00:00
Mauricio Collares
4536186f18 R: disable stack protector on aarch64-darwin 2022-02-10 14:01:08 -03:00
Mauricio Collares
58f58c8de6 lean: 3.39.0 -> 3.39.1 2022-02-08 12:24:19 -03:00
Ben Siraphob
3594565a7e
Merge pull request from siraben/coq-mainprogram
coq: add meta.mainProgram
2022-02-06 21:43:01 +00:00
Ben Siraphob
6ad0e10dd3
coq: add meta.mainProgram 2022-02-06 15:42:47 -06:00
Ben Siraphob
33489310eb
Merge pull request from c0bw3b/fix/homepages
A batch of homepage (and source) updates
2022-02-06 20:02:50 +00:00
Renaud
2ddcc2b369 hisat2: update homepage
and use SPDX 3.0 license identifier
2022-02-06 15:10:53 +01:00
Renaud
d968838c90 gravit: update homepage and source URLs
and use SPDX 3.0 license identifier
2022-02-06 15:10:47 +01:00
Renaud
3e5d286cc4 eagle7: update homepage
www.cadsoftusa.com and www.cadsoft.de are gone
2022-02-06 15:10:29 +01:00
R. RyanTM
1bfc1730e1
cwltool: 3.1.20220202173120 -> 3.1.20220204090313 () 2022-02-05 15:14:21 -05:00
Sandro
63a6539b76
Merge pull request from afontaine/afontaine/correct-fah-shortcuts 2022-02-04 18:26:20 +01:00
R. Ryantm
af3af2df32 cwltool: 3.1.20220124184855 -> 3.1.20220202173120 2022-02-03 20:06:12 -05:00
Timo Kaufmann
0371c7ba56
Merge pull request from collares/sage-fonttools-revert
sage: no longer assume fonttools emits deprecation warnings
2022-02-03 18:03:39 +01:00
Artturi
0f491bd7a3
Merge pull request from FliegendeWurst/disable-broken-parallel 2022-02-03 16:04:57 +02:00
Mauricio Collares
0ebdfab88b lean: 3.38.0 -> 3.39.0 2022-02-03 09:21:20 -03:00
Mauricio Collares
778b1f8b4f sage: no longer assume fonttools emits deprecation warnings 2022-02-03 08:28:22 -03:00
Bobby Rong
46a4949078
Merge pull request from r-ryantm/auto-update/vowpal-wabbit
vowpal-wabbit: 8.11.0 -> 9.0.1
2022-02-03 17:28:02 +08:00
R. Ryantm
6d957f73ab vowpal-wabbit: 8.11.0 -> 9.0.1 2022-02-03 02:08:33 +00:00
Сухарик
3f90b3a1e1 anders: init at 1.1.1 2022-02-02 12:31:53 +03:00
markuskowa
65bc2de0ef
Merge pull request from Cogitri/bada-bib
bada-bib: init at 0.3.0
2022-02-01 22:26:26 +01:00
Martin Weinelt
778d148959
Merge pull request from piegamesde/gnome 2022-02-01 20:53:10 +01:00
Bruno Bzeznik
77682cf879
shtns: init at 3.5.1 () 2022-01-31 21:28:05 +01:00
R. Ryantm
d44e044d84 kallisto: 0.46.2 -> 0.48.0 2022-01-31 09:53:54 -08:00
Bruno Bzeznik
b6fa4975cf
repseek: init at 9Sep2014 ()
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-01-31 14:59:32 +01:00
7c6f434c
9b76122d71
Merge pull request from collares/sage-9.5
sage: 9.4 -> 9.5
2022-01-31 13:24:26 +00:00
Robert Schütz
a13fe11c59 sasview: 4.2.0 -> 5.0.4 2022-01-30 20:47:10 +00:00
Mauricio Collares
8ec9a32829 sageWithDoc: do not autodetect optional features when testing dochtml 2022-01-30 13:15:22 -03:00
Mauricio Collares
cecbb55fb0 sage: 9.4 -> 9.5 2022-01-30 13:15:20 -03:00
Sandro
a724f8dc29
Merge pull request from FliegendeWurst/key-2.10 2022-01-30 01:21:43 +01:00
piegames
9a2a3d0395 gfm: drop
It does not appear to have an attribute that references it anymore?
(Not sure though, that name's hard to grep for)
2022-01-29 18:09:16 +01:00
piegames
5ffbf9ed81 tilp2: drop
While tilp2's libglade dependency is optional, it still has a hard dependency
on it via gfm
2022-01-29 18:08:52 +01:00
markuskowa
01f1b41a7d
Merge pull request from r-ryantm/auto-update/bowtie2
bowtie2: 2.4.4 -> 2.4.5
2022-01-29 14:56:23 +01:00
FliegendeWurst
a43431f376 alliance: disable parallel build 2022-01-29 11:40:09 +01:00
FliegendeWurst
48a133a066 key: add a desktop item 2022-01-29 10:14:54 +01:00
Vegard Strand Lende
41f927b433
verilator: 4.210 -> 4.218 ()
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-01-29 02:30:41 +01:00
Andrew Fontaine
3c0680b783
fahviewer: fix variable substitution for shortcut
Because single quotes are used in the sed command, the application
shortcut had the literal $out instead of the package path.
2022-01-28 16:47:24 -05:00
Andrew Fontaine
ba785adb28
fahcontrol: fix variable substitution for shortcut
Because single quotes are used in the sed command, the application
shortcut had the literal $out instead of the package path.
2022-01-28 16:46:52 -05:00
Yipeng Sun
54cbee8d97
root: tweak wrapping flags for auxiliary programs, avoid forcing CMAKE_CXX_STANDARD () 2022-01-27 19:37:36 -05:00
Sandro
27cccd4e49
Merge pull request from Stunkymonkey/doc-updateWalker 2022-01-27 14:06:36 +01:00
ajs124
3638ca8be6
Merge pull request from helsinki-systems/upd/tulip
tulip: 5.2.1 -> 5.6.1
2022-01-26 23:33:44 +01:00
Felix Buehler
09e3b7a570 treewide: remove all updateWalker/downloadURLRegexp 2022-01-26 21:46:08 +01:00
Felix Buehler
ed7bf9452c treewide: remove *.upstream files from updateWalker 2022-01-26 21:46:07 +01:00
Gabriel Ebner
b27b115b41
Merge pull request from jvanbruegge/isabelle-build-hol
isabelle: Prebuild HOL session
2022-01-26 16:37:18 +01:00
Dmitry Kalinkin
f66b63a7cb
Merge pull request from smancill/shogun-fixes
Shogun: use Python 3 and fix CMake targets
2022-01-26 04:25:27 -05:00
R. Ryantm
6b3bf39220 cwltool: 3.1.20220119140128 -> 3.1.20220124184855 2022-01-25 21:56:09 -05:00
Vincent Laporte
8187f6500d tamarin-prover: install emacs-mode 2022-01-25 15:54:15 +01:00
Vincent Laporte
20e7213d16 coq_8_15: 8.15+rc1 → 8.15.0 2022-01-25 10:53:57 +01:00
Mauricio Collares
0aef6270cd sage: generate setup.cfg and requirements.txt for sagelib 2022-01-24 20:54:53 -03:00
Mauricio Collares
0a6b5115f6 singular: 4.2.0p2 -> 4.3.0 2022-01-24 20:54:53 -03:00
R. RyanTM
8bd7d6d6e0
star: 2.7.9a -> 2.7.10a
()
2022-01-24 19:51:44 +01:00
R. Ryantm
ebb9e86bf9 bowtie2: 2.4.4 -> 2.4.5 2022-01-23 22:45:59 +00:00
Mario Rodas
111d7dc831
Merge pull request from r-ryantm/auto-update/deeptools
deeptools: 3.5.0 -> 3.5.1
2022-01-22 23:45:09 -05:00
Justin Bedő
c24af4642c
sambamba: 0.8.1 -> 0.8.2 ()
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-01-23 04:51:46 +01:00
Alexandra
7267839e76
gprojector: init at 3.0.2 () 2022-01-23 04:04:10 +01:00
Sebastián Mancilla
c03c5c1500 shogun: fix CMake targets
CMake uses the directory of the configuration files to calculate
the path to the installed library and headers. But now that shogun uses
multiple outputs, this results in the $dev output being used for the
location of the shared library instead of $out.

Path the targets file to use the right location for the shared library.
2022-01-22 18:41:49 -03:00
Sebastián Mancilla
aaea9844c6 shogun: use Python 3 as build dependency
Also default pythonSupport to false because it's broken for Python 3.

In any case the Python interface has been disabled for almost 2 years
now because the wrong CMake flag was being passed, so the build stays
the same.

But do use the proper flag now.
2022-01-22 18:36:06 -03:00
FliegendeWurst
28b43ffd54 key: 2.6.3 -> 2.10.0 2022-01-22 15:55:25 +01:00
R. Ryantm
f888e66ad4 cwltool: 3.1.20211107152837 -> 3.1.20220119140128 2022-01-21 09:09:34 -05:00
R. Ryantm
227011af59 deeptools: 3.5.0 -> 3.5.1 2022-01-21 05:36:24 +00:00
ajs124
479ca09609 tulip: 5.2.1 -> 5.6.1 2022-01-21 03:45:21 +01:00
markuskowa
1c0f3cd8df
Merge pull request from markuskowa/fix-molden-url
molden: fix download URL
2022-01-20 16:55:51 +01:00
Markus Kowalewski
bb6bc8b315
molden: fix download URL 2022-01-20 15:47:46 +01:00
R. Ryantm
84930221fc sherpa: 2.2.11 -> 2.2.12 2022-01-20 08:36:02 -05:00
Armeen Mahdian
2d207146ee
mathematica: Refactor install process with autoPatchelfHook ()
- Call appropriate hooks at beginning/end of each phase

  - No longer assume current working dir in installPhase

  - Add support for udev rules installation (required for VernierLink)

  - Use -verbose with MathInstaller for detailed progress

  - Use patchShebangs or MathInstaller

  - Remove broken hostname call, root user check, and Avahi daemon
    check in MathInstaller

  - Add proper error checking after MathInstaller call

  - Skip configure phase

  - Create wrappers for relevant executables

  - Set $HOME to $TMPDIR/home temporarily so MathInstaller
    succeeds

  - Replace dd with tail for simplicity and performance
2022-01-19 12:35:38 -05:00
Jan van Brügge
d653b33f20
maintainers: add jvanbruegge 2022-01-19 18:25:27 +01:00
Jan van Brügge
6fff929c5e
isabelle: Prebuild HOL session
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
2022-01-19 18:25:26 +01:00
evils
ba7c4fa91d
kicad: enable i18n by default ()
without i18n
/nix/store/xgs0n52djlqqmw6qlvg6j2jxpzdpsi92-kicad-6.0.1   7269408096
/nix/store/k7ra3zkx6mp0b3ivsf0ba14mbinwws0w-kicad-unstable-33a4c9b08e   7277796352
with i18n
/nix/store/2xh82r2znqipky0sny49h9cs5fbhmh4v-kicad-6.0.1   7286672288
/nix/store/532r1f3j8xjki8g87400n0gnd594pcbm-kicad-unstable-33a4c9b08e   7294795424
2022-01-18 13:06:30 -05:00
Markus Kowalewski
17d0b66cf6
gromacs: 2021.4 -> 2021.5 2022-01-17 15:50:31 +01:00
Bobby Rong
9b59effb02
Merge pull request from collares/lean-3.38
lean: 3.37.0 -> 3.38.0
2022-01-17 21:40:56 +08:00
Frederik Rietdijk
afef6d0e81
Merge pull request from dotlambda/python-alias
python,pythonPackages: make aliases
2022-01-17 09:37:49 +01:00
R. RyanTM
4fa7c297f2
minimap2: 2.23 -> 2.24
* minimap2: 2.23 -> 2.24 ()

* minimap2: no support for aarch64

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
2022-01-17 08:49:35 +01:00
Robert Schütz
d5cceedbd1 python,pythonPackages: make aliases
Since aliases are disallowed in nixpkgs, this makes usage of Python 2
which is EOL more explicit.
2022-01-16 18:39:59 +00:00
Robert Schütz
65e959eb9a tebreak: also use python3 for tests 2022-01-16 18:00:59 +00:00
Martin Weinelt
492e5e07c9
lumpy: drop
Removed because it requires python2 and the upstream repository looks
undermaintained.
2022-01-16 02:36:23 +01:00
R. RyanTM
1e4664e1a0
betaflight-configurator: 10.7.1 -> 10.7.2
()
2022-01-15 23:12:31 +01:00
R. RyanTM
0c7342b6e7
horizon-eda: 2.1.0 -> 2.2.0
()
2022-01-15 22:09:09 +01:00
pennae
59505f5c08
Merge pull request from r-ryantm/auto-update/calc
calc: 2.14.0.13 -> 2.14.0.14
2022-01-15 10:32:41 +00:00
Bobby Rong
cb3da55ede
Merge pull request from veprbl/pr/broken_gplates
gplates: mark as broken on darwin
2022-01-15 13:24:14 +08:00
Bobby Rong
a6ed245599
Merge pull request from veprbl/pr/broken_graphia
graphia: mark as broken on darwin
2022-01-15 13:23:31 +08:00
Fabian Affolter
49574fc9d5
Merge pull request from fabaff/fix-toil
toil: 5.4.0 -> 5.6.0
2022-01-14 21:16:45 +01:00
Dmitry Kalinkin
2b9f8eb0a2
graphia: mark as broken on darwin 2022-01-14 03:38:54 -05:00
Dmitry Kalinkin
69d78f174a
gplates: mark as broken on darwin 2022-01-14 03:33:15 -05:00
Shamrock Lee
cc5ffb3de4 root: Explicit specify -Dtmva=ON 2022-01-14 14:19:33 +08:00
Shamrock Lee
336cc50b1f root: add openblas and lapack into buildInputs for TMVA 2022-01-14 14:15:22 +08:00
Dmitry Kalinkin
bc59ba15b6
Merge pull request from evils/kicad-6.0.1
kicad: 6.0.0 -> 6.0.1
2022-01-13 22:17:24 -05:00
Evils
1d81731642 kicad: 6.0.0 -> 6.0.1 2022-01-14 02:44:34 +01:00
Evils
d98b76cf5b kicad-unstable: 2021-12-23 -> 2022-01-13
PCM is no longer optional
  removed in 211820a689a618ac5bcbea19a8c58d345ce25ddb

-unknown suffix is back
  3e373da8c25048205dfa2278079555a522fd2e62
2022-01-14 02:44:12 +01:00
Fabian Affolter
32003c3051 toil: 5.4.0 -> 5.6.0 2022-01-13 21:37:08 +01:00
Fabian Affolter
480999d914
Merge pull request from fabaff/bump-cwltool
cwltool: 3.1.20211104071347 -> 3.1.20211107152837
2022-01-13 00:25:01 +01:00
R. RyanTM
cf340a9dae
finalfusion-utils: 0.13.2 -> 0.14.1
()
2022-01-12 23:42:03 +01:00
Mauricio Collares
c3b215f678 lean: 3.37.0 -> 3.38.0 2022-01-12 16:25:20 -03:00
Fabian Affolter
1a549598b4 cwltool: 3.1.20211104071347 -> 3.1.20211107152837 2022-01-12 18:00:43 +01:00
1000teslas
a4b6785de9 isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00
R. Ryantm
a389c191b4 calc: 2.14.0.13 -> 2.14.0.14 2022-01-11 02:54:44 +00:00
1000teslas
d9d30199ec isabelle: patch zipperposition binary 2022-01-11 11:55:38 +11:00
Phillip Seeber
afdfec504f cp2k: 8.2.0 -> 9.1.0 2022-01-10 13:54:46 +01:00
Bernardo Meurer
95be2a7068
Merge pull request from NickCao/astrolog
astrolog: fix cross compilation
2022-01-09 18:05:11 +00:00
Fabian Affolter
8aea087b19
Merge pull request from fabaff/bump-nextinspace
nextinspace: 1.0.6 -> 2.0.3
2022-01-09 18:57:30 +01:00
Nick Cao
bc547213eb
astrolog: fix cross compilation 2022-01-09 09:22:51 +08:00
Fabian Affolter
b9c6bff4f0 nextinspace: 1.0.6 -> 2.0.3 2022-01-09 01:17:23 +01:00
Renaud
3e90bc0c91
Merge pull request from numinit/add-klee
klee: init at 2.2
2022-01-09 00:16:19 +01:00
Morgan Jones
5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00
R. RyanTM
c5e9e73029
gmsh: 4.9.0 -> 4.9.2
* gmsh: 4.9.0 -> 4.9.2 ()

* gmsh: use https

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
2022-01-08 01:18:15 +01:00
Mauricio Collares
81d4c28748 lean: 3.36.0 -> 3.37.0 2022-01-07 16:51:55 -03:00
Lassulus
27ff8d72f5
Merge pull request from kmein/feature/astrolog
astrolog: switches for using optional ephemeris/atlas files
2022-01-04 23:10:50 +01:00
Mauricio Collares
b790f8ce31 lean: 3.35.1 -> 3.36.0 2022-01-04 10:35:17 -03:00
Gabriel Ebner
adf7f03d3b
Merge pull request from collares/lean-3.35.1
lean: 3.35.0 -> 3.35.1
2022-01-03 16:40:00 +01:00
Mauricio Collares
5b3eac3130 lean: 3.35.0 -> 3.35.1 2022-01-03 11:42:18 -03:00
markuskowa
09819d7eff
Merge pull request from r-ryantm/auto-update/messer-slim
messer-slim: 3.6 -> 3.7
2022-01-03 10:50:18 +01:00
Gabriel Ebner
7fb27d1c22
Merge pull request from jvanbruegge/isabelle-vampire
isabelle: Use vampire and eprover from nixpkgs
2022-01-02 22:56:09 +01:00
Jan van Brügge
c601134af8
isabelle: Use vampire and eprover from nixpkgs
It also removes the unused perl input
2022-01-02 20:53:33 +01:00
Jan van Brügge
f79b811f2d
eprover: Add option to enable LFHOL reasoning
Using eprover as automated theorem prover for sledgehammer requires this
option.
2022-01-02 20:53:32 +01:00
Sergei Trofimovich
369d7bb4ca z3: 4.8.12 -> 4.8.14
While at it added trivial updater plumbing.
2022-01-02 12:45:59 -06:00
R. RyanTM
e4992cdd65
stacks: 2.59 -> 2.60
()
2022-01-02 19:23:58 +01:00
R. RyanTM
0bf7411211
libpoly: 0.1.10 -> 0.1.11
* libpoly: 0.1.10 -> 0.1.11 ()

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
2022-01-02 17:38:00 +01:00
R. RyanTM
caa56925f9
yices: 2.6.2 -> 2.6.4
()
2022-01-02 10:15:42 +01:00
Martin Weinelt
b8149a7f04
Merge pull request from dotlambda/python2-remove 2022-01-02 01:33:57 +01:00
Jan van Brügge
b54e5a841b
vampire: 4.5.1 -> 4.6.1 2022-01-01 22:13:11 +01:00
Sandro
d8028c8e06
Merge pull request from TilCreator/package-inav-configurator 2022-01-01 14:05:44 +01:00
Gabriel Ebner
edac0bea9d
Merge pull request from jvanbruegge/isabelle-2021-1
isabelle: 2021 -> 2021-1
2022-01-01 14:00:57 +01:00
Bobby Rong
13e59225f7
Merge pull request from r-ryantm/auto-update/finalfusion-utils
finalfusion-utils: 0.13.0 -> 0.13.2
2022-01-01 20:45:37 +08:00
R. Ryantm
58a45d8020
finalfusion-utils: 0.13.0 -> 0.13.2 2022-01-01 20:18:54 +08:00
Martin Weinelt
4beaf5301d
python3Packages.xenomapper: move to top-level 2022-01-01 02:09:11 +01:00
Martin Weinelt
39801adb66
Merge pull request from piegamesde/update-streamlit 2021-12-31 16:53:14 +01:00
piegames
9ddd00301c pythonPackages.streamlit: 0.50.2 -> 1.2.0 2021-12-31 15:17:26 +01:00
Ben Siraphob
efbd6bf6e6
Merge pull request from r-ryantm/auto-update/calc
calc: 2.14.0.8 -> 2.14.0.13
2021-12-31 20:39:26 +07:00
R. Ryantm
e3271d42ce calc: 2.14.0.8 -> 2.14.0.13 2021-12-31 12:45:14 +00:00
Jan van Brügge
4b9c0cb005
isabelle: 2021 -> 2021-1 2021-12-31 13:01:41 +01:00
Jan van Brügge
d3e2cf4314
verit: 2016 -> 2021.06.2 2021-12-31 13:00:43 +01:00