Ryan Mulligan 7770e378a1 AgdaStdlib: 0.14 -> 0.15 ... Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done: - built on NixOS - Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.) - found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15 - directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb		2018-03-19 21:03:33 -07:00
..
applications	Merge pull request #37273 from MichielDerhaeg/spotify	2018-03-17 23:15:58 +00:00
build-support	Merge commit '3ab2949' from staging into master	2018-03-15 22:30:56 +02:00
common-updater	common-updater: support updating source URL	2018-03-16 23:17:07 +09:00
data	Merge pull request #37158 from oxij/pkgs/tor-browsers	2018-03-16 18:06:50 +00:00
desktops	evince: 3.26.0 -> 3.28.0	2018-03-14 02:49:40 -07:00
development	AgdaStdlib: 0.14 -> 0.15	2018-03-19 21:03:33 -07:00
games	gargoyle: fix darwin build	2018-03-17 22:16:37 +01:00
misc	cups-filters: 1.20.0 -> 1.20.1	2018-03-16 06:10:55 -07:00
os-specific	Merge pull request #37100 from abbradar/nvidiabl	2018-03-16 16:45:15 +03:00
servers	Merge pull request #37263 from ryantm/auto-update/apache-jena-fuseki	2018-03-17 19:30:42 +00:00
shells	Merge remote-tracking branch 'upstream/master' into staging	2018-03-13 23:04:18 +02:00
stdenv	Merge branch 'master' into staging	2018-03-10 20:38:13 +00:00
test
tools	mcron: Fix missing libtool dependency	2018-03-17 21:50:02 -04:00
top-level	release-small.nix: Fix evaluation error	2018-03-17 21:57:44 -04:00