Public Git Hosting - arch-community.git/log

commit | commitdiff | tree

felixonmars [Sat, 16 Jul 2022 15:51:40 +0000 (16 15:51 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1254171 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 16 Jul 2022 04:37:59 +0000 (16 04:37 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1253712 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 16 Jul 2022 04:37:33 +0000 (16 04:37 +0000)]

upgpkg: cryptol 2.13.0-4: rebuild with constraints 0.13.4

git-svn-id: file:///srv/repos/svn-community/svn@1253711 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 13 Jul 2022 05:51:59 +0000 (13 05:51 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1252421 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 12 Jul 2022 21:27:45 +0000 (12 21:27 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1251571 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 12 Jul 2022 21:27:33 +0000 (12 21:27 +0000)]

upgpkg: cryptol 2.13.0-3: rebuild with tasty 1.4.2.2

git-svn-id: file:///srv/repos/svn-community/svn@1251570 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 8 Jul 2022 22:13:10 +0000 (8 22:13 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1248989 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 8 Jul 2022 20:58:27 +0000 (8 20:58 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1248863 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 8 Jul 2022 20:58:14 +0000 (8 20:58 +0000)]

upgpkg: cryptol 2.13.0-2: rebuild with invariant 0.6

git-svn-id: file:///srv/repos/svn-community/svn@1248862 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 8 Jul 2022 13:27:21 +0000 (8 13:27 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1248682 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 8 Jul 2022 13:13:07 +0000 (8 13:13 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1248678 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 8 Jul 2022 13:12:55 +0000 (8 13:12 +0000)]

upgpkg: cryptol 2.13.0-1: rebuild with cryptol 2.13.0, what4 1.3

git-svn-id: file:///srv/repos/svn-community/svn@1248677 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 7 Jul 2022 14:05:39 +0000 (7 14:05 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1248100 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 7 Jul 2022 13:55:27 +0000 (7 13:55 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1248097 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 7 Jul 2022 13:55:12 +0000 (7 13:55 +0000)]

upgpkg: cryptol 2.12.0-98: rebuild with tasty-sugar 1.2.0.0

git-svn-id: file:///srv/repos/svn-community/svn@1248096 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 7 Jul 2022 13:04:10 +0000 (7 13:04 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1247979 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 7 Jul 2022 00:46:00 +0000 (7 00:46 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1247461 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 7 Jul 2022 00:45:45 +0000 (7 00:45 +0000)]

upgpkg: cryptol 2.12.0-97: rebuild with resourcet 1.2.6

git-svn-id: file:///srv/repos/svn-community/svn@1247460 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 5 Jul 2022 23:58:04 +0000 (5 23:58 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1246603 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 5 Jul 2022 21:22:25 +0000 (5 21:22 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1245775 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 5 Jul 2022 21:22:02 +0000 (5 21:22 +0000)]

upgpkg: cryptol 2.12.0-96: rebuild with ansi-terminal 0.11.3

git-svn-id: file:///srv/repos/svn-community/svn@1245774 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 1 Jul 2022 20:33:02 +0000 (1 20:33 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1243495 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 1 Jul 2022 18:50:01 +0000 (1 18:50 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1243358 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 1 Jul 2022 18:49:41 +0000 (1 18:49 +0000)]

upgpkg: cryptol 2.12.0-95: rebuild with kan-extensions 5.2.5

git-svn-id: file:///srv/repos/svn-community/svn@1243357 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 30 Jun 2022 09:48:46 +0000 (30 09:48 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1242912 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 30 Jun 2022 01:15:00 +0000 (30 01:15 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1242056 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 30 Jun 2022 01:14:45 +0000 (30 01:14 +0000)]

upgpkg: cryptol 2.12.0-94: rebuild with transformers-compat 0.7.2

git-svn-id: file:///srv/repos/svn-community/svn@1242055 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 29 Jun 2022 10:27:53 +0000 (29 10:27 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1240271 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 29 Jun 2022 10:00:27 +0000 (29 10:00 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1240152 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 29 Jun 2022 10:00:11 +0000 (29 10:00 +0000)]

upgpkg: cryptol 2.12.0-93: rebuild with free 5.1.9

git-svn-id: file:///srv/repos/svn-community/svn@1240151 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 12 Jun 2022 08:24:55 +0000 (12 08:24 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1236842 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 12 Jun 2022 06:08:22 +0000 (12 06:08 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1235985 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 12 Jun 2022 06:08:07 +0000 (12 06:08 +0000)]

upgpkg: cryptol 2.12.0-92: rebuild with inspection-testing 0.4.6.1

git-svn-id: file:///srv/repos/svn-community/svn@1235984 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 11 Jun 2022 17:35:03 +0000 (11 17:35 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1234282 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 11 Jun 2022 13:40:28 +0000 (11 13:40 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1233697 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 11 Jun 2022 13:40:15 +0000 (11 13:40 +0000)]

upgpkg: cryptol 2.12.0-91: rebuild with typed-process 0.2.10.1

git-svn-id: file:///srv/repos/svn-community/svn@1233694 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 11 Jun 2022 10:47:23 +0000 (11 10:47 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1232917 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 11 Jun 2022 06:45:05 +0000 (11 06:45 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1232031 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 11 Jun 2022 06:44:49 +0000 (11 06:44 +0000)]

upgpkg: cryptol 2.12.0-90: rebuild with ansi-terminal 0.11.2

git-svn-id: file:///srv/repos/svn-community/svn@1232030 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 10 Jun 2022 14:59:44 +0000 (10 14:59 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1230348 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 10 Jun 2022 14:26:51 +0000 (10 14:26 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1230279 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 10 Jun 2022 14:26:37 +0000 (10 14:26 +0000)]

upgpkg: cryptol 2.12.0-89: rebuild with microlens 0.4.13.0

git-svn-id: file:///srv/repos/svn-community/svn@1230278 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 10 Jun 2022 13:48:24 +0000 (10 13:48 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1230125 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 9 Jun 2022 21:22:33 +0000 (9 21:22 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1229910 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 9 Jun 2022 21:22:19 +0000 (9 21:22 +0000)]

upgpkg: cryptol 2.12.0-88: rebuild with unix-compat 0.6

git-svn-id: file:///srv/repos/svn-community/svn@1229909 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 7 Jun 2022 08:54:13 +0000 (7 08:54 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1228345 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 7 Jun 2022 07:44:48 +0000 (7 07:44 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1227887 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 7 Jun 2022 07:44:34 +0000 (7 07:44 +0000)]

upgpkg: cryptol 2.12.0-87: rebuild with concurrent-output 1.10.16

git-svn-id: file:///srv/repos/svn-community/svn@1227886 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 6 Jun 2022 13:55:55 +0000 (6 13:55 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1226686 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 6 Jun 2022 12:06:40 +0000 (6 12:06 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1226219 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 6 Jun 2022 12:06:27 +0000 (6 12:06 +0000)]

upgpkg: cryptol 2.12.0-86: rebuild with typed-process 0.2.10.0

git-svn-id: file:///srv/repos/svn-community/svn@1226218 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 6 Jun 2022 09:36:14 +0000 (6 09:36 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1225430 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 6 Jun 2022 09:03:19 +0000 (6 09:03 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1224715 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 6 Jun 2022 09:03:06 +0000 (6 09:03 +0000)]

upgpkg: cryptol 2.12.0-85: rebuild with hspec 2.9.7, hspec-core 2.9.7, hspec-discover 2.9.7

git-svn-id: file:///srv/repos/svn-community/svn@1224714 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 4 Jun 2022 20:33:10 +0000 (4 20:33 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1222749 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 4 Jun 2022 19:44:59 +0000 (4 19:44 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1222268 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 4 Jun 2022 19:44:46 +0000 (4 19:44 +0000)]

upgpkg: cryptol 2.12.0-84: rebuild with typed-process 0.2.9.0

git-svn-id: file:///srv/repos/svn-community/svn@1222267 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 4 Jun 2022 14:50:36 +0000 (4 14:50 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1221506 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 3 Jun 2022 12:24:59 +0000 (3 12:24 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1220537 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 3 Jun 2022 12:24:45 +0000 (3 12:24 +0000)]

upgpkg: cryptol 2.12.0-83: rebuild with primitive 0.7.4.0

git-svn-id: file:///srv/repos/svn-community/svn@1220536 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 1 Jun 2022 19:26:26 +0000 (1 19:26 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1218347 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 1 Jun 2022 19:23:06 +0000 (1 19:23 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1218342 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 1 Jun 2022 19:22:53 +0000 (1 19:22 +0000)]

upgpkg: cryptol 2.12.0-82: rebuild with newtype-generics 0.6.2

git-svn-id: file:///srv/repos/svn-community/svn@1218341 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Tue, 31 May 2022 08:42:48 +0000 (31 08:42 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1217755 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 30 May 2022 12:26:16 +0000 (30 12:26 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1216412 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Mon, 30 May 2022 12:26:04 +0000 (30 12:26 +0000)]

upgpkg: cryptol 2.12.0-81: rebuild with tasty-inspection-testing 0.1.0.1

git-svn-id: file:///srv/repos/svn-community/svn@1216411 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 06:30:59 +0000 (29 06:30 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1213912 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 06:18:50 +0000 (29 06:18 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1213908 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 06:18:37 +0000 (29 06:18 +0000)]

upgpkg: cryptol 2.12.0-80: rebuild with deriving-compat 0.6.1

git-svn-id: file:///srv/repos/svn-community/svn@1213907 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 04:45:27 +0000 (29 04:45 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1213816 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 04:07:21 +0000 (29 04:07 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1213812 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 04:07:07 +0000 (29 04:07 +0000)]

upgpkg: cryptol 2.12.0-79: rebuild with kvitable 1.0.1.0

git-svn-id: file:///srv/repos/svn-community/svn@1213811 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 29 May 2022 02:45:57 +0000 (29 02:45 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1213581 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 28 May 2022 20:27:26 +0000 (28 20:27 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1212752 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 28 May 2022 20:27:13 +0000 (28 20:27 +0000)]

upgpkg: cryptol 2.12.0-78: rebuild with doctest 0.20.0

git-svn-id: file:///srv/repos/svn-community/svn@1212751 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 27 May 2022 01:58:16 +0000 (27 01:58 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1210742 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 27 May 2022 01:56:38 +0000 (27 01:56 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1210739 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Fri, 27 May 2022 01:56:19 +0000 (27 01:56 +0000)]

upgpkg: cryptol 2.12.0-77: rebuild with bimap 0.5.0

git-svn-id: file:///srv/repos/svn-community/svn@1210738 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 26 May 2022 16:30:19 +0000 (26 16:30 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1210650 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 26 May 2022 14:53:14 +0000 (26 14:53 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1210552 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Thu, 26 May 2022 14:53:00 +0000 (26 14:53 +0000)]

upgpkg: cryptol 2.12.0-76: rebuild with lens 5.1.1

git-svn-id: file:///srv/repos/svn-community/svn@1210551 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 21 May 2022 16:30:35 +0000 (21 16:30 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1209815 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 21 May 2022 15:44:45 +0000 (21 15:44 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1209675 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 21 May 2022 15:44:32 +0000 (21 15:44 +0000)]

upgpkg: cryptol 2.12.0-75: rebuild with adjunctions 4.4.1

git-svn-id: file:///srv/repos/svn-community/svn@1209674 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 18 May 2022 16:33:55 +0000 (18 16:33 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1209026 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 18 May 2022 14:46:58 +0000 (18 14:46 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1208574 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 18 May 2022 14:46:45 +0000 (18 14:46 +0000)]

upgpkg: cryptol 2.12.0-74: rebuild with resourcet 1.2.5

git-svn-id: file:///srv/repos/svn-community/svn@1208573 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 18 May 2022 12:56:43 +0000 (18 12:56 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1207891 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 18 May 2022 12:32:50 +0000 (18 12:32 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1207853 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Wed, 18 May 2022 12:32:38 +0000 (18 12:32 +0000)]

upgpkg: cryptol 2.12.0-73: rebuild with megaparsec 9.2.1

git-svn-id: file:///srv/repos/svn-community/svn@1207852 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 15 May 2022 07:29:38 +0000 (15 07:29 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1207267 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 15 May 2022 06:43:26 +0000 (15 06:43 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1207139 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 15 May 2022 06:43:13 +0000 (15 06:43 +0000)]

upgpkg: cryptol 2.12.0-72: rebuild with kan-extensions 5.2.4

git-svn-id: file:///srv/repos/svn-community/svn@1207138 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 15 May 2022 05:55:08 +0000 (15 05:55 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1206919 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 15 May 2022 03:47:04 +0000 (15 03:47 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1206105 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sun, 15 May 2022 03:46:49 +0000 (15 03:46 +0000)]

upgpkg: cryptol 2.12.0-71: rebuild with hashable 1.4.0.2

git-svn-id: file:///srv/repos/svn-community/svn@1206104 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 14 May 2022 15:45:45 +0000 (14 15:45 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1205237 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 14 May 2022 15:45:29 +0000 (14 15:45 +0000)]

upgpkg: cryptol 2.12.0-70: rebuild with hashable 1.4.0.2

git-svn-id: file:///srv/repos/svn-community/svn@1205236 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 14 May 2022 10:27:14 +0000 (14 10:27 +0000)]

db-move: moved cryptol from [community-staging] to [community] (x86_64)

git-svn-id: file:///srv/repos/svn-community/svn@1203596 9fca08f4-af9d-4005-b8df-a31f2cc04f65

commit | commitdiff | tree

felixonmars [Sat, 14 May 2022 09:47:06 +0000 (14 09:47 +0000)]

archrelease: copy trunk to community-staging-x86_64

git-svn-id: file:///srv/repos/svn-community/svn@1203446 9fca08f4-af9d-4005-b8df-a31f2cc04f65

archlinux community build

RSS Atom