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 |
|