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 |
misc
|
treewide: editorconfig fixes
|
2021-01-21 09:30:52 +10:00 |
mobile
|
treewide: add final newline
|
2021-01-22 07:18:04 +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 |
ruby-modules
|
treewide: add final newline
|
2021-01-22 07:18:04 +10:00 |
web
|
lib: Clean up how linux and gcc config is specified
|
2021-01-23 10:01:28 -05:00 |