Felix Buehler
|
3df56ed3e4
|
idris-modules: rename name to pname
|
2022-02-23 11:28:15 +01:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
TG x
|
7e0f7a0b54
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
Silvan Mosberger
|
b73f540beb
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
Silvan Mosberger
|
ebc7d20190
|
idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)
|
2018-06-26 22:14:17 +02:00 |
|
Márton Boros
|
23ee7c9d8d
|
idrisPackages: add packages
|
2018-03-20 07:16:21 +01:00 |
|