diff dist-files.mk @ 5407:b26e12f40c38

sparserrsb: update to v1.0.7 * src/of-sparsersb.mk: update version/checksum * src/of-sparsersb-1-deprecated.patch: removed * dist-files.mk: remove ref to patch
author John Donoghue <john.donoghue@ieee.org>
date Mon, 18 May 2020 18:34:39 -0400
parents 6914fa9bf023
children 98bcc037fad7
line wrap: on
line diff
--- a/dist-files.mk	Sat May 16 17:18:16 2020 -0400
+++ b/dist-files.mk	Mon May 18 18:34:39 2020 -0400
@@ -507,7 +507,6 @@
   of-sockets-1-cross-fixes.patch \
   of-sockets-2-deprecated.patch \
   of-sockets.mk \
-  of-sparsersb-1-deprecated.patch \
   of-sparsersb.mk \
   of-specfun-1-deprecated.patch \
   of-specfun.mk \