coq-modules
|
coqPackages.flocq: 2.5.1 -> 2.5.2
|
2017-01-14 15:53:03 +01:00 |
haskell-modules
|
haskellPackages.doctest-discover: fix
|
2017-01-24 11:57:09 +01:00 |
idris-modules
|
idrisPackages.httpclient: init
|
2016-12-20 00:28:23 +01:00 |
libraries
|
nss: fetchpatch -> fetchurl
|
2017-01-24 15:43:53 +01:00 |
qtcreator
|
qtcreator: 4.1.0 -> 4.2.0
|
2016-12-29 22:32:23 +03:00 |
r-modules
|
r-modules: fix snpStats package
|
2017-01-06 21:07:25 +01:00 |
ruby-modules
|
bundler: 1.13.6 -> 1.13.7
|
2017-01-09 10:13:38 -08:00 |
tools
|
Merge pull request #21344 from mdaiter/gWrap
|
2017-01-23 19:56:40 -05:00 |