github-actions[bot]
5a9b6a3f1a
Merge master into staging-next
2022-03-29 12:06:05 +00:00
Sandro
1f6bdf4d93
Merge pull request #165458 from rbreslow/add-flywheel-cli
2022-03-29 13:33:54 +02:00
alyaeanyx
aa931a46e0
gprojector: 3.0.2 -> 3.0.3
2022-03-28 23:56:35 +02:00
Rocky Breslow
603e9d7b64
flywheel-cli: init at 16.2.0
2022-03-28 15:54:39 -04:00
R. Ryantm
53dff2f7c8
rink: 0.6.2 -> 0.6.3
2022-03-28 18:13:37 +00:00
Jan Tojnar
c8a5db3854
Merge branch 'staging-next' into staging
...
; Conflicts:
; pkgs/tools/archivers/rar/default.nix
2022-03-28 17:56:38 +02:00
Jan Tojnar
997bb5e42c
Merge branch 'master' into staging-next
...
; Conflicts:
; pkgs/development/python-modules/dnspython/default.nix
; pkgs/development/python-modules/googleapis-common-protos/default.nix
2022-03-28 17:55:31 +02:00
Sandro
a63a39e238
Merge pull request #165335 from willcohen/qwt-6.2
2022-03-28 14:19:09 +02:00
Sandro
2f1e03cb2b
Merge pull request #165691 from lucc/github-removed-unencrypted-git
2022-03-28 12:47:42 +02:00
Maximilian Bosch
f9dd150fbe
Merge pull request #165960 from Ma27/bump-stellarium
...
stellarium: 0.21.3 -> 0.22.0
2022-03-28 10:06:37 +02:00
7c6f434c
1dfd957336
Merge pull request #165570 from r-ryantm/auto-update/jmol
...
jmol: 14.32.33 -> 14.32.39
2022-03-28 07:52:03 +00:00
github-actions[bot]
36198fe197
Merge staging-next into staging
2022-03-27 18:01:40 +00:00
github-actions[bot]
e3d20dfaa5
Merge master into staging-next
2022-03-27 18:01:05 +00:00
Maximilian Bosch
c951914f43
stellarium: 0.21.3 -> 0.22.0
...
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.0
2022-03-27 17:40:34 +02:00
Sandro
966dd84461
Merge pull request #165778 from Luz/ngspice
2022-03-27 16:13:39 +02:00
Martin Weinelt
d68657af92
Merge remote-tracking branch 'origin/master' into staging-next
2022-03-27 15:54:05 +02:00
Sandro
7d63d0891b
Merge pull request #156413 from numinit/klee-fixes
2022-03-27 13:36:16 +02:00
Sandro
08e8862bca
Merge pull request #159943 from evils/kicad-unstable
2022-03-27 11:58:39 +02:00
Sandro
2a581ac5e5
Merge pull request #164981 from evils/kicad-6.0.4
2022-03-27 11:58:31 +02:00
github-actions[bot]
77dc421883
Merge staging-next into staging
2022-03-26 18:01:56 +00:00
github-actions[bot]
3b6f03e497
Merge master into staging-next
2022-03-26 18:01:22 +00:00
Will Cohen
f405c59874
libsForQt5.qwt: 6.1.6 -> 6.2.0
2022-03-26 13:35:18 -04:00
Sandro
f338d0737c
Merge pull request #159997 from jvanbruegge/isabelle-linter
2022-03-26 15:58:08 +01:00
Luz
793d40b8df
ngspice: 34 -> 36
2022-03-25 19:19:48 +01:00
github-actions[bot]
84962daf66
Merge staging-next into staging
2022-03-25 18:01:48 +00:00
github-actions[bot]
c6dd9fd65d
Merge master into staging-next
2022-03-25 18:01:14 +00:00
Silvan Mosberger
3180037c84
Merge pull request #164616 from TilCreator/update-inav-configurator
...
inav-configurator: 3.0.2 -> 4.1.0
2022-03-25 18:19:45 +01:00
github-actions[bot]
8357b101a5
Merge staging-next into staging
2022-03-25 12:02:05 +00:00
Lucas Hoffmann
f3bda2f2c0
docs: replace defunct git://github.com urls with https://
2022-03-25 11:21:42 +01:00
Vladimír Čunát
0a8b4eddd2
Merge branch 'master' into staging-next
2022-03-25 10:16:56 +01:00
Ben Siraphob
1cf5591a99
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18
2022-03-24 22:55:34 -05:00
Connor Baker
0489a21577
z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0
2022-03-24 16:44:24 -04:00
davidak
6ea8d5ee71
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17
...
treewide: rename name to pname&version
2022-03-24 16:38:33 +01:00
Ryan Mulligan
994642544e
Merge pull request #165594 from r-ryantm/auto-update/marvin
...
marvin: 22.7.0 -> 22.8.0
2022-03-24 07:57:52 -07:00
Doron Behar
4a02c56a7d
Merge pull request #164746 from ncfavier/makeWrapper-chdir
2022-03-24 13:51:27 +02:00
R. Ryantm
a7f7b6977f
marvin: 22.7.0 -> 22.8.0
2022-03-24 10:35:36 +00:00
Vincent Laporte
3d0a9d1668
coq_8_15: 8.15.0 → 8.15.1
2022-03-24 10:17:42 +01:00
R. Ryantm
a4bf7fed59
jmol: 14.32.33 -> 14.32.39
2022-03-24 06:38:50 +00:00
Felix Buehler
3bc5196252
treewide: rename name to pname&version
2022-03-23 22:55:50 +01:00
Felix Buehler
e0476d93fe
treewide: rename name to pname&version
2022-03-23 22:34:54 +01:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component
2022-03-23 14:47:21 +01:00
markuskowa
3095b43655
Merge pull request #165368 from sikmir/gnuastro
...
gnuastro: init at 0.17
2022-03-23 13:04:04 +01:00
github-actions[bot]
c80dabe3b1
Merge staging-next into staging
2022-03-23 06:01:55 +00:00
Nikolay Korotkiy
d9d3fe9b7c
gnuastro: init at 0.17
2022-03-23 07:37:18 +03:00
Sandro
50715837d6
Merge pull request #165277 from mpoquet/simgrid-3.30-to-3.31
2022-03-23 04:18:06 +01:00
ajs124
6324abc93e
libpng_apng: drop
...
It's been the same as libpng since 8164d28
2022-03-23 03:20:11 +01:00
zowoq
be98149597
Merge remote-tracking branch 'origin/staging-next' into staging
...
Conflicts:
pkgs/servers/isso/default.nix
2022-03-23 10:04:17 +10:00
R. Ryantm
8fd85d6940
verilator: 4.218 -> 4.220
2022-03-22 23:21:05 +00:00
Franz Pletz
9dd3e78f7e
Merge pull request #165194 from q3k/q3k/magic-vlsi-8.7.277
...
magic-vlsi: 8.3.109 -> 8.3.277
2022-03-22 22:00:17 +01:00
Millian Poquet
9ff032c291
simgrid: 3.30 -> 3.31
...
- addition of the optional eigen dependency, used by a new simulation
model (bmf) that looks very promising to take interference phenomena
into account while remaining coarse-grained.
- enabled the new dependency by default as I think this is interesting
for most users.
2022-03-22 14:52:22 +01:00
github-actions[bot]
c62314becb
Merge staging-next into staging
2022-03-22 06:01:42 +00:00
Serge Bazanski
8171e0a24e
magic-vlsi: 8.3.109 -> 8.3.277
2022-03-22 02:14:44 +01:00
Sandro
4348e36456
Merge pull request #164248 from Stunkymonkey/treewide-fetchFromGitHub-2
2022-03-22 02:13:45 +01:00
github-actions[bot]
03c279d7ea
Merge staging-next into staging
2022-03-22 00:02:58 +00:00
Jörg Thalheim
800d3e733c
Merge pull request #165100 from armeenm/remove-golly-beta
...
golly-beta: remove
2022-03-21 20:20:31 +00:00
github-actions[bot]
6ae26bb3c8
Merge staging-next into staging
2022-03-21 18:07:51 +00:00
Ryan Mulligan
0ecdc95822
Merge pull request #165002 from r-ryantm/auto-update/kstars
...
kstars: 3.5.7 -> 3.5.8
2022-03-21 10:02:16 -07:00
Armeen Mahdian
858e03cf1f
golly-beta: remove
...
Golly is more up to date
2022-03-21 07:08:53 -05:00
Vladimír Čunát
a519740b4c
Merge branch 'staging-next' into staging
2022-03-21 11:57:43 +01:00
R. Ryantm
142a76c412
kstars: 3.5.7 -> 3.5.8
2022-03-20 17:43:56 +00:00
Gabriel Ebner
3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche
...
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
Evils
dfb7d36e7a
kicad-unstable: 2022-01-13 -> 2022-03-19
2022-03-20 16:32:32 +01:00
Evils
fc6f267e5d
kicad: 6.0.2 -> 6.0.4
...
6.0.3 was tagged but never released due to an issue
2022-03-20 15:36:44 +01:00
Doron Behar
6f227f03cb
qalculate-gtk: 4.0.0 -> 4.1.0
2022-03-20 16:04:47 +08:00
Bobby Rong
b3549ba290
Merge pull request #164837 from bobby285271/pantheon-eco
...
various: remove elementary-icon-theme from buildInputs & vala 0.56 fixes
2022-03-20 13:34:08 +08:00
Martin Weinelt
f4f3622cb1
Merge remote-tracking branch 'origin/staging-next' into staging
2022-03-20 00:00:32 +01:00
Bobby Rong
88aee703c2
various: remove elementary-icon-theme from buildInputs
...
These apps don't hardcode their icon themes and the icon theme
is no longer picked up by wrapGAppsHook by default. User may
also able to choose to use icon themes of their choice so pulling
them to XDG_DATA_DIRS is mostly no use.
2022-03-19 17:16:30 +08:00
Naïm Favier
9160044f5f
treewide/makeWrapper: replace --run cd with --chdir
...
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
2022-03-19 09:46:31 +01:00
7c6f434c
c8677c4da2
Merge pull request #164193 from NixOS/r-updates
...
R 4.1.2 -> 4.1.3 and rPackages bump
2022-03-18 17:27:53 +00:00
Ryan Mulligan
bfe3a6f08a
Merge pull request #164022 from r-ryantm/auto-update/jmol
...
jmol: 14.32.30 -> 14.32.33
2022-03-18 10:25:57 -07:00
Sandro
957075fd6d
Merge pull request #164375 from fedeinthemix/gaw-update
2022-03-18 17:58:40 +01:00
Gabriel Ebner
dccd0f76c3
Merge pull request #164717 from collares/lean-3.42.0
...
lean: 3.41.0 -> 3.42.0
2022-03-18 17:31:26 +01:00
Armeen Mahdian
6cfaf0a464
eggnog-mapper: 1.0.3 -> 2.1.7
...
https://github.com/eggnogdb/eggnog-mapper/releases
2022-03-18 10:26:47 -05:00
Mauricio Collares
897ba65b6f
lean: 3.41.0 -> 3.42.0
2022-03-18 11:52:10 -03:00
github-actions[bot]
588298ee0a
Merge staging-next into staging
2022-03-18 12:01:57 +00:00
R. Ryantm
d055eda636
mavproxy: 1.8.46 -> 1.8.48
2022-03-18 11:17:17 +00:00
R. Ryantm
d29ff668b5
opensmt: 2.3.0 -> 2.3.1
2022-03-17 18:40:58 +00:00
tilcreator
73449ea799
inav-configurator: 3.0.2 -> 4.1.0
2022-03-17 17:50:49 +01:00
Felix Buehler
f8684d34e9
cntk: switch to fetchFromGitHub
2022-03-16 23:23:09 +01:00
github-actions[bot]
177bd4ed53
Merge staging-next into staging
2022-03-16 18:01:43 +00:00
Bobby Rong
2079219a72
Merge pull request #164162 from jdupak/master
...
QtRVSim: 0.9.1 -> 0.9.2
2022-03-16 21:32:22 +08:00
Federico Beffa
3076eab196
gaw: 20200922 -> 20220315
2022-03-16 08:01:53 +01:00
zowoq
6431086967
Merge remote-tracking branch 'origin/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/symengine/default.nix
2022-03-16 16:03:43 +10:00
Morgan Jones
98a951c509
klee: build with klee-uclibc
...
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
2022-03-15 19:21:00 -06:00
Ryan Mulligan
2a0d98d319
Merge pull request #163638 from r-ryantm/auto-update/siril
...
siril: 0.99.10.1 -> 1.0.0
2022-03-15 14:56:47 -07:00
Ryan Mulligan
7e1cc45b66
Merge pull request #162443 from r-ryantm/auto-update/phd2
...
phd2: 2.6.10 -> 2.6.11
2022-03-15 14:56:29 -07:00
Martin Weinelt
8d18f29b60
Merge pull request #161366 from NixOS/staging-next
...
Staging next 2022-02-22
2022-03-15 22:31:01 +01:00
Ben Siraphob
cc7b9eac78
Merge pull request #164195 from siraben/nuXmv-init
2022-03-15 18:53:13 +00:00
Ben Siraphob
b39792d141
nuXmv: init at 2.0.0
2022-03-15 13:50:58 -05:00
Vladimír Čunát
b61852cd94
Merge branch 'master' into staging-next
2022-03-15 18:08:32 +01:00
Rasmus Thomsen
69895c6248
bada-bib: 0.5.1 -> 0.6.0
2022-03-15 12:50:26 +01:00
Jakub Dupak
b72a99d718
QtRVSim: 0.9.1 -> 0.9.2
2022-03-14 22:04:17 +02:00
Alyssa Ross
d7e181ff83
Merge remote-tracking branch 'nixpkgs/staging-next' into staging
...
Conflicts:
pkgs/development/compilers/ocaml/4.12.nix
pkgs/development/python-modules/oci/default.nix
pkgs/tools/admin/bubblewrap/default.nix
2022-03-14 12:33:16 +00:00
github-actions[bot]
0ed928e4ab
Merge master into staging-next
2022-03-14 12:01:26 +00:00
Mauricio Collares
5240cbc0d8
sage: adapt tachyon interface for 0.99.3
2022-03-13 16:53:22 -03:00
R. Ryantm
6d61669d69
jmol: 14.32.30 -> 14.32.33
2022-03-13 16:20:57 +00:00
github-actions[bot]
1630ab9b47
Merge master into staging-next
2022-03-13 06:05:11 +00:00
Jakub Dupak
d09489e5f1
QtRvSim: init at 0.9.1 ( #163128 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-03-13 03:08:40 +01:00
github-actions[bot]
6f7d104254
Merge master into staging-next
2022-03-13 00:02:14 +00:00
Sandro
529b89d755
Merge pull request #161434 from collares/lean-3.40.0
2022-03-12 23:43:20 +01:00
Sandro
8057801ad7
Merge pull request #163849 from fedeinthemix/add-xschem-2
2022-03-12 22:32:08 +01:00
R. Ryantm
29d7a27d9f
opensmt: 2.2.0 -> 2.3.0
2022-03-12 17:44:51 +00:00
Federico Beffa
5d702c6b23
gaw: init at version 20200922
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-03-12 17:50:10 +01:00
Federico Beffa
a40de4b146
xschem: init at version 3.0.0
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-03-12 17:49:48 +01:00
github-actions[bot]
a9a2d9475d
Merge staging-next into staging
2022-03-11 18:01:59 +00:00
github-actions[bot]
7573d7fe79
Merge master into staging-next
2022-03-11 18:01:20 +00:00
Renaud
28721c55c5
Merge pull request #160342 from Luflosi/update/yosys
...
yosys: 0.12+54 -> 0.15
2022-03-11 18:15:51 +01:00
Mauricio Collares
bab25a7a3a
lean: 3.40.0 -> 3.41.0
2022-03-11 11:40:27 -03:00
R. Ryantm
f764458ed2
siril: 0.99.10.1 -> 1.0.0
2022-03-10 22:40:03 +00:00
Justin Bedo
3739a7819d
R: 4.1.2 -> 4.1.3
2022-03-10 22:31:13 +11:00
github-actions[bot]
f6b4a4048a
Merge staging-next into staging
2022-03-09 12:01:59 +00:00
github-actions[bot]
201cc2f89b
Merge master into staging-next
2022-03-09 00:02:05 +00:00
Luflosi
0e4d199cbd
abc-verifier: 2021.11.12 -> 2022.03.04
2022-03-08 18:28:13 +01:00
R. Ryantm
e0c3da7946
jmol: 14.32.28 -> 14.32.30
2022-03-08 16:34:40 +00:00
github-actions[bot]
69e1d85d54
Merge staging-next into staging
2022-03-06 18:01:46 +00:00
github-actions[bot]
68a45fb1f2
Merge master into staging-next
2022-03-06 18:01:10 +00:00
R. Ryantm
f3288c60f0
marvin: 22.3.0 -> 22.7.0
2022-03-06 07:45:27 +00:00
github-actions[bot]
6933fb31ab
Merge staging-next into staging
2022-03-06 06:01:40 +00:00
github-actions[bot]
3f8e60728f
Merge master into staging-next
2022-03-06 06:01:06 +00:00
Bobby Rong
cf7e4cac05
Merge pull request #161194 from wucke13/mission-planner
...
mission-planner: 1.3.74 -> 1.3.76
2022-03-06 13:28:50 +08:00
github-actions[bot]
90f82a2f9a
Merge staging-next into staging
2022-03-06 00:02:44 +00:00
github-actions[bot]
9dd2a8b600
Merge master into staging-next
2022-03-06 00:02:10 +00:00
Dmitry Kalinkin
149d68268d
root: fix ROOTConfig.cmake.in patching
2022-03-04 21:04:19 -05:00
github-actions[bot]
a072933f52
Merge staging-next into staging
2022-03-05 00:02:27 +00:00
github-actions[bot]
d4bfb57f40
Merge master into staging-next
2022-03-05 00:01:54 +00:00
7c6f434c
d5058ae9e5
Merge pull request #162688 from r-ryantm/auto-update/jmol
...
jmol: 14.32.24 -> 14.32.28
2022-03-04 20:43:10 +00:00
github-actions[bot]
d3cf053b7f
Merge staging-next into staging
2022-03-04 18:01:54 +00:00
github-actions[bot]
437813752b
Merge master into staging-next
2022-03-04 18:01:19 +00:00
Bruno Bzeznik
7d62054650
angsd: init at 0.937
2022-03-04 09:17:35 -06:00
Alyssa Ross
c010a19a56
Merge remote-tracking branch 'nixpkgs/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/hypothesmith/default.nix
2022-03-04 14:53:05 +00:00
github-actions[bot]
fc22d0d5e2
Merge master into staging-next
2022-03-04 12:01:33 +00:00
Matthew Wakefield
e85b65f986
minimap2: enable aarch64 builds ( #161169 )
...
Co-authored-by: Bobby Rong <rjl931189261@126.com>
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-03-04 12:27:29 +01:00
R. Ryantm
f5258a7d12
jmol: 14.32.24 -> 14.32.28
2022-03-03 23:44:55 +00:00
github-actions[bot]
18a9a18e2b
Merge staging-next into staging
2022-03-02 12:10:55 +00:00
github-actions[bot]
12423e2e92
Merge master into staging-next
2022-03-02 12:05:47 +00:00
R. Ryantm
04ee1b8975
phd2: 2.6.10 -> 2.6.11
2022-03-02 03:13:28 +00:00
Justin Bedo
89eff15f31
last: 1260 -> 1268
2022-03-02 13:35:56 +11:00
Jan van Brügge
c1ef185bdb
isabelle: Use naproche from nixpkgs
2022-03-01 13:43:38 +01:00
Jan van Brügge
2b71e68503
naproche: init at 0.1.0.0
2022-03-01 13:43:37 +01:00
github-actions[bot]
fbd1c5b484
Merge staging-next into staging
2022-03-01 12:11:43 +00:00
github-actions[bot]
4ae3f9a06c
Merge master into staging-next
2022-03-01 12:05:54 +00:00
Gabriel Ebner
8934eb7c91
Merge pull request #157843 from jvanbruegge/isabelle_setup
...
isabelle: Rebuild isabelle_setup.jar
2022-03-01 12:11:25 +01:00
zowoq
64a89aac86
Merge staging-next into staging
...
Conflicts:
pkgs/development/libraries/sqlite/default.nix
2022-03-01 16:20:52 +10:00
R. Ryantm
de0ff65232
cwltool: 3.1.20220221074232 -> 3.1.20220224085855
2022-03-01 03:46:50 +00:00
grnnja
b6c7526d3a
jflap: init at 7.1
2022-02-28 17:12:08 -08:00
github-actions[bot]
bfb0bc0461
Merge master into staging-next
2022-02-28 18:05:41 +00:00
Sandro
b7ec0afb59
Merge pull request #162205 from Stunkymonkey/treewide-vVersion
2022-02-28 14:26:16 +01:00
Felix Buehler
1573dbdcd0
treewide: fix versions starting with 'v'
2022-02-28 13:05:18 +01:00
github-actions[bot]
f831b62376
Merge staging-next into staging
2022-02-28 12:01:47 +00:00
github-actions[bot]
e71c1249e8
Merge master into staging-next
2022-02-28 12:01:10 +00:00
Felix Buehler
fe7678ca81
raxml-mpi: remove appendToName to have a consistent package name for repology
2022-02-28 12:46:15 +01:00
Felix Buehler
13dca33cdc
neuron-mpi: remove appendToName to have a consistent package name for repology
2022-02-28 12:46:15 +01:00
Bobby Rong
f35d1b8568
Merge pull request #160332 from florentc/tlaps
...
tlaps: 1.4.3 -> 1.4.5
2022-02-28 16:33:42 +08:00
Jonathan Ringer
3af9faf36d
Merge pull request #133431 from Ma27/glibc-2.34
...
glibc: 2.33-108 -> 2.34-115
2022-02-27 18:07:11 -08:00
github-actions[bot]
6787116890
Merge master into staging-next
2022-02-28 00:02:07 +00:00
Guillaume Girol
b9ecdae495
Merge pull request #161344 from ulrikstrid/ulrikstrid/tree-wide-native-inputs
...
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
2022-02-27 19:49:07 +00:00
7c6f434c
da576d8a4a
Merge pull request #161876 from FRidh/sage-python
...
Sage: make it possible to extend the Python runtime environment with additional packages
2022-02-27 19:02:59 +00:00
Maximilian Bosch
52bba1de8a
clingcon: fix build w/glibc-2.34
...
Failing Hydra build: https://hydra.nixos.org/build/163641612
2022-02-27 10:26:56 +01:00
AndersonTorres
ed2b1b4b90
Merge branch 'master' into staging-next
2022-02-26 21:04:25 -03:00
Vincent Laporte
68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native
...
coq: Move dune, ocaml and findlib to nativeBuildInputs
2022-02-26 08:54:53 +01:00
R. Ryantm
21a1125f37
gmsh: 4.9.4 -> 4.9.5
2022-02-25 14:21:11 -08:00
K900
cb2cfba6f7
treewide: switch all desktop file generators to new API
...
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
2022-02-25 13:40:38 -08:00
Frederik Rietdijk
330d9344d2
sage: make it possible not to rebuild sage-tests
...
Requiring sage-tests as build input just so it gets build is a bit
unfortunatey but understandable. This commit introduces an option to not
add sage-tests as a dependency. This is preferred in case e.g. Python
packages are added to the environment.
2022-02-25 21:27:14 +01:00
Frederik Rietdijk
7442533bf1
sage: support adding extra Python packages to environment
...
mysage = sage.override { extraPythonPackages = ps: with ps; [ dask ]; };
Note that the sage-tests are executed again as well, which is not very nice.
2022-02-25 21:18:23 +01:00
R. Ryantm
1e7c64aae1
bcftools: 1.14 -> 1.15
2022-02-25 11:12:05 -08:00
markuskowa
49186d631f
Merge pull request #161635 from r-ryantm/auto-update/jmol
...
jmol: 14.32.21 -> 14.32.24
2022-02-25 13:42:31 +01:00
Ulrik Strid
7e20e9039e
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-25 07:54:17 +01:00
Vincent Laporte
056c34167d
why3: 1.4.0 → 1.4.1
2022-02-25 06:00:09 +01:00
Justin Bedő
6b477d556d
Merge pull request #161695 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.26.10 -> 2.26.11
2022-02-25 08:27:23 +11:00
R. Ryantm
d6a24fc108
cwltool: 3.1.20220217222804 -> 3.1.20220221074232
2022-02-24 15:52:49 -05:00
R. Ryantm
ce9d28cc49
picard-tools: 2.26.10 -> 2.26.11
2022-02-24 17:34:18 +00:00
Ulrik Strid
48df7cdbba
coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir
2022-02-24 14:39:45 +01:00
Ulrik Strid
a13cdfe520
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
...
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
R. Ryantm
1b8518cadd
jmol: 14.32.21 -> 14.32.24
2022-02-24 08:42:12 +00:00
github-actions[bot]
cd6011bf17
Merge master into staging-next
2022-02-24 00:02:03 +00:00
Renaud
65ecaa9903
Merge pull request #150078 from r-ryantm/auto-update/gurobi
...
gurobi: 9.1.2 -> 9.5.0
2022-02-23 22:08:43 +01:00
github-actions[bot]
37f89e2837
Merge master into staging-next
2022-02-23 18:01:10 +00:00
Markus Kowalewski
469ae42107
gromacs: 2021.5 -> 2022
2022-02-23 14:47:26 +01:00
Renaud
a723c88d4e
Merge pull request #159967 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.5 -> 3.3.6
2022-02-23 13:30:39 +01:00
github-actions[bot]
10c4b97b44
Merge master into staging-next
2022-02-23 12:01:11 +00:00
Renaud
359d63179e
Merge pull request #160360 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.22.0 -> 4.0.0
2022-02-23 08:30:49 +01:00
Mauricio Collares
4ba9b2d198
lean: 3.39.2 -> 3.40.0
2022-02-22 21:02:08 -03:00
github-actions[bot]
ac0e0313b5
Merge staging-next into staging
2022-02-22 06:01:53 +00:00
Bobby Rong
93883402a4
Merge pull request #160594 from Cogitri/bada-bib
...
bada-bib: 0.4.1 -> 0.5.1
2022-02-22 12:10:40 +08:00
github-actions[bot]
f8210665fc
Merge staging-next into staging
2022-02-22 00:02:51 +00:00
Mauricio Collares
586b897693
sage: update test expectations for stack_data 0.2.0
2022-02-21 14:49:16 -08:00
Wanja Zaeske
2d67cc2bf6
removing maintainer wucke13 from some packages
2022-02-21 22:58:18 +01:00
ajs124
55bf481a21
Merge pull request #159212 from helsinki-systems/init/febio-studio
...
febio-studio: init at 1.6.1
2022-02-21 17:24:33 +01:00
Scriptkiddi
4e60a4823b
febio-studio: init at 1.6.1
2022-02-21 16:43:36 +01:00
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 #160924 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
...
(#150127 )
2022-02-19 22:41:33 +01:00
Mario Rodas
94723d21f9
Merge pull request #159540 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 #160545 from collares/lean-3.39.2
...
lean: 3.39.1 -> 3.39.2
2022-02-18 06:26:51 -05:00
