markuskowa
09819d7eff
Merge pull request #152801 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 #153190 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
...
(#149101 )
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 (#144410 )
* 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
...
(#143311 )
2022-01-02 10:15:42 +01:00
Martin Weinelt
b8149a7f04
Merge pull request #152907 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 #147367 from TilCreator/package-inav-configurator
2022-01-01 14:05:44 +01:00
Gabriel Ebner
edac0bea9d
Merge pull request #152921 from jvanbruegge/isabelle-2021-1
...
isabelle: 2021 -> 2021-1
2022-01-01 14:00:57 +01:00
Bobby Rong
13e59225f7
Merge pull request #149135 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 #150333 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 #152932 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
Gabriel Ebner
5fcfc1d34a
Merge pull request #152605 from j0hax/speedcrunch-fixups
...
Speedcrunch fixups
2021-12-31 10:36:06 +01:00
Johannes Arnold
e3d982dfee
speedcrunch: 0.12.0 -> unstable-2021-10-09
2021-12-31 10:04:07 +01:00
Bobby Rong
b8ceb2637a
Merge pull request #152811 from r-ryantm/auto-update/jmol
...
jmol: 14.32.2 -> 14.32.6
2021-12-31 08:49:50 +08:00
Maximilian Bosch
8ac7f8d217
Merge pull request #152106 from Ma27/bump-stellarium
...
stellarium: 0.21.2 -> 0.21.3
2021-12-30 23:15:08 +01:00
R. Ryantm
edceb1ed24
jmol: 14.32.2 -> 14.32.6
2021-12-30 20:51:37 +00:00
R. Ryantm
37d2f5cbb4
messer-slim: 3.6 -> 3.7
2021-12-30 20:32:56 +00:00
7c6f434c
3c5bd4a74c
Merge pull request #152409 from collares/singular-maxprocess
...
singular: backport patch to fix docbuilding with >= 64 cpus
2021-12-30 16:35:18 +00:00
Johannes Arnold
5ca1d45da3
speedcrunch: use proper fetcher
2021-12-29 17:52:11 +01:00
Ben Siraphob
39a0a70d29
treewide: fix homepages with permanent redirect to https
2021-12-29 22:06:47 +07:00
Kierán Meinhardt
b4b9096d66
astrolog: switches for using optional ephemeris/atlas files
2021-12-28 13:50:26 +01:00
Rasmus Thomsen
83e5da9238
bada-bib: init at 0.3.0
2021-12-28 12:40:39 +01:00
Mauricio Collares
ec0c4a001f
singular: backport patch to fix docbuilding with >= 64 cpus
2021-12-27 22:29:15 -03:00
Dmitry Kalinkin
33d85a8e24
Merge pull request #152149 from evils/kicad
...
KiCad: 5.1.12 -> 6.0.0; and a bunch of cleanup
2021-12-27 14:11:05 -05:00
Bobby Rong
4fdcad0d6b
Merge pull request #149379 from r-ryantm/auto-update/minimap2
...
minimap2: 2.22 -> 2.23
2021-12-27 18:05:04 +08:00
Evils
2753f7c8e1
kicad: disable tests
...
due to an intermittent failure of the qa_pcbnew test
https://gitlab.com/kicad/code/kicad/-/issues/9888
2021-12-27 05:45:38 +01:00
Bobby Rong
d308cb2570
Merge pull request #152250 from broke/master
...
elmerfem: 8.4 -> 9.0
2021-12-27 11:33:43 +08:00
Dmitry Kalinkin
c7be038ad1
Merge pull request #152186 from veprbl/pr/root_rootcint_fix
...
root: fix installation of bin/rootcint and bin/genreflex
2021-12-26 18:30:44 -05:00
Evils
83e6fe5557
kicad: remove unused options
...
the asserts are in nixos-unstable by now
and use the build_qa flag to disable building unused tests
2021-12-26 22:07:02 +01:00
Evils
e54357a7d2
kicad: KICAD_SPICE build option defaults to ON
...
and has apparently done so since it was added...
2021-12-26 22:07:02 +01:00
Evils
f7da08bb19
kicad.updateScript: full shellcheck
2021-12-26 22:07:02 +01:00
Evils
b3f0da107e
kicad: remove the separate i18n stuff
...
i18n is now in the kicad source in both stable and unstable
behind the withI18n flag which is disabled by default
2021-12-26 22:07:02 +01:00
Evils
818894d6a5
kicad-unstable: 6.0.0-rc1 -> 2021-12-23
2021-12-26 22:07:02 +01:00
Evils
78f0769183
kicad: 5.1.12 -> 6.0.0
...
remove old build conditionals
the old wrapper env vars are no longer applicable to 6.0.0
scripting is no longer optional
though wxPython is still an optional dependency?
add withI18n build option to kicad.base
i18n was moved to the kicad source, and is disabled by default
withI18n takes the same default
add withPCM option
to allow disabling building the Plugin and Content Manager
remove the withOCE option
the build option was removed in upstream commit:
1c5c052301b607a0cf8b8ed6681f1db1622a865b
and unconditionally use wxGTK31-gtk3 and wxPython
the pcb editor's python terminal seems to work with these versions
2021-12-26 22:07:02 +01:00
Evils
b7f9203059
kicad.updateScript: account for the bad 6.9.9 tag
2021-12-26 22:07:02 +01:00
Doron Behar
ac048e82e3
Merge pull request #147826 from doronbehar/pkg/yacas
...
yacas: Fix gui and jupyter build
2021-12-26 21:39:27 +02:00
Gunnar Nitsche
cc690c83f4
elmerfem: 8.4 -> 9.0
2021-12-26 20:29:41 +01:00
Dmitry Kalinkin
d5bdb7d39d
root: fix installation of bin/rootcint and bin/genreflex
2021-12-26 00:07:49 -05:00
Bobby Rong
0d0f94d97c
Merge pull request #152120 from r-ryantm/auto-update/marvin
...
marvin: 21.18.0 -> 21.20.0
2021-12-26 10:27:36 +08:00
R. Ryantm
c89a5a2e6a
marvin: 21.18.0 -> 21.20.0
2021-12-25 18:03:44 +00:00
Maximilian Bosch
0b9df207a8
stellarium: 0.21.2 -> 0.21.3
...
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.21.3
2021-12-25 16:54:34 +01:00
github-actions[bot]
af639a3c3c
Merge master into staging-next
2021-12-25 06:01:04 +00:00
Bobby Rong
651982b2ed
Merge pull request #150150 from r-ryantm/auto-update/gama
...
gama: 2.14 -> 2.16
2021-12-25 12:34:43 +08:00
github-actions[bot]
f04946ad25
Merge master into staging-next
2021-12-24 18:01:11 +00:00
markuskowa
2738cb2157
Merge pull request #151594 from FliegendeWurst/geogebra-680
...
geogebra: 5-0-662-0 -> 5-0-680-0
2021-12-24 16:16:02 +01:00
github-actions[bot]
b7f2d2da61
Merge master into staging-next
2021-12-24 00:01:44 +00:00
Felix Buehler
e578d45c10
diamond: switch to fetchFromGitHub
2021-12-23 19:11:17 +01:00
Felix Buehler
865eee2b26
kssd: switch to fetchFromGitHub
2021-12-23 19:11:17 +01:00
Felix Buehler
2f4a86e7d7
messer-slim: switch to fetchFromGitHub
2021-12-23 19:11:17 +01:00
Felix Buehler
e1bd890fb0
niftyseg: switch to fetchFromGitHub
2021-12-23 19:11:17 +01:00
Felix Buehler
cb448459d0
potassco: switch to fetchFromGitHub
2021-12-23 19:11:17 +01:00
github-actions[bot]
5e2c1acfa3
Merge master into staging-next
2021-12-22 18:01:00 +00:00
Justin Bedo
fa6244b712
picard-tools: 2.26.6 -> 2.26.9
2021-12-22 22:20:36 +11:00
7c6f434c
080d8f0d72
Merge pull request #151635 from collares/sage-fonttools
...
[staging-next] sage: assume fonttools DeprecationWarnings are expected for now
2021-12-22 07:50:33 +00:00
Mauricio Collares
93f9a9c36d
sage: assume fonttools DeprecationWarnings are expected for now
2021-12-21 23:10:07 -03:00
github-actions[bot]
39d035c4cf
Merge master into staging-next
2021-12-22 00:01:35 +00:00
Kierán Meinhardt
4bff3d7346
astrolog: init at 7.30
2021-12-21 22:24:48 +01:00
github-actions[bot]
a7f62c75af
Merge master into staging-next
2021-12-21 18:01:15 +00:00
FliegendeWurst
c080917139
geogebra: 5-0-662-0 -> 5-0-680-0
2021-12-21 17:09:50 +01:00
7c6f434c
d5db292192
Merge pull request #151424 from collares/sage-matplotlib
...
[staging-next] sage: import matplotlib and sphinx update patches
2021-12-21 12:55:50 +00:00
Felix Buehler
f4931dfaee
ekrhyper: refactor
2021-12-21 12:44:01 +01:00
Dmitry Kalinkin
ac40a963c9
Merge branch 'master' into staging-next
...
Conflicts:
pkgs/applications/editors/vim/common.nix
pkgs/development/python-modules/jellyfin-apiclient-python/default.nix
pkgs/development/python-modules/pymavlink/default.nix
2021-12-20 12:09:28 -05:00
Mauricio Collares
3eaca311d4
sage: import matplotlib and sphinx update patches
2021-12-20 10:09:35 -03:00
Doron Behar
e6647de754
Merge pull request #151281 from r-ryantm/auto-update/qalculate-gtk
2021-12-19 22:40:43 +02:00
Dmitry Kalinkin
bbea48728b
Merge pull request #151151 from veprbl/pr/libcxx_no_apple_availability
...
llvmPackages.libcxx: unset _LIBCPP_USE_AVAILABILITY_APPLE
2021-12-19 11:42:28 -05:00
Gabriel Ebner
a3bbbe08bd
Merge pull request #151328 from Kha/elan-lean-cc
...
elan: set LEAN_CC to stdenv cc
2021-12-19 17:39:28 +01:00
Sebastian Ullrich
b20024dd3a
elan: set LEAN_CC to stdenv cc
...
This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`
2021-12-19 17:27:10 +01:00
Bobby Rong
856672f2ce
Merge pull request #151249 from lopsided98/mavproxy-update
...
mavproxy: 1.8.45 -> 1.8.46
2021-12-19 22:21:30 +08:00
R. Ryantm
57ff8c2e36
qalculate-gtk: 3.21.0 -> 3.22.0
2021-12-19 07:38:29 +00:00
github-actions[bot]
2e447628d8
Merge master into staging-next
2021-12-19 06:01:16 +00:00
qbg
24111d6a7a
mathematica: 12.3.1 -> 13.0.0 ( #151213 )
...
https://wolfram.com/mathematica/quick-revision-history.html#v130
2021-12-18 23:24:27 -05:00
R. Ryantm
d14a6ef13e
mavproxy: 1.8.45 -> 1.8.46
2021-12-18 20:04:55 -05:00
Dmitry Kalinkin
da8f155b2a
Merge branch 'master' into staging-next
...
Conflicts:
pkgs/development/python-modules/sphinxext-opengraph/default.nix
2021-12-18 10:18:14 -05:00
Dmitry Kalinkin
e1aaaa90fe
llvmPackages.libcxx: unset _LIBCPP_USE_AVAILABILITY_APPLE
2021-12-18 10:09:25 -05:00
Bobby Rong
bcaa1b4633
Merge pull request #149151 from Luflosi/update/boinc
...
boinc: 7.14.2 -> 7.18.1
2021-12-18 21:32:22 +08:00
github-actions[bot]
2749f6983a
Merge master into staging-next
2021-12-17 06:01:26 +00:00
Dmitry Kalinkin
50a4c52747
Merge pull request #147648 from veprbl/pr/mxnet_1_8_0
...
mxnet: 1.6.0 -> 1.8.0, enable on darwin
2021-12-16 22:37:03 -05:00
mucaho
1509f463a0
clingcon: 3.3.0 -> 5.0.0
2021-12-16 20:28:19 +01:00
github-actions[bot]
9c7ec75d6b
Merge master into staging-next
2021-12-16 06:01:09 +00:00
Silvan Mosberger
e30a4fa4bd
Merge pull request #149404 from Infinisil/remove-scyther
2021-12-16 01:56:39 +01:00
Dmitry Kalinkin
a7a3675563
gromacs: fix build on darwin
2021-12-15 15:22:10 -05:00
sternenseemann
d860ba7f09
Merge remote-tracking branch 'origin/master' into staging-next
2021-12-15 11:30:31 +01:00
Justin Bedő
f6e14b6ada
Merge pull request #150628 from jbedo/subread
...
subread: init 2.0.3
2021-12-15 13:46:45 +11:00
github-actions[bot]
0242879f3f
Merge master into staging-next
2021-12-14 12:01:17 +00:00
Bobby Rong
e5a6bba62b
Merge pull request #150447 from r-ryantm/auto-update/seaview
...
seaview: 5.0.4 -> 5.0.5
2021-12-14 18:38:55 +08:00
7c6f434c
b862304c67
Merge pull request #150597 from collares/sage-arb
...
arb: 2.20.0 -> 2.21.1
2021-12-14 08:56:42 +00:00
Justin Bedo
6a1f4a51eb
subread: init 2.0.3
2021-12-14 13:30:23 +11:00
github-actions[bot]
784572e7cf
Merge master into staging-next
2021-12-13 18:01:18 +00:00
Mauricio Collares
9b35049770
sage: import arb 2.21.0 test fixes
2021-12-13 11:16:33 -03:00
Dmitry Kalinkin
8f0a587d4a
z3: fix darwin build
2021-12-13 07:42:47 -05:00
Oleksii Filonenko
a400948064
Merge pull request #149167 from r-ryantm/auto-update/rink
...
rink: 0.6.1 -> 0.6.2
2021-12-13 14:40:57 +02:00
Martin Weinelt
423119b70b
Merge branch 'master' into staging-next
2021-12-13 12:20:07 +01:00
Felix Buehler
4cc23f2b1e
why3.withProvers: add dontUnpack
2021-12-12 20:33:14 +01:00
R. Ryantm
d4a5bdc264
seaview: 5.0.4 -> 5.0.5
2021-12-12 15:59:16 +00:00
Dmitry Kalinkin
1dcb22acc9
Merge branch 'master' into staging-next
...
Conflicts:
pkgs/development/python-modules/gdown/default.nix
2021-12-12 00:00:04 -05:00
Mario Rodas
e09a539ccb
Merge pull request #150166 from r-ryantm/auto-update/gmsh
...
gmsh: 4.8.4 -> 4.9.0
2021-12-11 22:52:19 -05:00
Ryan Mulligan
9e570d0034
Merge pull request #150031 from r-ryantm/auto-update/jmol
...
jmol: 14.31.49 -> 14.32.2
2021-12-11 16:23:05 -08:00
Dmitry Kalinkin
b6b59334bb
Merge branch 'master' into staging-next
...
Conflicts:
pkgs/development/python-modules/celery/default.nix
pkgs/development/python-modules/kombu/default.nix
2021-12-11 13:15:49 -05:00
Jörg Thalheim
453b06c677
Merge pull request #150121 from markuskowa/fix-cp2k
...
cp2k: make elpa optional
2021-12-11 14:04:41 +00:00
Jörg Thalheim
4e5d03cd21
Merge pull request #150111 from r-ryantm/auto-update/gretl
...
gretl: 2021b -> 2021d
2021-12-11 13:34:40 +00:00
Jörg Thalheim
953bdd43bf
Merge pull request #150124 from r-ryantm/auto-update/gwyddion
...
gwyddion: 2.59 -> 2.60
2021-12-11 13:31:59 +00:00
Jörg Thalheim
2a322411ff
Merge pull request #150217 from r-ryantm/auto-update/cryptoverif
...
cryptoverif: 2.04 -> 2.05
2021-12-11 12:53:42 +00:00
R. Ryantm
50554a43cf
cryptoverif: 2.04 -> 2.05
2021-12-11 10:05:51 +00:00
R. Ryantm
2d939d3262
gmsh: 4.8.4 -> 4.9.0
2021-12-11 01:08:58 +00:00
R. Ryantm
baf80d066b
gama: 2.14 -> 2.16
2021-12-10 22:15:01 +00:00
R. Ryantm
7bbf6a048b
gwyddion: 2.59 -> 2.60
2021-12-10 20:19:55 +00:00
Markus Kowalewski
6d1f54dc5d
cp2k: make elpa optional
2021-12-10 20:56:21 +01:00
R. Ryantm
7abc2f38b4
gretl: 2021b -> 2021d
2021-12-10 19:06:52 +00:00
github-actions[bot]
cc51bd619c
Merge master into staging-next
2021-12-10 18:01:06 +00:00
Ryan Mulligan
76d64cf517
Merge pull request #149908 from r-ryantm/auto-update/marvin
...
marvin: 21.9.0 -> 21.18.0
2021-12-10 06:36:30 -08:00
R. Ryantm
a1fa86e691
jmol: 14.31.49 -> 14.32.2
2021-12-10 10:13:57 +00:00
github-actions[bot]
b2a2a5759e
Merge master into staging-next
2021-12-10 06:01:17 +00:00
Maximilian Bosch
c87f93843c
Merge pull request #148905 from r-ryantm/auto-update/calc
...
calc: 2.13.0.1 -> 2.14.0.8
2021-12-10 01:22:16 +01:00
github-actions[bot]
92aabc6576
Merge master into staging-next
2021-12-10 00:01:53 +00:00
7c6f434c
26b52ea6a6
Merge pull request #149596 from r-ryantm/auto-update/polymake
...
polymake: 4.4 -> 4.5
2021-12-09 22:48:21 +00:00
R. Ryantm
806d3e25cd
marvin: 21.9.0 -> 21.18.0
2021-12-09 19:20:04 +00:00
github-actions[bot]
379c22dbb3
Merge master into staging-next
2021-12-09 18:01:06 +00:00
Vincent Laporte
a2dc97cd5c
proverif: 2.03 → 2.04
2021-12-09 17:45:15 +01:00
Vincent Laporte
a160defe64
coq_8_15: init at 8.15+rc1
2021-12-09 15:46:06 +01:00
Alyssa Ross
c9a581b05f
Merge remote-tracking branch 'nixpkgs/master' into staging-next
...
CONFLICT (rename/add): Rename pkgs/development/python-modules/jsonwatch/default.nix->pkgs/tools/misc/jsonwatch/default.nix in nixpkgs/master. Added pkgs/tools/misc/jsonwatch/default.nix in HEAD
2021-12-09 01:43:58 +00:00
Jörg Thalheim
2808a3bc74
Merge pull request #149465 from r-ryantm/auto-update/openmvg
...
openmvg: 1.6 -> 2.0
2021-12-08 15:15:48 +00:00
R. Ryantm
5a5f052be8
polymake: 4.4 -> 4.5
2021-12-08 10:49:07 +00:00
Alyssa Ross
16fb150e03
Merge remote-tracking branch 'nixpkgs/master' into staging-next
...
Conflicts:
pkgs/development/libraries/libunwind/default.nix
2021-12-07 23:56:16 +00:00
R. Ryantm
3112fe2ace
openmvg: 1.6 -> 2.0
2021-12-07 20:17:43 +00:00
Silvan Mosberger
55af3549a3
scyther: remove since it only supports Python 2
...
See https://github.com/cascremers/scyther/issues/20
2021-12-07 17:58:03 +01:00
R. Ryantm
d337b164d6
minimap2: 2.22 -> 2.23
2021-12-07 15:04:36 +00:00
R. Ryantm
817561795f
logisim-evolution: 3.7.1 -> 3.7.2
2021-12-07 12:21:37 +00:00
Jonathan Ringer
9dd8bffe92
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
pkgs/development/python-modules/aiocron/default.nix
2021-12-07 00:11:07 -08:00
Artturi
84bd0d6b7b
Merge pull request #147023 from wackbyte/fix-groove
...
groove: 5.7.4 -> 5.8.1 and jre -> jre8
2021-12-07 05:12:15 +02:00
R. Ryantm
5517f74759
rink: 0.6.1 -> 0.6.2
2021-12-06 23:57:17 +00:00
Luflosi
ca87168c6e
boinc: copy systemd service file to output
2021-12-06 23:56:06 +01:00
Luflosi
4e0d9003fc
boinc: 7.14.2 -> 7.18.1
2021-12-06 23:56:06 +01:00
Luflosi
a7be4f3840
boinc: add Luflosi as maintainer
2021-12-06 23:56:05 +01:00
github-actions[bot]
ffbac7335b
Merge master into staging-next
2021-12-06 18:01:23 +00:00
7c6f434c
67f094f56b
Merge pull request #149043 from 7c6f434c/golly-update
...
golly: 3.3 -> 4.1
2021-12-06 16:17:35 +00:00
Michael Raskin
65b2df8b45
golly: 3.3 -> 4.1
2021-12-06 16:27:09 +01:00
R. Ryantm
d5368e3bdb
clingo: 5.5.0 -> 5.5.1
2021-12-06 09:34:25 +00:00
R. Ryantm
6c000f4835
calc: 2.13.0.1 -> 2.14.0.8
2021-12-06 07:03:08 +00:00
github-actions[bot]
5a1288f93b
Merge master into staging-next
2021-12-05 00:01:53 +00:00
Justin Bedő
711ef56370
Merge pull request #148514 from jbedo/picard
...
picard-tools: 2.26.4 -> 2.26.6
2021-12-05 06:56:25 +11:00