[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, December 29, 2020 @ 13:40:48
Author: felixonmars
Revision: 797098
upgpkg: idris 1.3.3-138: rebuild with tagged 0.8.6.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 13:27:42 UTC (rev 797097)
+++ PKGBUILD2020-12-29 13:40:48 UTC (rev 797098)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=137
+pkgrel=138
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, December 28, 2020 @ 14:34:13
Author: felixonmars
Revision: 794998
upgpkg: idris 1.3.3-137: rebuild with indexed-traversable 0.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 14:24:05 UTC (rev 794997)
+++ PKGBUILD2020-12-28 14:34:13 UTC (rev 794998)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=136
+pkgrel=137
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, December 27, 2020 @ 01:06:10
Author: felixonmars
Revision: 793297
upgpkg: idris 1.3.3-136: rebuild with hedgehog 1.0.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-27 01:01:32 UTC (rev 793296)
+++ PKGBUILD2020-12-27 01:06:10 UTC (rev 793297)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=135
+pkgrel=136
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, December 26, 2020 @ 09:25:57
Author: felixonmars
Revision: 792317
upgpkg: idris 1.3.3-135: rebuild with tasty-quickcheck 0.10.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 09:12:51 UTC (rev 792316)
+++ PKGBUILD2020-12-26 09:25:57 UTC (rev 792317)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=134
+pkgrel=135
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, December 25, 2020 @ 11:04:23
Author: felixonmars
Revision: 790071
upgpkg: idris 1.3.3-134: rebuild with comonad 5.0.7
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 10:54:13 UTC (rev 790070)
+++ PKGBUILD2020-12-25 11:04:23 UTC (rev 790071)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=133
+pkgrel=134
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, December 24, 2020 @ 17:11:41
Author: felixonmars
Revision: 788354
upgpkg: idris 1.3.3-133: rebuild with base16-bytestring 1.0.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 17:04:46 UTC (rev 788353)
+++ PKGBUILD2020-12-24 17:11:41 UTC (rev 788354)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=132
+pkgrel=133
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, December 24, 2020 @ 11:25:43
Author: felixonmars
Revision: 787062
upgpkg: idris 1.3.3-132: rebuild with ghc 8.10.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 11:12:38 UTC (rev 787061)
+++ PKGBUILD2020-12-24 11:25:43 UTC (rev 787062)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=131
+pkgrel=132
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, December 23, 2020 @ 11:59:09
Author: felixonmars
Revision: 784163
upgpkg: idris 1.3.3-131: rebuild with tasty-smallcheck 0.8.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 11:48:58 UTC (rev 784162)
+++ PKGBUILD2020-12-23 11:59:09 UTC (rev 784163)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=130
+pkgrel=131
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, December 22, 2020 @ 17:53:54
Author: felixonmars
Revision: 782698
upgpkg: idris 1.3.3-130: rebuild with megaparsec 9.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-22 17:31:51 UTC (rev 782697)
+++ PKGBUILD2020-12-22 17:53:54 UTC (rev 782698)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=129
+pkgrel=130
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, December 22, 2020 @ 12:46:38
Author: felixonmars
Revision: 781963
upgpkg: idris 1.3.3-129: rebuild with tasty-hunit 0.10.0.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-22 12:38:03 UTC (rev 781962)
+++ PKGBUILD2020-12-22 12:46:38 UTC (rev 781963)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=128
+pkgrel=129
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, December 18, 2020 @ 11:30:37
Author: felixonmars
Revision: 778502
upgpkg: idris 1.3.3-128: rebuild with th-abstraction 0.4.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-18 11:13:27 UTC (rev 778501)
+++ PKGBUILD2020-12-18 11:30:37 UTC (rev 778502)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=127
+pkgrel=128
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, December 16, 2020 @ 19:13:01
Author: felixonmars
Revision: 776899
upgpkg: idris 1.3.3-127: rebuild with microstache 1.0.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-16 19:09:30 UTC (rev 776898)
+++ PKGBUILD2020-12-16 19:13:01 UTC (rev 776899)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=126
+pkgrel=127
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, December 16, 2020 @ 12:16:41
Author: felixonmars
Revision: 776652
upgpkg: idris 1.3.3-126: rebuild with megaparsec 9.0.0, hspec-megaparsec 2.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-16 12:11:46 UTC (rev 776651)
+++ PKGBUILD2020-12-16 12:16:41 UTC (rev 776652)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=125
+pkgrel=126
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
@@ -28,6 +28,7 @@
patch -p1 -i ../idris-haskeline-0.8.patch
sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
libs/*/Makefile
+sed -i 's/Just sline/sline/' src/Idris/Parser/Stack.hs
uusi idris.cabal
}
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, December 15, 2020 @ 22:35:09
Author: felixonmars
Revision: 776281
upgpkg: idris 1.3.3-125: rebuild with base16-bytestring 1.0.0.0, casa-types
0.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-15 22:34:14 UTC (rev 776280)
+++ PKGBUILD2020-12-15 22:35:09 UTC (rev 776281)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=124
+pkgrel=125
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, December 15, 2020 @ 10:33:03
Author: felixonmars
Revision: 775930
upgpkg: idris 1.3.3-124: rebuild with wai-extra 3.1.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-15 10:15:50 UTC (rev 775929)
+++ PKGBUILD2020-12-15 10:33:03 UTC (rev 775930)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=123
+pkgrel=124
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, December 14, 2020 @ 14:37:56
Author: felixonmars
Revision: 775037
upgpkg: idris 1.3.3-123: rebuild with base-orphans 0.8.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-14 14:20:48 UTC (rev 775036)
+++ PKGBUILD2020-12-14 14:37:56 UTC (rev 775037)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=122
+pkgrel=123
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, December 9, 2020 @ 13:48:59
Author: felixonmars
Revision: 772662
upgpkg: idris 1.3.3-122: rebuild with vector-algorithms 0.8.0.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-09 13:31:47 UTC (rev 772661)
+++ PKGBUILD2020-12-09 13:48:59 UTC (rev 772662)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=121
+pkgrel=122
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, December 7, 2020 @ 23:22:53
Author: felixonmars
Revision: 771724
upgpkg: idris 1.3.3-121: rebuild with strict 0.4.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-07 23:05:47 UTC (rev 771723)
+++ PKGBUILD2020-12-07 23:22:53 UTC (rev 771724)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=120
+pkgrel=121
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, December 6, 2020 @ 19:53:24
Author: felixonmars
Revision: 771151
upgpkg: idris 1.3.3-120: rebuild with wai-extra 3.1.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-06 19:50:11 UTC (rev 771150)
+++ PKGBUILD2020-12-06 19:53:24 UTC (rev 771151)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=119
+pkgrel=120
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, December 5, 2020 @ 13:46:03
Author: felixonmars
Revision: 770583
upgpkg: idris 1.3.3-119: rebuild with time-compat 1.9.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-05 13:43:25 UTC (rev 770582)
+++ PKGBUILD2020-12-05 13:46:03 UTC (rev 770583)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=118
+pkgrel=119
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, December 3, 2020 @ 12:03:59
Author: felixonmars
Revision: 769451
upgpkg: idris 1.3.3-118: rebuild with criterion 1.5.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-03 11:51:53 UTC (rev 769450)
+++ PKGBUILD2020-12-03 12:03:59 UTC (rev 769451)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=117
+pkgrel=118
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, December 3, 2020 @ 00:44:44
Author: felixonmars
Revision: 769397
upgpkg: idris 1.3.3-117: rebuild with criterion 1.5.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-12-03 00:26:14 UTC (rev 769396)
+++ PKGBUILD2020-12-03 00:44:44 UTC (rev 769397)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=116
+pkgrel=117
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, December 1, 2020 @ 00:04:37
Author: felixonmars
Revision: 766887
upgpkg: idris 1.3.3-116: rebuild with network 3.1.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-30 23:47:34 UTC (rev 766886)
+++ PKGBUILD2020-12-01 00:04:37 UTC (rev 766887)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=115
+pkgrel=116
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, November 28, 2020 @ 21:39:17
Author: felixonmars
Revision: 766111
upgpkg: idris 1.3.3-115: rebuild with wai-extra 3.1.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 21:22:04 UTC (rev 766110)
+++ PKGBUILD2020-11-28 21:39:17 UTC (rev 766111)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=114
+pkgrel=115
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, November 28, 2020 @ 14:00:03
Author: felixonmars
Revision: 765248
upgpkg: idris 1.3.3-114: rebuild with unbounded-delays 0.1.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 13:59:07 UTC (rev 765247)
+++ PKGBUILD2020-11-28 14:00:03 UTC (rev 765248)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=113
+pkgrel=114
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, November 26, 2020 @ 15:22:59
Author: felixonmars
Revision: 763574
upgpkg: idris 1.3.3-113: rebuild with criterion 1.5.8.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-26 15:05:46 UTC (rev 763573)
+++ PKGBUILD2020-11-26 15:22:59 UTC (rev 763574)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=112
+pkgrel=113
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, November 25, 2020 @ 18:31:21
Author: felixonmars
Revision: 761187
upgpkg: idris 1.3.3-112: rebuild with conduit 1.3.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-25 18:29:19 UTC (rev 761186)
+++ PKGBUILD2020-11-25 18:31:21 UTC (rev 761187)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=111
+pkgrel=112
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, November 23, 2020 @ 13:11:26
Author: felixonmars
Revision: 759914
upgpkg: idris 1.3.3-111: rebuild with optparse-applicative 0.16.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-23 13:08:41 UTC (rev 759913)
+++ PKGBUILD2020-11-23 13:11:26 UTC (rev 759914)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=110
+pkgrel=111
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, November 20, 2020 @ 20:38:09
Author: felixonmars
Revision: 758092
upgpkg: idris 1.3.3-110: rebuild with base64-bytestring 1.2.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-20 20:37:06 UTC (rev 758091)
+++ PKGBUILD2020-11-20 20:38:09 UTC (rev 758092)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=109
+pkgrel=110
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, November 18, 2020 @ 23:58:34
Author: felixonmars
Revision: 757318
upgpkg: idris 1.3.3-109: rebuild with http-client 0.7.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-18 23:41:10 UTC (rev 757317)
+++ PKGBUILD2020-11-18 23:58:34 UTC (rev 757318)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=108
+pkgrel=109
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, November 17, 2020 @ 19:35:26
Author: felixonmars
Revision: 756859
upgpkg: idris 1.3.3-108: rebuild with iproute 1.7.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 19:14:44 UTC (rev 756858)
+++ PKGBUILD2020-11-17 19:35:26 UTC (rev 756859)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=107
+pkgrel=108
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, November 17, 2020 @ 05:57:45
Author: felixonmars
Revision: 755977
upgpkg: idris 1.3.3-107: rebuild with QuickCheck 2.14.2, quickcheck-instances
0.3.25.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 05:40:39 UTC (rev 755976)
+++ PKGBUILD2020-11-17 05:57:45 UTC (rev 755977)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=106
+pkgrel=107
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, November 10, 2020 @ 16:28:24
Author: felixonmars
Revision: 749624
upgpkg: idris 1.3.3-106: rebuild with cryptonite +tests enabled
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-10 16:11:17 UTC (rev 749623)
+++ PKGBUILD2020-11-10 16:28:24 UTC (rev 749624)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=105
+pkgrel=106
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, November 8, 2020 @ 16:42:06
Author: felixonmars
Revision: 746679
upgpkg: idris 1.3.3-105: rebuild with wai-extra 3.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-08 16:24:50 UTC (rev 746678)
+++ PKGBUILD2020-11-08 16:42:06 UTC (rev 746679)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=104
+pkgrel=105
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, November 8, 2020 @ 11:23:59
Author: felixonmars
Revision: 746491
upgpkg: idris 1.3.3-104: rebuild with uniplate 1.6.13
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-08 11:16:40 UTC (rev 746490)
+++ PKGBUILD2020-11-08 11:23:59 UTC (rev 746491)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=103
+pkgrel=104
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, November 8, 2020 @ 00:22:05
Author: felixonmars
Revision: 746427
upgpkg: idris 1.3.3-103: rebuild with tasty-rerun 1.1.18
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-08 00:05:01 UTC (rev 746426)
+++ PKGBUILD2020-11-08 00:22:05 UTC (rev 746427)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=102
+pkgrel=103
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, November 7, 2020 @ 18:59:23
Author: felixonmars
Revision: 745929
upgpkg: idris 1.3.3-102: rebuild with integer-logarithms 1.0.3.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-07 18:39:54 UTC (rev 745928)
+++ PKGBUILD2020-11-07 18:59:23 UTC (rev 745929)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=101
+pkgrel=102
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, November 6, 2020 @ 20:56:48
Author: felixonmars
Revision: 744573
upgpkg: idris 1.3.3-101: rebuild with splitmix 0.1.0.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 20:44:03 UTC (rev 744572)
+++ PKGBUILD2020-11-06 20:56:48 UTC (rev 744573)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=100
+pkgrel=101
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, November 4, 2020 @ 19:41:05
Author: felixonmars
Revision: 742566
upgpkg: idris 1.3.3-100: rebuild with quickcheck-instances 0.3.25
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 19:24:13 UTC (rev 742565)
+++ PKGBUILD2020-11-04 19:41:05 UTC (rev 742566)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=99
+pkgrel=100
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, November 4, 2020 @ 11:29:52
Author: felixonmars
Revision: 741908
upgpkg: idris 1.3.3-99: rebuild with time-compat 1.9.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 11:18:48 UTC (rev 741907)
+++ PKGBUILD2020-11-04 11:29:52 UTC (rev 741908)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=98
+pkgrel=99
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, November 3, 2020 @ 20:46:36
Author: felixonmars
Revision: 741352
upgpkg: idris 1.3.3-98: rebuild with foldl 1.4.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-03 20:31:23 UTC (rev 741351)
+++ PKGBUILD2020-11-03 20:46:36 UTC (rev 741352)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=97
+pkgrel=98
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, November 3, 2020 @ 08:54:22
Author: felixonmars
Revision: 740443
upgpkg: idris 1.3.3-97: rebuild with HUnit 1.6.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-03 08:39:13 UTC (rev 740442)
+++ PKGBUILD2020-11-03 08:54:22 UTC (rev 740443)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=96
+pkgrel=97
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, November 1, 2020 @ 10:51:15
Author: felixonmars
Revision: 738826
upgpkg: idris 1.3.3-96: rebuild with hinotify 0.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-01 10:37:21 UTC (rev 738825)
+++ PKGBUILD2020-11-01 10:51:15 UTC (rev 738826)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=95
+pkgrel=96
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, November 1, 2020 @ 01:55:26
Author: felixonmars
Revision: 738083
upgpkg: idris 1.3.3-95: rebuild with unliftio 0.2.13.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-11-01 01:42:02 UTC (rev 738082)
+++ PKGBUILD2020-11-01 01:55:26 UTC (rev 738083)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=94
+pkgrel=95
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, October 28, 2020 @ 23:38:49
Author: felixonmars
Revision: 736441
upgpkg: idris 1.3.3-94: rebuild with shelly 1.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 23:25:42 UTC (rev 736440)
+++ PKGBUILD2020-10-28 23:38:49 UTC (rev 736441)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=93
+pkgrel=94
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, October 28, 2020 @ 20:09:28
Author: felixonmars
Revision: 735669
upgpkg: idris 1.3.3-93: rebuild with optparse-applicative 0.16.0.0,
optparse-generic 1.4.3, turtle 1.5.21
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 19:34:11 UTC (rev 735668)
+++ PKGBUILD2020-10-28 20:09:28 UTC (rev 735669)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=92
+pkgrel=93
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
@@ -16,7 +16,7 @@
'haskell-regex-tdfa' 'haskell-safe' 'haskell-split'
'haskell-terminal-size'
'haskell-uniplate' 'haskell-unordered-containers'
'haskell-utf8-string' 'haskell-vector'
'haskell-vector-binary-instances' 'haskell-zip-archive')
-makedepends=('ghc' 'haskell-tagged' 'haskell-tasty' 'haskell-tasty-golden'
'haskell-tasty-rerun'
+makedepends=('ghc' 'uusi' 'haskell-tagged' 'haskell-tasty'
'haskell-tasty-golden' 'haskell-tasty-rerun'
'nodejs')
source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";
idris-haskeline-0.8.patch::https://github.com/idris-lang/Idris-dev/pull/4871.patch)
@@ -28,7 +28,7 @@
patch -p1 -i ../idris-haskeline-0.8.patch
sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
libs/*/Makefile
-sed -i -e 's/< *1.5/<2/;s/< *3.1.2/<3.2/;s/< *1.2/<2/;s/< *0.11/<1/'
idris.cabal
+uusi idris.cabal
}
build() {
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, October 25, 2020 @ 21:14:20
Author: felixonmars
Revision: 733003
upgpkg: idris 1.3.3-92: rebuild with bifunctors 5.5.8
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 21:01:19 UTC (rev 733002)
+++ PKGBUILD2020-10-25 21:14:20 UTC (rev 733003)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=91
+pkgrel=92
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, October 23, 2020 @ 21:50:13
Author: felixonmars
Revision: 730919
upgpkg: idris 1.3.3-91: rebuild with generic-deriving 1.14
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-23 21:42:14 UTC (rev 730918)
+++ PKGBUILD2020-10-23 21:50:13 UTC (rev 730919)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=90
+pkgrel=91
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, October 22, 2020 @ 21:25:21
Author: felixonmars
Revision: 730159
upgpkg: idris 1.3.3-90: rebuild with profunctors 5.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 21:12:26 UTC (rev 730158)
+++ PKGBUILD2020-10-22 21:25:21 UTC (rev 730159)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=89
+pkgrel=90
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, October 22, 2020 @ 18:44:47
Author: felixonmars
Revision: 729382
upgpkg: idris 1.3.3-89: rebuild with splitmix 0.1.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 18:31:49 UTC (rev 729381)
+++ PKGBUILD2020-10-22 18:44:47 UTC (rev 729382)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=88
+pkgrel=89
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, October 19, 2020 @ 21:48:12
Author: felixonmars
Revision: 727359
upgpkg: idris 1.3.3-88: rebuild with conduit 1.3.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-19 21:37:24 UTC (rev 727358)
+++ PKGBUILD2020-10-19 21:48:12 UTC (rev 727359)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=87
+pkgrel=88
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, October 18, 2020 @ 13:38:54
Author: felixonmars
Revision: 726015
upgpkg: idris 1.3.3-87: rebuild with th-abstraction 0.4.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-18 13:23:12 UTC (rev 726014)
+++ PKGBUILD2020-10-18 13:38:54 UTC (rev 726015)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=86
+pkgrel=87
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, October 10, 2020 @ 09:54:18
Author: felixonmars
Revision: 723044
upgpkg: idris 1.3.3-86: rebuild with unordered-containers 0.2.13.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-10 09:49:16 UTC (rev 723043)
+++ PKGBUILD2020-10-10 09:54:18 UTC (rev 723044)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=85
+pkgrel=86
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, October 9, 2020 @ 09:56:55
Author: felixonmars
Revision: 722328
upgpkg: idris 1.3.3-85: rebuild with http-date 0.0.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-09 09:51:15 UTC (rev 722327)
+++ PKGBUILD2020-10-09 09:56:55 UTC (rev 722328)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=84
+pkgrel=85
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, October 8, 2020 @ 21:01:35
Author: felixonmars
Revision: 722000
upgpkg: idris 1.3.3-84: rebuild with criterion 1.5.7.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-08 20:48:32 UTC (rev 721999)
+++ PKGBUILD2020-10-08 21:01:35 UTC (rev 722000)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=83
+pkgrel=84
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, October 7, 2020 @ 19:46:23
Author: felixonmars
Revision: 720907
upgpkg: idris 1.3.3-83: rebuild with base-compat 0.11.2, base-compat-batteries
0.11.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 19:39:14 UTC (rev 720906)
+++ PKGBUILD2020-10-07 19:46:23 UTC (rev 720907)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=82
+pkgrel=83
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, October 6, 2020 @ 18:07:56
Author: felixonmars
Revision: 719427
upgpkg: idris 1.3.3-82: rebuild with wai-extra 3.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-06 17:59:48 UTC (rev 719426)
+++ PKGBUILD2020-10-06 18:07:56 UTC (rev 719427)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=81
+pkgrel=82
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, October 5, 2020 @ 19:17:25
Author: felixonmars
Revision: 718930
upgpkg: idris 1.3.3-81: rebuild with aeson 1.5.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-05 19:06:47 UTC (rev 718929)
+++ PKGBUILD2020-10-05 19:17:25 UTC (rev 718930)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=80
+pkgrel=81
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, October 4, 2020 @ 18:30:21
Author: felixonmars
Revision: 717834
upgpkg: idris 1.3.3-80: rebuild with transformers-compat 0.6.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 18:17:16 UTC (rev 717833)
+++ PKGBUILD2020-10-04 18:30:21 UTC (rev 717834)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=79
+pkgrel=80
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, October 2, 2020 @ 21:26:35
Author: felixonmars
Revision: 715714
upgpkg: idris 1.3.3-79: rebuild with base-orphans 0.8.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 21:24:03 UTC (rev 715713)
+++ PKGBUILD2020-10-02 21:26:35 UTC (rev 715714)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=78
+pkgrel=79
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, September 29, 2020 @ 01:15:43
Author: felixonmars
Revision: 713646
upgpkg: idris 1.3.3-78: rebuild with fast-logger 3.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-29 01:02:42 UTC (rev 713645)
+++ PKGBUILD2020-09-29 01:15:43 UTC (rev 713646)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=77
+pkgrel=78
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, September 28, 2020 @ 21:29:23
Author: felixonmars
Revision: 713388
upgpkg: idris 1.3.3-77: rebuild with foldl 1.4.9
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-28 21:25:57 UTC (rev 713387)
+++ PKGBUILD2020-09-28 21:29:23 UTC (rev 713388)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=76
+pkgrel=77
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, September 28, 2020 @ 13:20:29
Author: felixonmars
Revision: 712998
upgpkg: idris 1.3.3-76: rebuild with network-byte-order 0.1.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-28 13:07:20 UTC (rev 712997)
+++ PKGBUILD2020-09-28 13:20:29 UTC (rev 712998)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=75
+pkgrel=76
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, September 27, 2020 @ 15:32:53
Author: felixonmars
Revision: 712696
upgpkg: idris 1.3.3-75: rebuild with wai-extra 3.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-27 15:19:44 UTC (rev 712695)
+++ PKGBUILD2020-09-27 15:32:53 UTC (rev 712696)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=74
+pkgrel=75
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, September 25, 2020 @ 18:43:04
Author: felixonmars
Revision: 712196
upgpkg: idris 1.3.3-74: rebuild with http-date 0.0.9
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-25 18:42:31 UTC (rev 712195)
+++ PKGBUILD2020-09-25 18:43:04 UTC (rev 712196)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=73
+pkgrel=74
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, September 21, 2020 @ 20:20:38
Author: felixonmars
Revision: 711312
upgpkg: idris 1.3.3-73: rebuild with wai-extra 3.0.32
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-21 20:12:56 UTC (rev 711311)
+++ PKGBUILD2020-09-21 20:20:38 UTC (rev 711312)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=72
+pkgrel=73
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, September 20, 2020 @ 10:46:12
Author: felixonmars
Revision: 711015
upgpkg: idris 1.3.3-72: rebuild with wai-extra 3.0.31
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-20 10:46:05 UTC (rev 711014)
+++ PKGBUILD2020-09-20 10:46:12 UTC (rev 711015)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=71
+pkgrel=72
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, September 18, 2020 @ 12:26:02
Author: felixonmars
Revision: 710022
upgpkg: idris 1.3.3-71: rebuild with hspec 2.7.4, hspec-core 2.7.4,
hspec-discover 2.7.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-18 12:12:45 UTC (rev 710021)
+++ PKGBUILD2020-09-18 12:26:02 UTC (rev 710022)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=70
+pkgrel=71
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, September 17, 2020 @ 10:36:21
Author: felixonmars
Revision: 708622
upgpkg: idris 1.3.3-70: rebuild with wai-extra 3.0.30
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-17 10:23:28 UTC (rev 708621)
+++ PKGBUILD2020-09-17 10:36:21 UTC (rev 708622)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=69
+pkgrel=70
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, September 16, 2020 @ 21:53:17
Author: felixonmars
Revision: 708382
upgpkg: idris 1.3.3-69: rebuild with HTTP 4000.3.15
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 21:50:23 UTC (rev 708381)
+++ PKGBUILD2020-09-16 21:53:17 UTC (rev 708382)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=68
+pkgrel=69
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, September 16, 2020 @ 11:19:21
Author: felixonmars
Revision: 707398
upgpkg: idris 1.3.3-68: rebuild with quickcheck-classes-base 0.6.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 11:08:55 UTC (rev 707397)
+++ PKGBUILD2020-09-16 11:19:21 UTC (rev 707398)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=67
+pkgrel=68
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, September 13, 2020 @ 20:34:41
Author: felixonmars
Revision: 705256
upgpkg: idris 1.3.3-67: rebuild with ansi-terminal 0.11
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-13 20:29:35 UTC (rev 705255)
+++ PKGBUILD2020-09-13 20:34:41 UTC (rev 705256)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=66
+pkgrel=67
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
@@ -28,7 +28,7 @@
patch -p1 -i ../idris-haskeline-0.8.patch
sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
libs/*/Makefile
-sed -i -e 's/< *1.5/<2/;s/< *3.1.2/<3.2/;s/< *1.2/<2/' idris.cabal
+sed -i -e 's/< *1.5/<2/;s/< *3.1.2/<3.2/;s/< *1.2/<2/;s/< *0.11/<1/'
idris.cabal
}
build() {
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, September 12, 2020 @ 02:28:17
Author: felixonmars
Revision: 703084
upgpkg: idris 1.3.3-66: rebuild with mwc-random 0.15.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 02:09:20 UTC (rev 703083)
+++ PKGBUILD2020-09-12 02:28:17 UTC (rev 703084)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=65
+pkgrel=66
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, September 8, 2020 @ 01:20:54
Author: felixonmars
Revision: 700594
upgpkg: idris 1.3.3-65: rebuild with hspec 2.7.3, hspec-core 2.7.3,
hspec-discover 2.7.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-08 01:02:52 UTC (rev 700593)
+++ PKGBUILD2020-09-08 01:20:54 UTC (rev 700594)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=64
+pkgrel=65
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, September 5, 2020 @ 02:50:14
Author: felixonmars
Revision: 698857
upgpkg: idris 1.3.3-64: rebuild with tasty-expected-failure 0.12.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-05 02:31:01 UTC (rev 698856)
+++ PKGBUILD2020-09-05 02:50:14 UTC (rev 698857)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=63
+pkgrel=64
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, September 4, 2020 @ 00:58:40
Author: felixonmars
Revision: 697838
upgpkg: idris 1.3.3-63: rebuild with mwc-random 0.15.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-04 00:42:34 UTC (rev 697837)
+++ PKGBUILD2020-09-04 00:58:40 UTC (rev 697838)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=62
+pkgrel=63
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, September 1, 2020 @ 22:40:06
Author: felixonmars
Revision: 696057
upgpkg: idris 1.3.3-62: rebuild with aeson 1.5.4.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 22:24:05 UTC (rev 696056)
+++ PKGBUILD2020-09-01 22:40:06 UTC (rev 696057)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=61
+pkgrel=62
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, September 1, 2020 @ 15:45:18
Author: felixonmars
Revision: 695595
upgpkg: idris 1.3.3-61: rebuild with conduit 1.3.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 15:28:59 UTC (rev 695594)
+++ PKGBUILD2020-09-01 15:45:18 UTC (rev 695595)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=60
+pkgrel=61
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, August 31, 2020 @ 20:53:20
Author: felixonmars
Revision: 694411
upgpkg: idris 1.3.3-60: rebuild with happy 1.20.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 20:38:24 UTC (rev 694410)
+++ PKGBUILD2020-08-31 20:53:20 UTC (rev 694411)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=59
+pkgrel=60
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, August 29, 2020 @ 04:17:35
Author: felixonmars
Revision: 691532
upgpkg: idris 1.3.3-59: rebuild with logict 0.7.0.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-29 04:00:24 UTC (rev 691531)
+++ PKGBUILD2020-08-29 04:17:35 UTC (rev 691532)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=58
+pkgrel=59
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, August 27, 2020 @ 00:25:19
Author: felixonmars
Revision: 689214
upgpkg: idris 1.3.3-58: rebuild with random 1.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-27 00:09:40 UTC (rev 689213)
+++ PKGBUILD2020-08-27 00:25:19 UTC (rev 689214)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=57
+pkgrel=58
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, August 24, 2020 @ 02:41:42
Author: felixonmars
Revision: 687497
upgpkg: idris 1.3.3-57: rebuild with http-client 0.7.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-24 02:18:12 UTC (rev 687496)
+++ PKGBUILD2020-08-24 02:41:42 UTC (rev 687497)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=56
+pkgrel=57
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, August 23, 2020 @ 19:53:46
Author: felixonmars
Revision: 687203
upgpkg: idris 1.3.3-56: rebuild with base64-bytestring 1.2.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-23 19:53:44 UTC (rev 687202)
+++ PKGBUILD2020-08-23 19:53:46 UTC (rev 687203)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=55
+pkgrel=56
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
@@ -28,7 +28,7 @@
patch -p1 -i ../idris-haskeline-0.8.patch
sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
libs/*/Makefile
-sed -i -e 's/< *1.5/<2/;s/< *3.1.2/<3.2/' idris.cabal
+sed -i -e 's/< *1.5/<2/;s/< *3.1.2/<3.2/;s/< *1.2/<2/' idris.cabal
}
build() {
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, August 21, 2020 @ 22:11:16
Author: felixonmars
Revision: 686517
upgpkg: idris 1.3.3-55: rebuild with http-client 0.7.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 21:55:19 UTC (rev 686516)
+++ PKGBUILD2020-08-21 22:11:16 UTC (rev 686517)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=54
+pkgrel=55
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, August 21, 2020 @ 14:49:23
Author: felixonmars
Revision: 686071
upgpkg: idris 1.3.3-54: rebuild with dlist 1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 14:41:05 UTC (rev 686070)
+++ PKGBUILD2020-08-21 14:49:23 UTC (rev 686071)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=53
+pkgrel=54
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, August 20, 2020 @ 09:14:11
Author: felixonmars
Revision: 685336
upgpkg: idris 1.3.3-53: rebuild with tasty-expected-failure 0.12
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-20 08:53:26 UTC (rev 685335)
+++ PKGBUILD2020-08-20 09:14:11 UTC (rev 685336)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=52
+pkgrel=53
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Tuesday, August 18, 2020 @ 14:59:58
Author: felixonmars
Revision: 683962
upgpkg: idris 1.3.3-52: rebuild with ghc 8.10.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-18 14:53:43 UTC (rev 683961)
+++ PKGBUILD2020-08-18 14:59:58 UTC (rev 683962)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=51
+pkgrel=52
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, August 16, 2020 @ 21:29:41
Author: felixonmars
Revision: 681943
upgpkg: idris 1.3.3-51: rebuild with lifted-async 0.10.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 21:16:47 UTC (rev 681942)
+++ PKGBUILD2020-08-16 21:29:41 UTC (rev 681943)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=50
+pkgrel=51
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, August 16, 2020 @ 10:06:42
Author: felixonmars
Revision: 680905
upgpkg: idris 1.3.3-50: rebuild with math-functions 0.3.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 09:48:57 UTC (rev 680904)
+++ PKGBUILD2020-08-16 10:06:42 UTC (rev 680905)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=49
+pkgrel=50
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, August 15, 2020 @ 08:15:21
Author: felixonmars
Revision: 679492
upgpkg: idris 1.3.3-49: rebuild with aeson 1.5.3.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-15 07:57:05 UTC (rev 679491)
+++ PKGBUILD2020-08-15 08:15:21 UTC (rev 679492)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=48
+pkgrel=49
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, August 14, 2020 @ 08:44:22
Author: felixonmars
Revision: 678520
upgpkg: idris 1.3.3-48: rebuild with hspec 2.7.2, hspec-core 2.7.2,
hspec-discover 2.7.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-14 08:28:54 UTC (rev 678519)
+++ PKGBUILD2020-08-14 08:44:22 UTC (rev 678520)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=47
+pkgrel=48
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, August 13, 2020 @ 08:08:01
Author: felixonmars
Revision: 676984
upgpkg: idris 1.3.3-47: rebuild with quickcheck-instances 0.3.24
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 07:52:30 UTC (rev 676983)
+++ PKGBUILD2020-08-13 08:08:01 UTC (rev 676984)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=46
+pkgrel=47
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Wednesday, August 12, 2020 @ 10:08:29
Author: felixonmars
Revision: 675727
upgpkg: idris 1.3.3-46: rebuild with splitmix 0.1.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-12 10:02:00 UTC (rev 675726)
+++ PKGBUILD2020-08-12 10:08:29 UTC (rev 675727)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=45
+pkgrel=46
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, August 10, 2020 @ 21:04:18
Author: felixonmars
Revision: 674165
upgpkg: idris 1.3.3-45: rebuild with optics-th 0.3.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-10 20:58:27 UTC (rev 674164)
+++ PKGBUILD2020-08-10 21:04:18 UTC (rev 674165)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=44
+pkgrel=45
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Monday, August 10, 2020 @ 11:44:19
Author: felixonmars
Revision: 673627
upgpkg: idris 1.3.3-44: rebuild with streaming-commons 0.2.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-10 11:28:52 UTC (rev 673626)
+++ PKGBUILD2020-08-10 11:44:19 UTC (rev 673627)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=43
+pkgrel=44
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Sunday, August 9, 2020 @ 10:34:48
Author: felixonmars
Revision: 673106
upgpkg: idris 1.3.3-43: rebuild with network 3.1.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-09 10:11:48 UTC (rev 673105)
+++ PKGBUILD2020-08-09 10:34:48 UTC (rev 673106)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=42
+pkgrel=43
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
@@ -28,7 +28,7 @@
patch -p1 -i ../idris-haskeline-0.8.patch
sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
libs/*/Makefile
-sed -i -e 's/< *1.5/<2/' idris.cabal
+sed -i -e 's/< *1.5/<2/;s/< *3.1.2/<3.2/' idris.cabal
}
build() {
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, August 8, 2020 @ 18:14:02
Author: felixonmars
Revision: 672580
upgpkg: idris 1.3.3-42: rebuild with these 1.1.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 17:57:26 UTC (rev 672579)
+++ PKGBUILD2020-08-08 18:14:02 UTC (rev 672580)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=41
+pkgrel=42
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Saturday, August 8, 2020 @ 10:30:18
Author: felixonmars
Revision: 672078
upgpkg: idris 1.3.3-41: rebuild with lifted-async 0.10.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 10:24:16 UTC (rev 672077)
+++ PKGBUILD2020-08-08 10:30:18 UTC (rev 672078)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=40
+pkgrel=41
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Friday, August 7, 2020 @ 11:17:08
Author: felixonmars
Revision: 671494
upgpkg: idris 1.3.3-40: rebuild with foldl 1.4.8
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-07 11:04:10 UTC (rev 671493)
+++ PKGBUILD2020-08-07 11:17:08 UTC (rev 671494)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=39
+pkgrel=40
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
[arch-commits] Commit in idris/trunk (PKGBUILD)
Date: Thursday, August 6, 2020 @ 15:39:07
Author: felixonmars
Revision: 671039
upgpkg: idris 1.3.3-39: rebuild with streaming-commons 0.2.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2020-08-06 15:27:40 UTC (rev 671038)
+++ PKGBUILD2020-08-06 15:39:07 UTC (rev 671039)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.3
-pkgrel=38
+pkgrel=39
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
