BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
354774 commits 1 branch 0 tags 3.8 GiB
Commit graph

5615 commits

Author SHA1 Message Date
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 (#155065) 
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 #154798 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 #154687 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 (#153189)

* 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 
(#154383)
 2022-01-15 23:12:31 +01:00
R. RyanTM
0c7342b6e7
horizon-eda: 2.1.0 -> 2.2.0 
(#154557)
 2022-01-15 22:09:09 +01:00
pennae
59505f5c08
Merge pull request #154395 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 #154988 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 #154989 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 #154934 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 #154973 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 #154781 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 
(#154470)
 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 #154084 from NickCao/astrolog 
astrolog: fix cross compilation
 2022-01-09 18:05:11 +00:00
Fabian Affolter
8aea087b19
Merge pull request #154077 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 #153014 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 (#152872)

* 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 #152326 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 #153337 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 #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