5 commits

Author	SHA1	Message	Date
TG ⊗ Θ	551ffccf98	idrisPackages.tparsec: 2018-06-26 -> 2018-11-09	2018-12-20 15:52:20 +01:00
TG x	7e0f7a0b54	build-idris-package: ipkgName	2018-09-18 10:38:59 +02:00
Silvan Mosberger	74d2b01db5	idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build	2018-07-02 06:43:15 +02:00
Silvan Mosberger	b73f540beb	idrisPackages: Clean up packages	2018-07-02 06:13:01 +02:00
Márton Boros	23ee7c9d8d	idrisPackages: add packages	2018-03-20 07:16:21 +01:00