Vincent Laporte c8137fc229 coq: default to version 8.11		2020-08-23 08:19:21 +02:00
..
applications	nheko: dirty fix to #94942 (#95060)	2020-08-23 00:16:14 +02:00
build-support	Merge pull request #94442 from Atemu/buildFHSUserEnvBw	2020-08-19 17:28:02 +01:00
common-updater	treewide: use nix-update updateScript for packages I maintain	2020-07-29 12:33:39 -04:00
data	Merge pull request #94747 from ptrhlm/kanji-stroke-order-font-4.003	2020-08-22 16:58:53 +02:00
desktops	deepin.dde-api: mark as broken	2020-08-22 07:59:13 +10:00
development	coqPackages.coqprime: enable for Coq 8.11	2020-08-23 08:19:21 +02:00
games	Merge pull request #95993 from Avaq/avaq/minecraft-server	2020-08-22 20:13:04 +02:00
misc	pipes: fix dependencies	2020-08-21 16:37:24 -07:00
os-specific	linuxPackages.rtl8821cu: init at 2020-05-16	2020-08-22 23:09:45 +08:00
pkgs-lib
servers	Merge pull request #95845 from WilliButz/update/prometheus-2.20.1	2020-08-22 21:22:38 +02:00
shells	oh-my-zsh: 2020-08-18 -> 2020-08-20	2020-08-20 08:18:29 -04:00
stdenv	Merge pull request #95129 from aaronjanse/aj-fix-llvm-for-redox	2020-08-19 15:07:20 -05:00
test	stdenv: make -nostdinc work as intended	2020-07-23 08:39:46 +01:00
tools	shadowsocks-v2ray-plugin: init at 1.3.1	2020-08-23 09:20:56 +10:00
top-level	coq: default to version 8.11	2020-08-23 08:19:21 +02:00