1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
nixpkgs/pkgs
2019-01-30 15:58:58 +01:00
..
applications coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
build-support
common-updater
data
desktops
development pythonPackages.tokenserver: add Nadrieril to maintainers 2019-01-30 15:58:58 +01:00
games Merge pull request #54356 from etu/update-lsi 2019-01-24 00:54:14 +01:00
misc
os-specific Merge pull request #54516 from matthewbauer/column 2019-01-24 00:58:36 +01:00
servers Merge pull request #53796 from Izorkin/ejabberd 2019-01-24 00:57:54 +01:00
shells
stdenv
test
tools Merge pull request #52738 from bachp/rmlint-2.8.0 2019-01-24 14:14:03 +00:00
top-level coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00