5 commits

Author	SHA1	Message	Date
Felix Buehler	3df56ed3e4	idris-modules: rename name to pname	2022-02-23 11:28:15 +01:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
TG x	7e0f7a0b54	build-idris-package: ipkgName	2018-09-18 10:38:59 +02:00
Silvan Mosberger	b73f540beb	idrisPackages: Clean up packages	2018-07-02 06:13:01 +02:00
Márton Boros	bf02618e1f	idrisPackages.vdom: init at 0.6.0	2018-05-08 11:41:52 +02:00