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 |
development
|
godot: 2.1.3 -> 2.1.4
|
2017-11-13 08:47:03 +00: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 |
os-specific
|
update skarnet.org packages
|
2017-11-13 00:09:32 +01:00 |
servers
|
sonarr: 2.0.0.4949 -> 2.0.0.5054
|
2017-11-12 12:42:27 -08:00 |
shells
|
nix-bash-completions: 0.1 -> 0.2
|
2017-11-11 17:06:08 +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 |