systemd: Enable networking features
fix eval
emacsPackages.js2-mode updated to latest release.
Merge pull request #5057 from aycanirican/update-emacsPackages-js2-mode

emacsPackages.js2-mode updated to latest release.
nixos/ids: Add systemd networking ids
nixos/ids: Fix systemd ids
new package: pond
Merge pull request #4372 from drvirgilio/pond

new package: pond
agda-pretty: mark as broken

Broken by updating the stdlib to 0.9. For now I let the author know.