coq-modules
|
coqPackages.math-classes: 8.11.0 -> 8.12.0
|
2021-01-21 16:39:59 +01:00 |
idris-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
libraries
|
gtk3: Clean up
|
2021-01-23 15:27:11 +01:00 |
misc
|
treewide: editorconfig fixes
|
2021-01-21 09:30:52 +10:00 |
ocaml-modules
|
ocamlPackages.emile: init at 1.1
|
2021-01-22 09:26:17 +01:00 |
pure-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
python-modules
|
Merge pull request #110597 from fabaff/aioeafm
|
2021-01-23 15:20:29 +01:00 |
ruby-modules
|
treewide: add final newline
|
2021-01-22 07:18:04 +10:00 |
tools
|
Merge pull request #110563 from dbirks/kind-0.10.0
|
2021-01-23 14:43:13 +01:00 |