| .. |
|
androidndk-pkgs
|
androidndk: get correct libs for x86_64
|
2019-09-23 13:40:45 -04:00 |
|
arduino
|
treewide: use libtinfo.so.5 where needed
|
2019-09-18 13:57:20 -04:00 |
|
beam-modules
|
|
|
|
bower-modules/generic
|
|
|
|
compilers
|
compcert: 3.5 → 3.6
|
2019-10-19 20:30:48 +00:00 |
|
coq-modules
|
coq_8_10: 8.10+β3 → 8.10.0
|
2019-10-16 02:43:46 +00:00 |
|
dhall-modules
|
|
|
|
dotnet-modules/patches
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
buildGoModule: remove cached lookup results and tiles
|
2019-10-12 12:00:00 -05:00 |
|
go-packages
|
|
|
|
guile-modules
|
|
|
|
haskell-modules
|
haskellPackages.nix-tools: Fix build
|
2019-10-18 22:50:37 +02:00 |
|
idris-modules
|
idrisPackages.heyting-algebra: remove
|
2019-09-24 19:50:04 +02:00 |
|
interpreters
|
Merge pull request #71177 from Taneb/metamath-upgrade
|
2019-10-15 16:06:07 +02:00 |
|
java-modules
|
jogl: remove #37364 workaround
|
2019-09-15 19:00:15 +00:00 |
|
libraries
|
libmaxminddb: fix meta.license
|
2019-10-20 15:00:24 +02:00 |
|
lisp-modules
|
lispPackages: add cl-prevalence and cl-hooks
|
2019-10-10 10:08:35 +02:00 |
|
lua-modules
|
luaPackages.luacov: init at 0.13.0-1
|
2019-10-14 21:53:23 +09:00 |
|
misc
|
treewide: mark some broken packages as broken
|
2019-10-08 17:14:26 +02:00 |
|
mobile
|
cocoapods-beta: 1.8.0.beta.2 -> 1.8.1
|
2019-09-27 22:12:58 -07:00 |
|
node-packages
|
nodePackages_10_x.azure-cli, nodePackages_10_x.azure-functions… (#71170)
|
2019-10-17 01:17:01 +02:00 |
|
ocaml-modules
|
ocamlPackages.eliom: 6.7.0 → 6.8.0
|
2019-10-20 06:44:41 +00:00 |
|
perl-modules
|
perlPackages.DeviceMAC: init at 1.00
|
2019-10-04 16:00:57 +02:00 |
|
pharo
|
|
|
|
pure-modules
|
Re-Revert "Merge branch 'staging-next'"
|
2019-09-22 09:38:09 +02:00 |
|
python-modules
|
pythonPackages.azure*: point to mono-repo for homepage
|
2019-10-20 11:18:11 +02:00 |
|
r-modules
|
r-systemfonts: fix shebang of configure script
|
2019-10-10 20:50:49 +02:00 |
|
ruby-modules
|
bundler: 1.17.2 -> 1.17.3
|
2019-10-02 12:35:10 +00:00 |
|
tools
|
scc: init at 2.8.0
|
2019-10-20 00:55:10 -07:00 |
|
web
|
nodejs-12_x: 12.10.0 -> 12.12.0
|
2019-10-15 04:20:00 -05:00 |
