Artturi
0099cd6289
Merge pull request #137636 from bzizou/obitools
2021-11-03 12:30:53 +02:00
Bruno Bzeznik
0d9ec2d3f0
obitools3: fix build on aarch64 + formatting
2021-11-03 11:59:05 +02:00
R. Ryantm
14ee52edff
elan: 1.3.0 -> 1.3.1
...
(cherry picked from commit 4cb7820ac9
2021-11-03 10:51:13 +01:00
Artturi
74f25e606c
Merge pull request #143613 from r-ryantm/auto-update/cytoscape
...
cytoscape: 3.8.2 -> 3.9.0
2021-11-02 14:39:53 +02:00
Artturi
495f6106d5
Merge pull request #144226 from r-ryantm/auto-update/antiprism
...
antiprism: 0.26 -> 0.29
2021-11-02 14:19:37 +02:00
Artturi
ff29a7175b
Merge pull request #143618 from r-ryantm/auto-update/dcm2niix
...
dcm2niix: 1.0.20210317 -> 1.0.20211006
2021-11-02 13:58:10 +02:00
R. Ryantm
253e9ecfab
antiprism: 0.26 -> 0.29
2021-11-02 11:08:06 +00:00
Justin Bedo
257a939cfc
R: 4.1.1 -> 4.1.2
2021-11-02 17:42:34 +11:00
github-actions[bot]
d27dd6653e
Merge master into staging-next
2021-11-02 00:01:32 +00:00
Vincent Laporte
f727a6aebe
why3: remove spurious camlp5 dependency
2021-11-01 20:37:57 +01:00
Mauricio Collares
89d7336c20
lean: 3.34.0 -> 3.35.0
2021-11-01 19:17:17 +01:00
Mauricio Collares
c707a468a4
lean: 3.33.0 -> 3.34.0
2021-11-01 19:17:17 +01:00
github-actions[bot]
bd0051cd54
Merge master into staging-next
2021-11-01 18:01:02 +00:00
Gabriel Ebner
f13aa788e1
elan: 1.2.0 -> 1.3.0
2021-11-01 13:37:56 +01:00
github-actions[bot]
7eaf56d92e
Merge master into staging-next
2021-11-01 00:01:32 +00:00
Sandro
dcc0ba6967
Merge pull request #144043 from Smaug123/lean-darwin
2021-10-31 23:39:39 +01:00
Smaug123
925ab444c9
elan: 1.1.0 -> 1.2.0
...
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
2021-10-31 21:41:38 +00:00
Sandro
254f7f273a
Merge pull request #143798 from evils/kicad-5.1.11
2021-10-31 22:11:41 +01:00
github-actions[bot]
f66386e3b1
Merge master into staging-next
2021-10-31 12:01:13 +00:00
Robert Scott
b56f93abf9
Merge pull request #143764 from r-ryantm/auto-update/hal-hardware-analyzer
...
hal-hardware-analyzer: 3.2.6 -> 3.3.0
2021-10-31 11:53:35 +00:00
Sergei Trofimovich
597eb07e00
yices: drop symlink hack, avoid ldconfig on linux
...
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263
Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
2021-10-31 09:08:41 +01:00
Evils
d44db8ddaa
kicad: 5.1.10 -> 5.1.11
2021-10-30 06:32:39 +02:00
R. Ryantm
705e4006ae
hal-hardware-analyzer: 3.2.6 -> 3.3.0
2021-10-29 22:20:48 +00:00
R. Ryantm
6282512ef7
dcm2niix: 1.0.20210317 -> 1.0.20211006
2021-10-29 09:34:20 +00:00
R. Ryantm
5ba5ff1a84
cytoscape: 3.8.2 -> 3.9.0
2021-10-29 09:08:26 +00:00
github-actions[bot]
e7fbce41fc
Merge master into staging-next
2021-10-29 06:01:10 +00:00
R. Ryantm
a5403b9a36
scotch: 6.0.4 -> 6.1.1
2021-10-29 03:59:24 +00:00
R. Ryantm
5f6bd8187b
bcftools: 1.13 -> 1.14
2021-10-29 02:49:14 +00:00
R. Ryantm
760160e64d
bcal: 2.2 -> 2.3
2021-10-29 02:44:23 +00:00
Martin Weinelt
da1f248229
Merge remote-tracking branch 'origin/master' into staging-next
2021-10-28 19:51:45 +02:00
Sandro
b25f4f082d
Merge pull request #143391 from eduardosm/remove-maintainer
2021-10-28 18:19:06 +02:00
Sandro Jäckel
a3286ac6cb
gromacs: fix formatting
2021-10-28 16:47:06 +02:00
Sandro Jäckel
face360c08
gromacs: replace lib.lists.optional with lib.optional
2021-10-28 16:46:13 +02:00
Eduardo Sánchez Muñoz
5fdab076f0
maintainers: remove eduardosm
2021-10-28 16:21:46 +02:00
Phillip Seeber
e4d824f4e3
gromacs: bool switches for MPI and CUDA
2021-10-28 14:52:30 +02:00
github-actions[bot]
ea4da560ff
Merge master into staging-next
2021-10-28 12:01:32 +00:00
Phillip Seeber
19e71dfa87
gromacs: 2020.4 -> 2021.3, cuda, mpi cleanups, performance tunings
...
gromacs: dont build double cuda version
gromacs: propagate mpi
2021-10-28 13:50:39 +02:00
Nikolay Korotkiy
89707c93aa
pcalc: enable on darwin
2021-10-28 12:47:11 +03:00
github-actions[bot]
160c71e060
Merge master into staging-next
2021-10-27 06:01:21 +00:00
Dmitry Kalinkin
4cdfe28fec
Merge pull request #142798 from veprbl/pr/sherpa_2_2_11
...
sherpa: 2.2.10 -> 2.2.11
2021-10-26 20:38:57 -04:00
github-actions[bot]
23c6bab47e
Merge master into staging-next
2021-10-27 00:01:25 +00:00
Sandro
673eb1eb65
Merge pull request #142795 from veprbl/pr/snakemake_6_10_0
2021-10-26 22:21:30 +02:00
github-actions[bot]
9a27efeb34
Merge master into staging-next
2021-10-26 18:01:19 +00:00
Mustafa Çalışkan
66ea992d48
fritzing: 0.9.6 -> unstable-2021-09-22 ( #136142 )
2021-10-26 17:23:21 +02:00
Dmitry Kalinkin
b6ef9916e4
sherpa: 2.2.10 -> 2.2.11
2021-10-24 18:22:59 -04:00
Dmitry Kalinkin
49d19b7945
snakemake: 6.7.0 -> 6.10.0
2021-10-24 17:49:14 -04:00
Jonathan Ringer
fc25d94010
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
pkgs/development/python-modules/jupyter-client/default.nix
pkgs/development/python-modules/jupyterlab-git/default.nix
2021-10-22 09:33:07 -07:00
Vincent Laporte
22e732d03c
tamarin-prover: 1.6.0 → 1.6.1
2021-10-22 07:38:30 +02:00
Artturi
493094366b
Merge pull request #142164 from jbedo/last
...
last: 1179 -> 1256
2021-10-22 08:37:19 +03:00
Justin Bedő
4e83abb0cb
Merge pull request #142199 from jbedo/picard
...
picard-tools: 2.26.2 -> 2.26.3
2021-10-22 14:36:28 +11:00
Justin Bedő
0689e7368d
Merge pull request #142333 from NixOS/r-updates
...
rPackages: update R, CRAN, and BIOC
2021-10-22 14:33:46 +11:00
Sandro
b41a876d6e
Merge pull request #141750 from superherointj/python3-alias-jupyter-client
2021-10-21 21:56:31 +02:00
github-actions[bot]
54a42ab846
Merge master into staging-next
2021-10-21 06:01:21 +00:00
Bobby Rong
85b417446a
Merge pull request #142239 from bcdarwin/update-abella
...
abella: 2.0.6 -> 2.0.7
2021-10-21 08:51:08 +08:00
github-actions[bot]
5808494271
Merge master into staging-next
2021-10-20 00:01:37 +00:00
figsoda
d68053da0a
Merge pull request #142256 from evils/kicad-domain
...
kicad: use new domain name
2021-10-19 17:46:19 -04:00
Evils
e2ae6cc0f4
kicad: use new domain name
...
as the old one is now no longer controlled by the kicad organization
2021-10-19 23:31:38 +02:00
Ben Darwin
3032353fcb
abella: 2.0.6 -> 2.0.7
2021-10-19 13:25:44 -04:00
Vladimír Čunát
01df3cd7dd
Merge branch 'master' into staging-next
2021-10-19 19:24:43 +02:00
Justin Bedo
f120d4daf4
picard-tools: 2.26.2 -> 2.26.3
2021-10-19 21:24:56 +11:00
Justin Bedo
08489c40ab
fastp: 0.22.0 -> 0.23.1
2021-10-19 21:09:05 +11:00
Justin Bedo
f7414542d0
last: 1179 -> 1256
2021-10-19 13:23:14 +11:00
github-actions[bot]
8863d12326
Merge master into staging-next
2021-10-18 12:01:18 +00:00
Ryan Burns
073fe478e1
Merge pull request #140209 from balodja/openmodelica
...
openmodelica: 1.17.0 -> 1.18.0
2021-10-18 02:06:22 -07:00
Justin Bedo
71eeb7ee56
Merge remote-tracking branch 'origin/master' into r-updates
2021-10-17 21:41:51 +11:00
Justin Bedo
3a0bdda3d9
R: add myself to maintainers
2021-10-17 08:41:58 +11:00
Martin Weinelt
a415d5dd2e
Merge remote-tracking branch 'origin/master' into staging-next
2021-10-15 23:10:08 +02:00
Théo Zimmermann
e242eef8a4
coq_8_14: 8.14+rc1 -> 8.14.0
2021-10-15 18:50:05 +02:00
superherointj
206f3ab323
pythonPackages.jupyter_client: renamed to jupyter-client
2021-10-15 07:51:23 -03:00
Artturi
6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links
2021-10-15 05:07:49 +03:00
Martin Weinelt
adf4e67dd4
Merge remote-tracking branch 'origin/staging' into staging-next
2021-10-15 01:34:36 +02:00
Shadaj Laddad
9d02ea53de
cadical: include C++ headers
2021-10-14 15:23:05 -07:00
Michael Raskin
ea4c595210
Merge pull request #141612 from vbgl/leo2-1.7.0
...
leo2: 1.6.2 → 1.7.0
2021-10-14 11:01:18 +00:00
Peter Simons
476635afe1
Drop myself from meta.maintainers for most packages.
...
I'd like to reduce the number of Github notifications and
review requests I receive.
2021-10-14 11:01:27 +02:00
Vincent Laporte
cafe9f88fc
leo2: 1.6.2 → 1.7.0
...
Fix build with recent C++ compilers
Use a more recent OCaml (4.05)
2021-10-14 09:45:49 +02:00
Alyssa Ross
851b719ac6
treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate
2021-10-13 17:39:37 +00:00
Sergei Trofimovich
0b2d3bbfcb
yices: 2.6.3 -> 2.6.2
...
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854
The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
2021-10-13 17:58:26 +01:00
Théo Zimmermann
3437b543fd
coq_8_14: init at 8.14+rc1
2021-10-13 10:44:09 +02:00
Vincent Laporte
e31bc3d26a
coq2html: 1.2 → 1.3
2021-10-13 10:15:05 +02:00
github-actions[bot]
0bb8cb9c7a
Merge staging-next into staging
2021-10-13 06:01:52 +00:00
Ryan Burns
2df1874125
Merge pull request #141430 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.44 -> 1.8.45
2021-10-12 17:59:17 -07:00
R. RyanTM
f9da99e40d
mavproxy: 1.8.44 -> 1.8.45
2021-10-13 00:39:29 +00:00
github-actions[bot]
e69f5a133f
Merge staging-next into staging
2021-10-13 00:02:00 +00:00
Sergei Trofimovich
b18a746169
yices: 2.6.1 -> 2.6.3 ( #141241 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-10-12 23:09:47 +02:00
Sandro
1aac6f3b28
Merge pull request #141302 from felixsinger/pkgs/gtkwave/update
2021-10-12 21:38:24 +02:00
github-actions[bot]
0cb186d33d
Merge staging-next into staging
2021-10-12 18:01:50 +00:00
Vincent Laporte
17e2fbf2dc
alt-ergo: 2.4.0 → 2.4.1
2021-10-12 14:41:54 +02:00
github-actions[bot]
7af387291c
Merge staging-next into staging
2021-10-12 12:02:08 +00:00
Sandro
2017c3a883
Merge pull request #141301 from jbedo/samtools
2021-10-12 11:30:07 +02:00
github-actions[bot]
5065827878
Merge staging-next into staging
2021-10-12 00:02:05 +00:00
Felix Singer
c1ecf6d2b4
gtkwave: 3.3.110 -> 3.3.111
...
Update GTKWave to latest release. Also, reformat default.nix.
Signed-off-by: Felix Singer <felixsinger@posteo.net>
2021-10-12 01:40:44 +02:00
Justin Bedo
02a1a2b3c8
samtools: 1.11 -> 1.13
2021-10-12 10:19:36 +11:00
Artturi
d5ac63708f
Merge pull request #135133 from r-ryantm/auto-update/emuflight-configurator
2021-10-11 21:03:27 +03:00
github-actions[bot]
1b2b1c3d56
Merge staging-next into staging
2021-10-10 00:02:14 +00:00
Gabriel Ebner
9044534a8d
elan: 1.0.7 -> 1.1.0
2021-10-09 20:06:10 +02:00
github-actions[bot]
73444b1e90
Merge staging-next into staging
2021-10-09 12:01:44 +00:00
Ryan Burns
5170bbc015
Merge pull request #140689 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.43 -> 1.8.44
2021-10-09 00:43:10 -07:00
github-actions[bot]
7a3a25044d
Merge staging-next into staging
2021-10-09 00:02:05 +00:00
markuskowa
14ab975a71
Merge pull request #140975 from sheepforce/avogadro2-updates
...
avogadro2: 1.94.0 -> 1.95.1
2021-10-08 22:02:11 +02:00
Phillip Seeber
aa02e7f828
avogadro2: initialise a translation repo
2021-10-08 14:43:13 +02:00
