Added num-utils per issue #1741

quicklisp · quicklisp · commit 75df1c5aa442 · 2019-10-04T08:44:43.000-04:00
diff --git a/projects/num-utils/source.txt b/projects/num-utils/source.txt
@@ -0,0 +1 @@
+git https://github.com/Symbolics/num-utils.git

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+git https://github.com/Symbolics/num-utils.git`