11 commits

Author	SHA1	Message	Date
zowoq	31f5dd3f36	treewide: editorconfig fixes ... - remove trailing whitespace - use spaces for indentation	2021-01-20 09:11:11 +10:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Alex Gryzlov	11a9dfeb96	idrisPackages.tparsec: 2019-09-19 -> 2020-02-11	2020-02-17 20:08:27 +01:00
Alex Gryzlov	a0d31e3970	idrisPackages.tparsec: 2019-06-18 -> 2019-09-19	2019-12-15 03:03:01 +03:00
Alex Gryzlov	46c5c8c16b	idrisPackages.tparsec: 2018-12-21 -> 2019-06-18	2019-06-21 18:57:15 +03:00
TG ⊗ Θ	50087e01c4	idrisPackages.tparsec: 2018-11-09 -> 2018-12-21	2019-02-05 18:25:25 +01:00
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