coq-modules
|
coqPackages.coq-ext-lib: clean dependencies
|
2020-10-09 16:32:48 +02:00 |
guile-modules
|
guile-reader: 0.6.2 -> 0.6.3
|
2020-10-12 04:07:17 -03:00 |
haskell-modules
|
haskellPackages.neuron: Fix build
|
2020-10-11 16:18:20 +02:00 |
libraries
|
Merge pull request #99385 from maxxk/odpic-4.0.2
|
2020-10-11 22:58:02 +02:00 |
ocaml-modules
|
ocamlPackages.jingoo: 1.3.4 → 1.4.1
|
2020-10-11 11:40:44 +02:00 |
ruby-modules
|
solargraph: 0.39.8 -> 0.39.17
|
2020-10-09 04:20:00 +00:00 |
tools
|
Merge pull request #100250 from nagisa/tracy-up
|
2020-10-11 12:02:25 -05:00 |