compilers
|
ats2: 0.3.11 -> 0.3.12
|
2018-10-23 13:23:03 +00:00 |
coq-modules
|
coqPackages.category-theory: fix build
|
2018-10-24 05:50:04 +00:00 |
interpreters
|
Merge master into staging
|
2018-10-21 08:38:08 +02:00 |
libraries
|
Merge master into staging-next
|
2018-10-24 17:37:47 +00:00 |
ocaml-modules
|
ocamlPackages.zmq: init at 20180726
|
2018-10-22 06:51:17 +00:00 |
python-modules
|
Merge master into staging-next
|
2018-10-24 17:37:47 +00:00 |
ruby-modules
|
gem-config: capybara-webkit: qt48 -> qt59
|
2018-10-23 16:14:21 +01:00 |
tools
|
Merge master into staging-next
|
2018-10-24 17:37:47 +00:00 |