Sandro
4a340627aa
Merge pull request #130661 from veprbl/pr/snakemake_6_6_1
2021-07-20 11:05:53 +02:00
Ben Siraphob
e8599765f5
Merge pull request #130638 from siraben/par-treewide
...
treewide: remove unnecessary enableParallelBuilding when using cmake, meson, qmake
2021-07-20 12:10:21 +07:00
Ben Siraphob
4ce8c34049
treewide: remove unnecessary enableParallelBuilding when using qmake
2021-07-20 10:32:58 +07:00
github-actions[bot]
e86ff5c2b2
Merge staging-next into staging
2021-07-20 00:02:21 +00:00
Guillaume Girol
6554384a70
boolector: 3.2.1 -> 3.2.2
2021-07-19 16:11:01 -07:00
Dmitry Kalinkin
3a79b1fece
snakemake: 6.5.3 -> 6.6.1
2021-07-19 16:22:36 -04:00
Dmitry Kalinkin
a93f2af20b
snakemake: add missing optional dependenices
...
These are needed to generate reports
2021-07-19 16:19:27 -04:00
github-actions[bot]
c455b1a657
Merge staging-next into staging
2021-07-19 18:01:44 +00:00
Ben Siraphob
d53846e29e
Merge pull request #130583 from jvanbruegge/isabelle2021
...
Isabelle: 2020 -> 2021
2021-07-19 20:56:48 +07:00
Millian Poquet
c6f34aeaef
simgrid: compile tests in parallel
2021-07-19 14:05:17 +02:00
Millian Poquet
c4ec6ffb78
simgrid: fix paths in smpicc/smpicxx
2021-07-19 14:04:57 +02:00
Millian Poquet
33f915f241
simgrid: propagate boost
...
Since SimGrid include files directly include boost files,
most SimGrid users need boost as well.
2021-07-19 14:03:50 +02:00
Millian Poquet
2d05c2d535
simgrid: 3.27 -> 3.28
2021-07-19 14:01:30 +02:00
Jan van Brügge
e32da890c9
isabelle: Add desktop entry
2021-07-19 12:04:30 +02:00
github-actions[bot]
dde34afc63
Merge staging-next into staging
2021-07-19 00:02:18 +00:00
Jan van Brügge
9111bd40b2
isabelle: 2020 -> 2021
2021-07-18 23:51:36 +02:00
Sandro
d5bd34ebf2
treewide: convert phases that contain ":" to dont* = true ( #130500 )
2021-07-18 23:42:48 +02:00
github-actions[bot]
09be4e7750
Merge staging-next into staging
2021-07-18 12:01:50 +00:00
Jörg Thalheim
d4b8356ce2
pcalc: 20141224 -> 20181202
2021-07-18 08:40:09 +02:00
github-actions[bot]
08a8809bfe
Merge staging-next into staging
2021-07-18 00:02:06 +00:00
Sandro
24debc24c6
Merge pull request #130194 from Stunkymonkey/fdr-phases
...
fdr: deprecate phases
2021-07-18 00:41:56 +02:00
Felix Buehler
82cb33a0ae
treewide: remove meta.version
2021-07-18 00:07:38 +02:00
github-actions[bot]
11332e9137
Merge staging-next into staging
2021-07-17 18:01:28 +00:00
Robert Scott
681821fefe
Merge pull request #129834 from r-ryantm/auto-update/bcftools
...
bcftools: 1.11 -> 1.13
2021-07-17 18:26:47 +01:00
github-actions[bot]
732bd85cf5
Merge staging-next into staging
2021-07-17 12:01:55 +00:00
Guillaume Girol
cb7e11dcb3
Merge pull request #130404 from collares/pynac-0.7.29
...
pynac: 0.7.27 -> 0.7.29
2021-07-17 09:08:46 +00:00
(cdep)illabout
299082636c
cedille: set no hydra platforms
2021-07-17 11:17:09 +09:00
(cdep)illabout
ff0c051daf
cedille: mark broken
2021-07-17 11:10:26 +09:00
Mauricio Collares
183071d282
pynac: 0.7.27 -> 0.7.29
2021-07-16 19:30:11 -03:00
github-actions[bot]
ed4094a728
Merge staging-next into staging
2021-07-16 00:02:18 +00:00
Sandro
9b8e8b2047
Merge pull request #130193 from Stunkymonkey/verifast-phases
...
verifast: deprecate phases
2021-07-15 23:40:17 +02:00
Sandro
daa42d5347
Merge pull request #130210 from veprbl/pr/root_6_24_02
2021-07-15 22:52:29 +02:00
Sandro
025cab89d9
Merge pull request #130187 from Stunkymonkey/workcraft-phases
...
workcraft: deeprecate phases
2021-07-15 21:59:16 +02:00
github-actions[bot]
2165de1758
Merge staging-next into staging
2021-07-15 18:02:07 +00:00
FliegendeWurst
5a1b72a6b1
mathematica: 12.3.0 -> 12.3.1
2021-07-15 15:29:33 +02:00
github-actions[bot]
0db5cea36d
Merge staging-next into staging
2021-07-15 06:01:32 +00:00
Vincent Laporte
e57571bdb6
gappa: 1.3.5 → 1.4.0
2021-07-15 07:55:52 +02:00
Dmitry Kalinkin
1cbb9c64d1
root,root5: apply nixpkgs-fmt
2021-07-14 16:23:09 -04:00
Dmitry Kalinkin
62ab958fb0
root: 6.24.00 -> 6.24.02
2021-07-14 14:58:15 -04:00
github-actions[bot]
6630d8e9bb
Merge staging-next into staging
2021-07-14 18:01:45 +00:00
Felix Buehler
7ab67cfa4c
fdr: deprecate phases
2021-07-14 16:42:23 +02:00
Felix Buehler
b6fb4cedaf
verifast: deprecate phases
2021-07-14 16:41:30 +02:00
Felix Buehler
ac75afe239
logisim: deprecate phases
2021-07-14 16:40:28 +02:00
Felix Buehler
cdf9e86ad1
leo3-bin: deprecate phases
2021-07-14 16:38:38 +02:00
Felix Buehler
3680a85bcb
workcraft: deeprecate phases
2021-07-14 16:33:41 +02:00
Sandro Jäckel
388a4ef423
treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*
2021-07-14 03:35:21 +02:00
Dmitry Kalinkin
43ae777382
Merge pull request #130090 from evils/kicad
...
kicad-unstable: update; now requires python
2021-07-13 14:20:39 -04:00
Evils
0e6d186906
kicad-unstable: needs python
...
needed since upstream merge request 796 got merged on 2021-06-01
2021-07-13 12:47:26 +02:00
Evils
428d2a2f51
kicad-unstable: 2021-05-16 -> 2021-07-12
2021-07-13 12:46:17 +02:00
github-actions[bot]
5779c9a1dd
Merge staging-next into staging
2021-07-12 18:01:40 +00:00
markuskowa
cd55326158
Merge pull request #129662 from sheepforce/cp2k
...
CP2K: init at 8.1.0
2021-07-12 19:28:33 +02:00
Ryan Mulligan
3c82ddb28c
Merge pull request #130016 from r-ryantm/auto-update/engauge-digitizer
...
engauge-digitizer: 12.1 -> 12.2.2
2021-07-12 11:08:24 -05:00
R. RyanTM
d342554ec5
engauge-digitizer: 12.1 -> 12.2.2
2021-07-12 14:06:35 +00:00
Markus Kowalewski
77be900d67
octopus: cleanup derivation
2021-07-12 14:15:05 +02:00
Markus Kowalewski
0a1167fd0b
octopus: 10.3 -> 10.5
2021-07-12 13:31:28 +02:00
markuskowa
13b3e91794
Merge pull request #128856 from cburstedde/package-petsc-p4est
...
petsc: refactor using mpi and p4est
2021-07-12 11:46:44 +02:00
Sandro
9afe59f2e6
Merge pull request #129938 from eduardosm/diylc
2021-07-11 22:40:33 +02:00
Dmitry Kalinkin
45bed6d99f
snakemake: 6.5.0 -> 6.5.3
2021-07-11 10:40:09 -04:00
Eduardo Sánchez Muñoz
8f66191e32
diylc: 4.17.0 -> 4.18.0
2021-07-11 15:45:23 +02:00
R. RyanTM
7177212409
bcftools: 1.11 -> 1.13
2021-07-10 10:15:10 +00:00
Phillip Seeber
5c4d869ada
engauge-digitizer: init at 12.1
...
code-review hints
engauge-digitizer: code review suggestions
2021-07-09 13:27:30 +02:00
Phillip Seeber
e503e43a03
cp2k: init at 8.2.0
...
cp2k: cleanup/formatting
cp2k: change license
cp2k: remove comment
2021-07-09 11:27:35 +02:00
Sandro
43b68c4bca
dkh: init at 1.2
...
Apply suggestions from code review
2021-07-09 10:40:51 +02:00
Carsten Burstedde
25456656ef
Merge branch 'master' into package-petsc-p4est
2021-07-06 07:19:35 +02:00
Michael Raskin
cb098c86b0
Merge pull request #129280 from r-ryantm/auto-update/jmol
...
jmol: 14.31.42 -> 14.31.44
2021-07-06 04:04:19 +00:00
Sandro
90fa755d73
Merge pull request #123692 from collares/eclib-20210503
2021-07-06 01:59:32 +02:00
Carsten Burstedde
705afbd338
Merge branch 'master' into package-petsc-p4est
2021-07-05 19:30:59 +02:00
R. RyanTM
0e2aad0d3f
jmol: 14.31.42 -> 14.31.44
2021-07-04 22:17:25 +00:00
github-actions[bot]
a6fdcf8d52
Merge master into staging-next
2021-07-04 12:01:06 +00:00
Gabriel Ebner
5fd14f54c7
qalculate-gtk: 3.18.0 -> 3.19.0
2021-07-04 10:41:23 +02:00
Gabriel Ebner
7880aaa756
Merge pull request #124454 from r-ryantm/auto-update/elan
...
elan: 1.0.2 -> 1.0.6
2021-07-04 10:19:58 +02:00
github-actions[bot]
89ee82a6e9
Merge master into staging-next
2021-07-04 06:01:11 +00:00
Sandro
8723bd8119
Merge pull request #129122 from dotlambda/dateutil-alias
2021-07-04 02:53:34 +02:00
Dmitry Kalinkin
f0fbfdefe7
Merge branch 'master' into staging-next
2021-07-03 17:51:15 -04:00
Mauricio Collares
30cd543b32
eclib: 20190909 -> 20210625, import sage update patch
2021-07-03 12:55:52 -03:00
R. RyanTM
f32e760b64
gwyddion: 2.58 -> 2.59
2021-07-03 11:56:51 +00:00
Robert Schütz
1ec5651913
treewide: use pythonPackages.python-dateutil instead of pythonPackages.dateutil
2021-07-03 13:45:57 +02:00
github-actions[bot]
77a94d88ad
Merge master into staging-next
2021-07-03 06:01:13 +00:00
Sarunas Valaskevicius
5b69b1f3fe
tlaToolbox: fix crash on file open dialog
2021-07-02 23:04:39 +01:00
github-actions[bot]
4147e7d4a9
Merge master into staging-next
2021-07-02 18:01:01 +00:00
Gabriel Ebner
b38329171a
Merge pull request #128926 from collares/lean-3.31
...
lean: 3.30.0 -> 3.31.0
2021-07-02 19:57:13 +02:00
github-actions[bot]
dcd8f68f13
Merge master into staging-next
2021-07-02 00:01:33 +00:00
Mauricio Collares
258e959faf
lean: 3.30.0 -> 3.31.0
2021-07-01 20:47:08 -03:00
Michael Raskin
980ebd8f1e
Merge pull request #128831 from collares/sage-sphinx-4
...
sage: import sphinx and sympy update patches, update pari 2.13 patch
2021-07-01 21:42:08 +00:00
Carsten Burstedde
870b2847a4
getdp: align with latest petsc dependency
2021-07-01 22:57:26 +02:00
github-actions[bot]
9d5de3eca1
Merge master into staging-next
2021-07-01 18:01:04 +00:00
Ben Siraphob
ee5b85e00e
Merge pull request #128900 from siraben/hol-unix
...
hol: expand platforms to unix
2021-07-01 23:33:15 +07:00
Ben Siraphob
e86f5bfa8f
hol: expand platforms to unix
2021-07-01 22:19:02 +07:00
Michael Raskin
7ba5c6915d
Merge pull request #128167 from r-ryantm/auto-update/jmol
...
jmol: 14.31.41 -> 14.31.42
2021-07-01 12:56:32 +00:00
Mauricio Collares
17e024867f
sage: import sphinx and sympy update patches, update pari 2.13 patch
2021-06-30 20:26:16 -03:00
github-actions[bot]
1a1f2ce95d
Merge master into staging-next
2021-06-30 18:04:09 +00:00
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
github-actions[bot]
629cea2cd0
Merge master into staging-next
2021-06-30 12:04:22 +00: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
github-actions[bot]
7f05df0a91
Merge master into staging-next
2021-06-30 06:04:18 +00:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 ( #128603 )
2021-06-30 04:47:31 +02:00
github-actions[bot]
0fa08dae1b
Merge master into staging-next
2021-06-30 00:08:50 +00:00
Sandro
be4382dcb3
Merge pull request #126878 from mtreca/master
2021-06-30 01:55:22 +02:00
github-actions[bot]
fc4cc6ca93
Merge master into staging-next
2021-06-29 12:04:29 +00: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
github-actions[bot]
265a07c480
Merge staging-next into staging
2021-06-27 12:04:27 +00: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
github-actions[bot]
1016b5a6ba
Merge staging-next into staging
2021-06-27 00:10:43 +00:00
Hunter Jones
193e721cb2
siril: 0.99.8.1 -> 0.99.10.1
2021-06-26 12:57:56 -05:00
R. RyanTM
517fdc1aea
jmol: 14.31.41 -> 14.31.42
2021-06-26 04:00:04 +00:00
github-actions[bot]
947012b992
Merge staging-next into staging
2021-06-26 00:09:11 +00: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
github-actions[bot]
be086cc67b
Merge staging-next into staging
2021-06-25 12:06:08 +00: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
github-actions[bot]
1f528e6ac6
Merge staging-next into staging
2021-06-24 00:06:31 +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
github-actions[bot]
bcc720d9c5
Merge staging-next into staging
2021-06-23 18:04:33 +00: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
sternenseemann
ba01fb866a
glsurf: use ocamlPackages_4_05
...
Update to somewhat newer OCaml, so we can hopefully retire older sets in
the future.
2021-06-23 14:52:32 +00: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