Vincent Laporte 67dfd53485 coqPackages.coqprime: enable for Coq 8.13

2021-05-10 18:57:58 +02:00

..

applications

Merge pull request #122368 from branwright1/river

2021-05-10 18:57:36 +02:00

build-support

gnome: rename from gnome3

2021-05-08 09:47:42 +02:00

common-updater

…

data

Merge pull request #122351 from romildo/upd.marwaita-manjaro

2021-05-10 18:56:45 +02:00

desktops

gnomeExtensions.disable-unredirect: unstable-2021-01-17 -> unstable-2021-04-13

2021-05-08 21:22:09 +02:00

development

coqPackages.coqprime: enable for Coq 8.13

2021-05-10 18:57:58 +02:00

games

gnuchess: 6.2.7 -> 6.2.8

2021-05-10 09:24:02 +01:00

misc

vimPlugins.specs-nvim: init at 2021-05-05

2021-05-10 22:12:39 +08:00

os-specific

Merge pull request #121901 from TredwellGit/linux

2021-05-10 01:06:18 +02:00

pkgs-lib

…

servers

home-assistant: fix build by disabling test in pyjwt override

2021-05-10 17:50:08 +02:00

shells

Merge #121780: treewide meta.maintainers tweaks

2021-05-08 10:47:08 +02:00

stdenv

…

test

…

tools

Merge pull request #122379 from stephank/fix-cargo-deb-darwin

2021-05-10 10:26:32 +02:00

top-level

Merge pull request #122356 from 7c6f434c/stumpwm-alias

2021-05-10 16:48:25 +00:00