more versions of dependencies

diff --git a/Makefile b/Makefile
index e6dd3ccc72f575911d5d36fd010208544ff724d9..1e146475f84f5115f89f992529d68fe6e0b0d1ad 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,13 @@ USE_PLAG_RELEASE := $(shell ./find-plag \
 # 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 ?=