From 1daab493dcae6006047925c10cdb0fa366ecaa9a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 8 Mar 2019 02:01:26 +0000
Subject: [PATCH] more versions of dependencies

---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Makefile b/Makefile
index e6dd3cc..1e14647 100644
--- 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 ?=
-- 
2.30.2