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 |
haskell-modules
|
haskellPackages.nix-tools: Fix build
|
2019-10-18 22:50:37 +02:00 |
libraries
|
libxmlb: 0.1.11 → 0.1.13
|
2019-10-20 02:03:17 +02:00 |
lua-modules
|
luaPackages.luacov: init at 0.13.0-1
|
2019-10-14 21:53:23 +09:00 |
ocaml-modules
|
compcert: 3.5 → 3.6
|
2019-10-19 20:30:48 +00:00 |
python-modules
|
python3Packages.fs-s3fs: 1.1.0 -> 1.1.1
|
2019-10-19 21:20:27 +02:00 |
tools
|
bazelisk: 1.0 -> 1.1.0
|
2019-10-19 04:20:00 -05:00 |
web
|
nodejs-12_x: 12.10.0 -> 12.12.0
|
2019-10-15 04:20:00 -05:00 |