coq-modules
|
coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1
|
2019-03-15 18:45:01 +01:00 |
go-modules
|
buildGoModule: Allow pname attribute (#57787)
|
2019-03-17 09:29:20 -07:00 |
haskell-modules
|
xmonad-extras: drop obsolete override
|
2019-03-17 09:43:14 +01:00 |
lua-modules
|
lua5Packages.luuid: fix build
|
2019-03-07 10:34:26 +00:00 |
python-modules
|
pythonPackages.rabbitypy: nitpicks
|
2019-03-17 17:46:39 -04:00 |
r-modules
|
R: update CRAN and Bioconductor package sets
|
2019-03-14 19:50:37 +01:00 |
tools
|
lcov: 1.13 -> 1.14
|
2019-03-17 11:04:02 +01:00 |