picosat: add missing picosat-devel link
This commit is contained in:
parent
3e4ed393e6
commit
68b889c06f
1
srcpkgs/picosat-devel
Symbolic link
1
srcpkgs/picosat-devel
Symbolic link
@ -0,0 +1 @@
|
||||
picosat
|
Loading…
x
Reference in New Issue
Block a user