Vincent Laporte 5293575e85 coqPackages.mathcomp: enable 1.11.0 for Coq 8.12

2020-06-19 12:28:42 +02:00

..

applications

tellico: init at 3.3.0

2020-06-19 10:19:34 +02:00

build-support

Merge pull request #91085 from hercules-ci/fix-dockerTools-nix-symlinks

2020-06-19 12:01:47 +02:00

common-updater

…

data

matcha-gtk-theme: 2020-05-24 -> 2020-06-18

2020-06-18 08:17:12 -03:00

desktops

Merge pull request #90500 from r-ryantm/auto-update/cinnamon-translations

2020-06-19 00:33:09 +02:00

development

coqPackages.mathcomp: enable 1.11.0 for Coq 8.12

2020-06-19 12:28:42 +02:00

games

Merge pull request #91051 from pstn/mudlet-4.9.1

2020-06-19 08:11:36 +02:00

misc

Merge pull request #90710 from jflanglois/wine-5-10

2020-06-18 10:09:33 +02:00

os-specific

Merge master into staging-next

2020-06-19 09:01:43 +02:00

servers

Merge pull request #86177 from mayflower/mailman-upstream

2020-06-19 07:54:41 +02:00

shells

oil: 0.8.pre4 -> 0.8.pre6

2020-06-18 21:12:13 +01:00

stdenv

stdenv/check-meta: alignment/width

2020-06-11 12:35:11 +10:00

test

…

tools

Merge master into staging-next

2020-06-19 09:01:43 +02:00

top-level

tellico: init at 3.3.0

2020-06-19 10:19:34 +02:00