package: prefer pkgs to 'opts = "-p ..."'

yurrriq · yurrriq · commit c13522e7294a · 2017-07-19T18:20:04.000-05:00
diff --git a/software_foundations.ipkg b/software_foundations.ipkg
@@ -19,4 +19,5 @@ sourceloc  = git://git@github.com:idris-hackers/software-foundations.git
 bugtracker = https://github.com/idris-hackers/software-foundations/issues
 
 sourcedir  = src
-opts       = "--check --total -p pruviloj"
+opts       = "--check --total"
+pkgs       = pruviloj
