From 68b889c06fafa9360485dbe7149feaaf0b81aa3b Mon Sep 17 00:00:00 2001
From: Duncaen <duncaen@voidlinux.org>
Date: Wed, 3 Jul 2019 21:29:18 +0200
Subject: [PATCH] picosat: add missing picosat-devel link

---
 srcpkgs/picosat-devel | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 srcpkgs/picosat-devel

diff --git a/srcpkgs/picosat-devel b/srcpkgs/picosat-devel
new file mode 120000
index 00000000000..c9996e4e261
--- /dev/null
+++ b/srcpkgs/picosat-devel
@@ -0,0 +1 @@
+picosat
\ No newline at end of file