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

4720 commits

Author SHA1 Message Date
Théo Zimmermann
cc84f3906e coq: fix issue introduced in #128603 
This triggerred coq-community/coq-nix-toolbox#42.
 2021-06-30 16:38:39 +02:00
R. RyanTM
360c8128bb gtkwave: 3.3.109 -> 3.3.110 2021-06-29 23:46:07 -07:00
Hunter Jones
ef892b0a92 phd2: 2.6.9dev1 -> 2.6.10 2021-06-29 23:42:21 -07:00
R. RyanTM
c4e9746406 emuflight-configurator: 0.3.5 -> 0.3.6 2021-06-29 23:28:17 -07:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 (#128603) 2021-06-30 04:47:31 +02:00
Sandro
be4382dcb3
Merge pull request #126878 from mtreca/master 2021-06-30 01:55:22 +02:00
mtreca
66ca618b33 sumo: 1.8.0 -> 1.9.2 2021-06-29 11:24:41 +02:00
Andrew Childs
55dcd99859 root: use pure CoreSymbolication on Darwin 
The current build works by linking against CoreSymbolication in
/System/Library/PrivateFrameworks. This is impure and doesn't work in
newer versions of macOS.

See https://github.com/NixOS/nixpkgs/issues/128576
 2021-06-29 11:00:05 +09:00
Vincent Laporte
d60534722e why3: use GTK3 2021-06-27 09:03:12 +02:00
Vincent Laporte
773bdf6998 why3: 1.3.3 → 1.4.0 
framac: 22.0 → 23.0-rc1
 2021-06-27 09:03:12 +02:00
Hunter Jones
193e721cb2 siril: 0.99.8.1 -> 0.99.10.1 2021-06-26 12:57:56 -05:00
Sandro
323e8cac82
Merge pull request #128069 from Artturin/openhantek 
openhantek6022: 3.1.3 -> 3.2.3
 2021-06-25 15:45:00 +02:00
Sandro
c6b318fdf9
Merge pull request #128061 from lopsided98/mavproxy-update 
mavproxy: 1.8.37 -> 1.8.39
 2021-06-25 12:11:43 +02:00
Artturin
10968efa69 openhantek6022: 3.1.3 -> 3.2.3 2021-06-25 08:42:23 +03:00
Ben Wolsieffer
6a0c1538fc mavproxy: 1.8.37 -> 1.8.39 2021-06-24 20:22:22 -04:00
Sandro
e7812f46fe
Merge pull request #128025 from Ma27/bump-stellarium 
stellarium: 0.21.0 -> 0.21.1
 2021-06-24 23:25:35 +02:00
Sandro
1c8bc6c2f1
Merge pull request #127829 from veprbl/pr/snakemake_6_5_0 2021-06-24 22:46:26 +02:00
Maximilian Bosch
ea56e08d62
stellarium: 0.21.0 -> 0.21.1 
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.21.1
 2021-06-24 18:28:40 +02:00
Dmitry Kalinkin
e3678ae8a6
snakemake: 6.0.5 -> 6.5.0 2021-06-24 11:36:26 -04:00
Sandro
6ff52436cf
Merge pull request #127910 from dotlambda/scipy_1_4-drop 2021-06-24 11:43:37 +02:00
Michael Raskin
8481a131ef
Merge pull request #127893 from r-ryantm/auto-update/eprover 
eprover: 2.5 -> 2.6
 2021-06-24 07:42:47 +00:00
Anderson Torres
65db0350fe
Merge pull request #127905 from AndersonTorres/new-4ti2 
4ti2: init at 1.6.9
 2021-06-23 21:01:05 -03:00
AndersonTorres
68dd7bca1b 4ti2: add myself to maintainers 2021-06-23 20:23:30 -03:00
Robert Schütz
cc2924ee9a nanovna-saver: don't double-wrap 2021-06-23 18:39:00 +02:00
Robert Schütz
8df3adc8f8 nanovna-saver: use packageOverrides 2021-06-23 18:34:36 +02:00
Sandro
ac6b100b2e
Merge pull request #127524 from beezow/master 2021-06-23 15:44:04 +02:00
AndersonTorres
4b0789d7c5 4ti2: init at 1.6.9 2021-06-23 10:35:00 -03:00
R. RyanTM
b7ecc3db11 eprover: 2.5 -> 2.6 2021-06-23 11:11:41 +00:00
Sandro
fac2f63654
Apply suggestions from code review 2021-06-23 11:13:00 +02:00
Sandro
22bae36e74
Merge pull request #127826 from veprbl/pr/mcfm_init 
mcfm: init at 10.0.1
 2021-06-23 10:41:15 +02:00
R. RyanTM
f64fb8bd31 jmol: 14.31.39 -> 14.31.41 2021-06-22 19:47:51 -07:00
beezow
4eb4579833 emuflight-configurator: init at 0.3.5 2021-06-22 17:23:01 -06:00
Dmitry Kalinkin
2aafbfb618
mcfm: init at 10.0.1 2021-06-22 17:27:21 -04:00
Sandro
b2a93084f0
Merge pull request #127355 from cjab/programmer-calculator 2021-06-22 17:12:33 +02:00
Chad Jablonski
11b44aaa11 programmer-calculator: init at 2.1 2021-06-22 10:03:56 -04:00
Sandro
5f3ebbc661
Merge pull request #123242 from xworld21/eukleides-texlive-deps-instead-of-buildinputs 2021-06-21 11:57:06 +02:00
Vincenzo Mantova
b0c6bd9211 eukleides: depend on texinfo4 instead of overriding texinfo 2021-06-21 08:17:11 +01:00
Vincenzo Mantova
b88e8d999c eukleides: allow PostScript transparency 2021-06-21 08:17:11 +01:00
Vincenzo Mantova
8fb57a90eb eukleides: add getopt in euktoeps wrapper 2021-06-21 08:17:11 +01:00
Johannes Arnold
0d635e2646 element: init at 1.0.0 2021-06-21 00:20:26 +02:00
Vincenzo Mantova
190ba6ee72 eukleides: specify texlive dependencies instead of buildInputs 2021-06-20 20:17:22 +01:00
Axel Forsman
d8984f8522
gurobi: 8.1.0 -> 9.1.2 (#120525) 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-06-18 10:43:39 +02:00
github-actions[bot]
51bf815af0
Merge master into staging-next 2021-06-17 00:09:48 +00:00
Sandro
cb3f4288f5
Merge pull request #125395 from musfay/fritzing 
fritzing: 0.9.4-498 -> 0.9.6
 2021-06-17 01:12:56 +02:00
R. RyanTM
816d212fa2 gappa: 1.3.5 -> 1.4.0 2021-06-16 13:16:13 -07:00
Mustafa Çalışkan
b556b25aad fritzing: 0.9.4-498 -> 0.9.6 2021-06-16 22:56:46 +03:00
Jonathan Ringer
d1d37feb6d
Merge branch 'master' into staging-next 
Conflicts:
  pkgs/servers/x11/xorg/default.nix
 2021-06-15 19:32:36 -07:00
scalavision
c6ca3545ae
truvari: 2.0.2 -> 2.1.1 (#126839) 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-06-15 22:14:20 +02:00
Jan Tojnar
91171e2955
Merge branch 'master' into staging-next 
Regenerated pkgs/servers/x11/xorg/default.nix to resolve the conflict.
 2021-06-15 11:19:41 +02:00
Sandro
d2c1a26246
Merge pull request #126400 from nagy/vowpal-wabbit-boost17x 
vowpal-wabbit: use boost17x
 2021-06-14 19:39:52 +02:00