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 |
libraries
|
libsigsegv: Add Aarch64 patch
|
2017-01-25 00:01:52 +02:00 |
ocaml-modules
|
Merge pull request #22023 from vbgl/apron
|
2017-01-24 17:47:13 +00: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 #22069 from kamilchm/vagrant
|
2017-01-24 17:57:37 +00:00 |