Commit Graph

60 Commits

Author SHA1 Message Date
f05ef97410
[dev-lang/GHC] Add GHC-8.8.3
This also introduces the bootstrap option, to use an official
bindist for bootstrapping instead of an existing install.
2020-03-25 21:37:24 +01:00
a59fca3cb8
dev-lang/ghc-bin: bump to 8.8.2 2020-01-18 23:57:27 +01:00
17f6253ca1
dev-lang/GHC: bump to 8.8.2 2020-01-18 23:56:48 +01:00
242ac1895b
dev-lang/GHC: add missing patch 2020-01-18 23:56:35 +01:00
2bb4626ff5
dev-lang/GHC: bump to 8.8.1 2020-01-07 03:24:46 +01:00
c0a73b592e
dev-lang/ghc-bin: bump to 8.8.1 2020-01-07 00:59:44 +01:00
c50e57ea44
dev-lang/coconut: bump to 1.4.2 2020-01-06 16:26:02 +01:00
3cd1d614e6
dev-lang/GHC: bump to 8.6.5 2019-04-24 14:45:45 +08:00
ff1bba2534
dev-lang/ghc-bin: bump to 8.6.5 2019-04-24 14:45:45 +08:00
439d7cac7a dev-lang/GHC: bump to 8.6.4 2019-03-06 16:53:06 +08:00
ef0cc90bc5
dev-lang/ghc-bin: bump to 8.6.4 2019-03-06 15:30:35 +08:00
7cdc48baa2
dev-lang/GHC: add 8.6.3 2018-12-11 17:36:15 +08:00
e67b8f8e09
dev-lang/ghc-bin: add 8.6.3 2018-12-11 16:14:19 +08:00
59d48f5815
dev-lang/ghc-bin: add 8.4.4 2018-12-11 16:13:30 +08:00
ab54bf85de
dev-lang/ghc-bin: fix blocker 2018-12-11 16:13:10 +08:00
c83f773c70
dev-lang/ghc-bin: bump to 8.6.2 2018-11-09 13:35:20 +08:00
2cb534ada2
dev-lang/GHC: bump to 8.6.2 2018-11-09 13:35:01 +08:00
e0df2ad168
dev-lang/GHC: introduce :8.4.4 2018-10-26 10:46:17 +08:00
a8aeaf6e85
dev-lang/GHC: fix manpage alternatives 2018-09-22 16:02:26 +08:00
b8752b6986
dev-lang/GHC: add version/SLOT 8.6.1 2018-09-22 15:40:56 +08:00
fbb5d28eb4
dev-lang/GHC: cleanup deps 2018-09-22 15:31:43 +08:00
476aa72a93
dev-lang/ghc-bin: bump to 8.6.1 2018-09-22 14:51:30 +08:00
01d4e4f6b1
dev-lang/ghc-bin: add blocker for dev-lang/GHC 2018-09-22 14:47:32 +08:00
bfdcf8cb1d
dev-lang/GHC: add version 8.2.2 2018-09-21 17:53:22 +08:00
f22c6853e2
dev-lang/GHC: fix alternatives for manpages 2018-09-21 10:32:28 +08:00
0d8361b925
dev-lang/GHC: initial import 2018-09-21 01:50:55 +08:00
39fbd27c03
dev-lang/coconut: bump to 1.4.0 2018-09-16 01:36:09 +08:00
56fe1ad1ba
dev-lang/ghc-bin: add cabal-install-bin to suggestions 2018-08-25 19:32:50 +08:00
6d0047b15b
dev-lang/ghc-bin: add SLOT 8.4.3 2018-08-25 19:32:50 +08:00
eb46eeb54e
dev-lang/ghc-bin: add SLOT 8.2.2 2018-08-25 19:32:39 +08:00
59c279f05a
dev-lang/ghc-bin: initial import of SLOT 8.0.2 2018-08-25 19:32:24 +08:00
377b048353
dev-lang/clojure: initial import of version 1.9.0 2018-05-25 19:11:48 +02:00
f02ef7d56a
dev-lang/fsharp: fix build 2018-05-14 21:51:11 +02:00
89686172dd dev-lang/coconut: bump to 1.3.1 2017-11-26 11:08:08 +01:00
2bacd825c7
dev-lang/coconut: bump to 1.3.0 2017-09-16 14:43:51 +02:00
286ff3c58f
dev-lang/fstar: fix scm exheres 2017-06-24 16:32:29 +02:00
b517d6e1ee
dev-lang/coconut: bump to 1.2.3 2017-05-18 19:05:02 +02:00
e0fda4950e
dev-lang/coconut: add mypy suggestion 2017-03-17 22:48:24 +01:00
55d1277eb4
dev-lang/coconut: initial import 2017-03-15 20:33:57 +01:00
82373614ec
dev-lang/elixir: moved to ::arbor 2017-02-17 18:31:56 +01:00
570e4af218
dev-lang/elixir: bump to 1.4.2 2017-02-17 14:37:57 +01:00
04ddd2bb23
dev-lang/elixir: bump to 1.4.1 2017-02-02 23:06:32 +01:00
3d34e77c32
dev-lang/fstar: add missing pprint dep 2017-01-08 20:14:03 +01:00
036592cfcc
dev-lang/elixir: bump to 1.4.0 2017-01-06 15:12:56 +01:00
63596392f4
dev-lang/fstar: fix fetching 2016-12-18 21:45:22 +01:00
5ef5fce567
dev-lang/fstar: initial import
Change-Id: I0496b405f97e16623e2640443a99231d6282eaab
2016-10-20 22:34:39 +02:00
b3d67aacd8
Move dev-lang/fsharp from ::exony to ::hasufell 2016-10-20 22:24:00 +02:00
8d1a9a48e5
dev-lang/fsharp: rm obsolete workaround
Change-Id: I4283f2df703cdf3bde2e06fb85f9ee12b4a8dd8d
2016-10-20 22:23:25 +02:00
2a2577bf91
dev-lang/fsharp: unbreak build
* NuGet needs network
* NuGet is still broken, so https -> http

Change-Id: I0a85e5d00c2d7d939ba28b1a51fbda95afe9cdc9
Reviewed-on: https://galileo.mailstation.de/gerrit/7392
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Nikolay Orlyuk <virkony@gmail.com>
2016-10-20 22:20:24 +02:00
Nikolay Orlyuk
16c97f86b1
dev-lang/fsharp remove applied patches 2016-10-20 22:20:18 +02:00