John Wiegley 3c4c4ff051 coqPackages.Velisarios: New expression

2018-10-23 17:09:35 -07:00

..

applications

Merge pull request #48882 from r-ryantm/auto-update/snd

2018-10-24 09:08:24 +09:00

build-support

Merge pull request #48306 from NixOS/staging-next

2018-10-18 11:23:04 +02:00

common-updater

…

data

Merge staging-next into master

2018-10-21 08:37:30 +02:00

desktops

dde-session-ui: init at 4.5.1.10 (#48785)

2018-10-21 23:00:55 +02:00

development

coqPackages.Velisarios: New expression

2018-10-23 17:09:35 -07:00

games

Merge pull request #48148 from peterhoeg/p/scummvm_games

2018-10-21 09:50:13 +02:00

misc

vscode-extensions.ms-python.python: 2018.8.0 -> 2018.9.1 (#48849)

2018-10-23 12:34:31 +02:00

os-specific

Merge pull request #48915 from r-ryantm/auto-update/rdma-core

2018-10-24 00:10:48 +02:00

servers

nginx-opentracing: init at 0.7.0

2018-10-23 18:08:01 +02:00

shells

Merge pull request #46152 from Ma27/fix-setxkbmap-completion

2018-10-19 14:33:04 +02:00

stdenv

…

test

Remove openftd

2018-10-21 21:52:20 +02:00

tools

btrfs-progs: 4.15.1 -> 4.17.1

2018-10-23 19:55:08 -04:00

top-level

coqPackages.Velisarios: New expression

2018-10-23 17:09:35 -07:00