coq-modules
|
coqPackages.coq-ext-lib: 0.11.2 → 0.11.3
|
2020-12-01 22:02:08 +01:00 |
dhall-modules
|
dhallPackages.Prelude: 19.0.0 -> 20.0.0
|
2020-12-04 19:05:41 +01:00 |
guile-modules
|
guile-cairo: 1.11.1 -> 1.11.2
|
2020-12-02 09:37:31 +00:00 |
libraries
|
Merge pull request #106267 from gebner/linphone
|
2020-12-08 16:33:15 +01:00 |
mobile
|
androidsdk_9_0: fix evaluation without aliases
|
2020-12-06 11:07:40 +01:00 |
node-packages
|
fixjson: init at 1.1.1
|
2020-12-05 14:44:11 -05:00 |
ocaml-modules
|
ocamlPackages.mirage-time: use Dune 2
|
2020-12-08 17:19:48 +01:00 |
ruby-modules
|
Merge pull request #89433 from fzakaria/rbenv
|
2020-12-03 07:19:03 +00:00 |
web
|
Merge pull request #106158 from sternenseemann/kore-4.0.0
|
2020-12-08 05:48:25 +01:00 |