Théo Zimmermann fd20e227a0 coqPackages.math-classes: 8.8.1 -> 8.9.1 ...

Introduces compatibility with Coq 8.10.

2019-07-22 11:37:37 +00:00

..

applications

xastir: 2.1.2 -> 2.1.4

2019-07-22 11:37:19 +00:00

build-support

…

common-updater

…

data

Merge pull request #64186 from tadfisher/plata-theme

2019-07-20 23:44:17 -03:00

desktops

pantheon.wingpanel-indicator-session: 2.2.4 -> 2.2.5

2019-07-22 04:29:57 -04:00

development

coqPackages.math-classes: 8.8.1 -> 8.9.1

2019-07-22 11:37:37 +00:00

games

Merge pull request #64408 from scubed2/nxengine

2019-07-20 18:20:20 -04:00

misc

fxlinuxprint: init at 1.1.2-1

2019-07-22 17:10:17 +10:00

os-specific

linux: 5.2.1 -> 5.2.2

2019-07-21 20:54:56 -04:00

servers

Merge pull request #65225 from Ma27/bump-prometheus-wireguard-exporter

2019-07-21 20:19:22 +00:00

shells

…

stdenv

…

test

…

tools

ripgrep: turn withPCRE2 on by default

2019-07-22 05:35:42 -04:00

top-level

fxlinuxprintutil: init at 1.1.1-1

2019-07-22 19:00:04 +10:00