# with
# plag-mangle a213b9ab92ec0f020f999f53c25c4996855e0349
# rc-dlist-deque 5147fecc626d2b00e3e9cef96baaf5e41a8d8220
+# c_vec 3394762a6221c44f8e22b222ce5547f6534129ea
+# rust-nlopt d6781621e72bb7a78da56689ab5bb27befafec6a
+# nlopt (hack) 3068d8b694a6047c4f374b7267a54fdb3fae1f69 2.3+252-g8b3cb5a-1
+# crates from Debian buster:
+# libc 0.2.43-1
+# arrayvec 0.4.8-1
+
PS2PDF ?= ps2pdf
PS2PDF_FLAGS ?=