applications
|
coqPackages_8_11.coq: 8.11+β1 → 8.11.0
|
2020-01-31 14:09:51 +01:00 |
data
|
yaru-theme: 19.10.4 -> 19.10.5
|
2020-01-30 22:03:51 -08:00 |
development
|
coqPackages.tlc: disable for Coq > 8.10
|
2020-01-31 14:09:51 +01:00 |
misc
|
lightspark: 0.8.1 -> 0.8.2
|
2020-01-30 18:35:29 -05:00 |
os-specific
|
linux: 5.4.15 -> 5.4.16
|
2020-01-30 16:41:12 -05:00 |
servers
|
zabbix: 4.4.4 -> 4.4.5
|
2020-01-30 21:56:29 -08:00 |
shells
|
oh-my-zsh: 2020-01-04 -> 2020-01-30
|
2020-01-30 16:41:13 -05:00 |
stdenv
|
stdenv, darwin: fix setupHook location
|
2020-01-30 18:35:30 -05:00 |
test
|
llvm_4: remove
|
2020-01-30 18:35:31 -05:00 |
tools
|
silicon: init at 0.3.0
|
2020-01-29 19:28:24 -05:00 |
top-level
|
silicon: init at 0.3.0
|
2020-01-29 19:28:24 -05:00 |