applications
|
gitAndTools.git-absorb: 0.3.0 -> 0.4.0
|
2019-07-14 19:00:00 -05:00 |
common-updater
|
treewide: use dontUnpack
|
2019-07-01 04:23:51 -04:00 |
data
|
victor-mono: init at 1.2.1
|
2019-07-13 11:58:34 -04:00 |
desktops
|
gnome3.gnome-terminal: add hicolor-icon-theme
|
2019-07-14 07:40:14 -04:00 |
games
|
minecraft-server: 1.14 -> 1.14.3 (#63848)
|
2019-07-13 03:02:23 +02:00 |
os-specific
|
linux: 5.2 -> 5.2.1
|
2019-07-14 08:07:25 -04:00 |
stdenv
|
setup.sh: add dontUnpack
|
2019-07-01 04:23:51 -04:00 |
test
|
treewide: use dontUnpack
|
2019-07-01 04:23:51 -04:00 |
top-level
|
coq: 8.10+beta1 -> 8.10+beta2
|
2019-07-14 14:58:49 +00:00 |