Junyoung Clare Jang b71c03e483

lean: 3.4.2 -> 3.5.1 ...

3.4.2 is not compilable with GCC >= 9.1

2020-02-15 02:29:12 -05:00

..

applications

lean: 3.4.2 -> 3.5.1

2020-02-15 02:29:12 -05:00

build-support

build-fhs-userenv: runCommand -> runCommandLocal (#77253)

2020-02-14 20:16:49 +02:00

common-updater

…

data

Merge pull request #79664 from rnhmjoj/dina

2020-02-15 01:28:40 +01:00

desktops

Merge pull request #79844 from worldofpeace/keybinder-pulseaudio-plugin

2020-02-14 14:20:28 -05:00

development

pythonPackages.ffmpeg-python: init at 0.2.0

2020-02-14 21:17:38 -08:00

games

Merge pull request #80031 from rasendubi/nethack-3.6.5

2020-02-14 22:55:20 +01:00

misc

…

os-specific

…

servers

prometheus: 2.15.2 -> 2.16.0 (#80105)

2020-02-14 14:45:21 -05:00

shells

…

stdenv

…

test

…

tools

beets: Fix test to work with mutagen>=1.43

2020-02-14 21:17:38 -08:00

top-level

pythonPackages.ffmpeg-python: init at 0.2.0

2020-02-14 21:17:38 -08:00