nixpkgs/pkgs
Vincent Laporte bc1417c557 coqPackages.flocq: 3.1.0 -> 3.2.0
Ensures compatibility with Coq 8.10
2019-08-05 09:21:02 +00:00
..
applications Merge pull request #65998 from r-ryantm/auto-update/mediainfo-gui 2019-08-05 09:36:50 +02:00
build-support Merge master into staging-next 2019-08-01 09:42:54 +02:00
common-updater
data osinfo-db: 20190611 -> 20190726 2019-08-05 08:06:28 +02:00
desktops Merge pull request #65248 from worldofpeace/mkDerivation/deepin 2019-08-04 10:24:09 -04:00
development coqPackages.flocq: 3.1.0 -> 3.2.0 2019-08-05 09:21:02 +00:00
games Merge pull request #65494 from virusdave/dnicponski/scratch/add_dcss 2019-08-04 16:40:11 -04:00
misc dolphinEmuMaster: update to the latest upstream version 2019-08-04 18:10:11 -07:00
os-specific linux: 5.2.5 -> 5.2.6 2019-08-04 22:01:06 -04:00
servers Merge pull request #65938 from r-ryantm/auto-update/icingaweb2 2019-08-04 13:28:45 -07:00
shells xonsh: 0.9.8 → 0.9.9 2019-07-31 23:08:31 +00:00
stdenv Merge master into staging-next 2019-08-01 09:42:54 +02:00
test
tools Merge pull request #65855 from jonringer/fix-disper 2019-08-05 11:14:57 +02:00
top-level Merge pull request #65360 from samueldr/updates/netsurf-3.9 2019-08-04 16:22:01 -04:00