applications
|
Merge pull request #31564 from Mounium/aliza
|
2017-11-12 22:07:01 +01:00 |
data
|
Merge branch 'staging'
|
2017-11-12 19:08:05 +01:00 |
games
|
Merge pull request #31581 from adisbladis/anki-bs3
|
2017-11-12 22:17:30 -05:00 |
misc
|
Fix homepage links (see #30636)
|
2017-11-11 17:36:48 +01:00 |
servers
|
knot-dns: remove unused dependency
|
2017-11-13 12:44:40 +01:00 |
shells
|
nix-bash-completions: 0.2 -> 0.4
|
2017-11-13 11:23:12 +01:00 |
stdenv
|
bootstrap tools test: fixup after d71833ee36
|
2017-11-11 21:41:42 +01:00 |
tools
|
Merge pull request #31575 from 4z3/skarnet
|
2017-11-13 09:32:25 +01:00 |
top-level
|
coqPackages.bignums: do not fail with Coq 8.5
|
2017-11-13 08:42:51 +00:00 |