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 |
libraries
|
libsolv: 0.7.17 -> 0.7.19
|
2021-05-08 17:01:00 -07:00 |
misc
|
gnome: rename from gnome3
|
2021-05-08 09:47:42 +02:00 |
ocaml-modules
|
ocamlPackages.atd: add link to nixos test
|
2021-05-08 21:41:13 +02:00 |
python-modules
|
python3Packages.pyaftership: fix build
|
2021-05-08 17:03:04 -07:00 |
r-modules
|
treewide: xvfb_run -> xvfb-run
|
2021-05-08 15:48:41 +02:00 |
tools
|
liquibase: 4.3.2 -> 4.3.4
|
2021-05-08 16:59:51 -07:00 |
web
|
flyctl: 0.0.211 -> 0.0.212
|
2021-05-08 15:15:25 -07:00 |