coq-modules
|
coq_8_10: 8.10+β3 → 8.10.0
|
2019-10-16 02:43:46 +00:00 |
haskell-modules
|
elmPackages: elm-format GHC 8.8.1 patch
|
2019-10-22 14:52:57 +02:00 |
interpreters
|
Merge pull request #71650 from flokli/racket-7.4
|
2019-10-22 22:59:20 +02:00 |
libraries
|
magma: use cudatoolkit
|
2019-10-23 10:57:43 -07:00 |
lua-modules
|
luaPackages.luacov: init at 0.13.0-1
|
2019-10-14 21:53:23 +09:00 |
ocaml-modules
|
ocamlPackages.duff: init at 0.2
|
2019-10-21 05:31:00 +00:00 |
perl-modules
|
Merge staging-next into staging
|
2019-10-16 11:17:12 +02:00 |
python-modules
|
pythonPackages.libselinux: init
|
2019-10-31 00:40:45 +01:00 |
r-modules
|
r-systemfonts: fix shebang of configure script
|
2019-10-10 20:50:49 +02:00 |
tools
|
flow: 0.109.0 -> 0.110.0
|
2019-10-22 18:04:02 -07:00 |
web
|
postman: 7.6.0 -> 7.9.0
|
2019-10-22 22:52:50 -07:00 |