build-support
Merge branch 'master' into staging-next
2019-06-25 14:04:12 +02:00
data
amiri: init at 0.111
2019-06-27 08:03:06 +00:00
development
coqPackages.gappalib: disable for Coq 8.10
2019-06-27 13:59:02 +00:00
games
Merge master into staging-next
2019-06-25 16:26:29 +02:00
misc
Merge master into staging-next
2019-06-25 16:26:29 +02:00
os-specific
iproute_mptcp: init at 0.95
2019-06-27 12:00:18 +09:00
shells
oh-my-zsh: 2019-06-15 -> 2019-06-15
2019-06-19 08:54:10 -04:00
stdenv
treewide: remove unused variables ( #63177 )
2019-06-16 19:59:05 +00:00
test
treewide: remove unused variables ( #63177 )
2019-06-16 19:59:05 +00:00
tools
nixUnstable: pre6631_e58a7144 -> pre6631_324a5dc9
2019-06-27 13:12:28 +03:00
top-level
Merge pull request #63488 from jbedo/octopus
2019-06-27 12:43:25 +02:00