Commit graph

10 commits

Author SHA1 Message Date
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