coq-modules
|
coqPackages.category-theory: fix build
|
2018-10-24 05:50:04 +00:00 |
interpreters
|
bats: add missing grep dependency
|
2018-10-27 15:43:09 +02:00 |
libraries
|
sfml: 2.5.0 -> 2.5.1 (#48907)
|
2018-10-27 14:11:57 +02:00 |
misc
|
loc: enable darwin build
|
2018-10-27 10:05:01 +01:00 |
ocaml-modules
|
ocamlPackages.vg: 0.9.0 -> 0.9.1
|
2018-10-25 05:36:37 +00:00 |
python-modules
|
home-assistant: 0.80.3 -> 0.81.0 (#49251)
|
2018-10-27 09:11:53 -04:00 |
ruby-modules
|
gem-config: capybara-webkit: qt48 -> qt59
|
2018-10-23 16:14:21 +01:00 |
tools
|
minizinc: 2.2.0 -> 2.2.1 (#49241)
|
2018-10-27 07:30:07 -04:00 |