devel changes

This commit is contained in:
nazunalika 2021-11-30 15:30:02 -07:00
parent a5414d4c9d
commit 57794e347c
Signed by: label
GPG key ID: 6735C0E1BD65D048

View file

@ -671,6 +671,7 @@ additional_packages = [
"mingw64-wavpack-tools", "mingw64-wavpack-tools",
"mpich-autoload", "mpich-autoload",
"msghack", "msghack",
"ncurses-static",
"ocaml-xml-light-devel", "ocaml-xml-light-devel",
"ongres-scram-javadoc", "ongres-scram-javadoc",
"ongres-scram-parent", "ongres-scram-parent",