Felix Buehler
|
3df56ed3e4
|
idris-modules: rename name to pname
|
2022-02-23 11:28:15 +01:00 |
|
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 |
|