coq-modules
|
coqPackages.VST: 2.6 → 2.7.1
|
2021-05-07 08:35:13 +02:00 |
idris-modules
|
idrisPackages.sdl2: fix sources sha256
|
2021-05-08 14:45:35 +02:00 |
interpreters
|
falcon: fix the build
|
2021-05-08 10:31:28 -07:00 |
java-modules
|
postgresql_jdbc: 42.2.5 -> 42.2.20
|
2021-05-01 09:46:26 +02:00 |
libraries
|
pipewire: 0.3.26 -> 0.3.27
|
2021-05-08 13:20:05 -07:00 |
misc
|
gnome: rename from gnome3
|
2021-05-08 09:47:42 +02:00 |
ocaml-modules
|
ppx_deriving_cmdliner: init at 0.6.0
|
2021-05-02 14:52:52 +02:00 |
perl-modules
|
treewide: use lib.warnIf where appropriate
|
2021-04-28 21:44:21 +00:00 |
r-modules
|
treewide: xvfb_run -> xvfb-run
|
2021-05-08 15:48:41 +02:00 |
web
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |