Vincent Laporte f9486ce114 coqPackages.equations: 1.2beta2 -> 1.2 (#65281) ...

* coqPackages.equations: 1.2beta2 -> 1.2

* coqPackages.category-theory: 20181016 -> 20190414

2019-07-23 22:27:55 +02:00

..

applications

mathematica: 11.3.0 -> 12.0.0 (#65031)

2019-07-23 22:23:00 +02:00

build-support

…

common-updater

…

data

Merge pull request #64743 from spacekookie/google-fonts

2019-07-23 03:19:57 -04:00

desktops

Merge pull request #65113 from worldofpeace/gnome-updates

2019-07-22 14:46:03 -04:00

development

coqPackages.equations: 1.2beta2 -> 1.2 (#65281)

2019-07-23 22:27:55 +02:00

games

Merge pull request #65184 from rleppink/master

2019-07-22 17:45:52 +00:00

misc

vimPlugins.ghcid: Init at 2019-07-04

2019-07-22 19:06:05 +01:00

os-specific

linux/kernel: enable automatic cpu hotplug support

2019-07-23 06:23:56 -04:00

servers

Merge pull request #65121 from marsam/update-pgroonga

2019-07-23 22:31:39 +03:00

shells

oh-my-zsh: 2019-07-13 -> 2019-07-22

2019-07-23 08:36:18 -04:00

stdenv

…

test

…

tools

geekbench: 4.3.3 -> 4.4.0 (#65080)

2019-07-23 22:19:43 +02:00

top-level

mathematica: 11.3.0 -> 12.0.0 (#65031)

2019-07-23 22:23:00 +02:00